bfredl
68cb4a7405
feat(extmarks): add "undo_restore" flag to opt out of undo-restoring
...
It is a design goal of extmarks that they allow precise tracking
of changes across undo/redo, including restore the exact positions
after a do/undo or undo/redo cycle. However this behavior is not useful
for all usecases. Many plugins won't keep marks around for long after
text changes, but uses them more like a cache until some external source
(like LSP semantic highlights) has fully updated to changed text and
then will explicitly readjust/replace extmarks as needed.
Add a "undo_restore" flag which is true by default (matches existing
behavior) but can be set to false to opt-out of this behavior.
Delete dead u_extmark_set() code.
2023-11-05 12:18:29 +01:00
..
2023-10-29 16:02:32 +08:00
2023-07-25 05:07:13 -07:00
2023-10-30 21:38:02 +06:00
2023-10-29 16:02:32 +08:00
2023-09-20 06:37:29 +08:00
2023-10-29 16:02:32 +08:00
2023-10-15 17:52:08 +08:00
2019-05-09 20:27:11 -04:00
2023-10-21 13:49:05 +02:00
2023-10-10 22:23:54 +02:00
2023-10-10 19:20:32 +02:00
2023-10-27 08:17:46 -05:00
2023-04-17 15:46:24 +08:00
2023-10-20 13:03:36 +02:00
2023-10-04 06:31:25 -07:00
2023-04-04 19:07:33 +02:00
2023-10-04 06:31:25 -07:00
2023-10-03 06:21:37 +08:00
2023-09-17 20:29:18 +08:00
2023-06-25 17:14:28 +02:00
2021-09-10 08:48:27 +02:00
2023-06-25 17:14:28 +02:00
2023-10-29 16:02:32 +08:00
2023-06-25 17:14:28 +02:00
2023-06-25 17:14:28 +02:00
2023-02-28 15:14:03 +01:00
2023-11-03 07:22:02 +08:00
2023-06-26 11:16:55 +02:00
2023-06-22 03:44:51 -07:00
2023-07-25 05:07:13 -07:00
2023-04-29 09:20:52 +08:00
2023-06-26 11:29:12 +02:00
2023-10-14 19:28:41 +08:00
2023-09-22 06:51:47 +08:00
2023-10-26 06:41:54 +08:00
2023-05-13 21:33:22 +02:00
2023-10-31 13:18:44 +01:00
2023-10-10 19:20:32 +02:00
2023-11-03 07:22:02 +08:00
2023-09-20 04:15:23 -07:00
2023-09-02 16:58:19 +02:00
2023-06-25 17:14:28 +02:00
2023-06-25 17:14:28 +02:00
2023-06-25 17:14:28 +02:00
2022-10-14 08:01:13 -07:00
2023-09-29 07:05:21 +08:00
2023-10-16 08:13:37 -07:00
2023-11-05 12:18:29 +01:00
2023-10-26 06:41:54 +08:00
2022-12-11 18:41:26 -08:00
2023-10-29 16:02:32 +08:00
2023-10-21 18:04:08 +08:00
2023-06-25 17:14:28 +02:00
2023-05-05 18:15:44 +02:00
2023-07-25 20:58:09 +08:00
2023-06-29 14:14:14 -07:00
2018-10-29 09:55:07 +01:00
2023-01-01 15:05:13 +01:00
2023-06-25 17:14:28 +02:00
2015-08-15 15:25:30 -03:00
2023-06-25 17:14:28 +02:00
2023-06-22 03:44:51 -07:00
2023-10-26 07:42:29 +08:00
2023-11-03 07:22:02 +08:00
2023-10-04 06:31:25 -07:00
2023-10-10 19:20:32 +02:00
2023-02-21 23:50:29 +08:00
2023-07-14 06:46:16 +08:00
2023-01-01 15:05:13 +01:00
2023-06-19 08:40:33 -07:00
2023-09-28 05:22:09 +08:00
2023-07-28 14:48:41 +01:00
2023-06-11 12:40:22 +01:00
2023-11-01 11:04:53 +08:00
2023-04-04 19:07:33 +02:00
2023-09-24 10:49:47 +08:00
2022-09-26 17:43:23 +08:00
2023-07-25 05:07:13 -07:00
2023-09-29 10:57:02 -05:00
2023-08-09 11:06:13 +02:00
2023-08-10 17:28:02 +08:00
2023-11-04 14:55:44 +01:00
2023-08-13 13:25:10 +01:00
2023-10-09 16:48:24 +08:00
2023-08-10 17:45:36 +08:00
2023-10-21 18:46:52 +08:00
2023-05-15 09:38:32 +02:00
2023-09-25 18:23:15 +02:00
2023-04-23 15:22:55 +02:00
2022-02-24 18:13:44 +08:00
2023-08-10 17:28:04 +08:00
2023-01-03 10:07:43 +00:00
2022-02-24 18:13:44 +08:00
2023-01-01 15:05:21 +01:00
2023-06-25 17:14:28 +02:00
2023-01-01 15:05:21 +01:00
2023-06-19 08:40:33 -07:00
2023-06-25 17:14:28 +02:00
2023-01-01 15:05:21 +01:00
2023-07-25 05:07:13 -07:00
2023-06-25 17:14:28 +02:00
2021-05-01 22:29:03 -04:00
2023-06-25 17:14:28 +02:00
2023-01-01 15:05:21 +01:00
2018-10-29 10:01:44 +01:00
2021-04-29 09:27:19 -04:00
2023-06-25 17:14:28 +02:00
2023-06-26 11:29:12 +02:00
2023-06-25 17:14:28 +02:00
2021-04-29 20:42:16 -04:00
2023-01-01 15:05:21 +01:00
2023-06-26 11:29:12 +02:00
2023-08-19 18:05:46 +08:00
2023-01-01 15:05:21 +01:00
2023-07-25 05:07:13 -07:00
2021-04-27 09:21:34 -04:00
2023-06-19 08:40:33 -07:00
2023-01-03 10:07:43 +00:00
2023-08-10 09:53:56 -05:00
2023-06-25 17:14:28 +02:00
2023-10-30 21:38:02 +06:00
2023-09-20 06:37:29 +08:00
2023-10-11 15:03:59 +08:00