Henrik Lissner
b12944fddb
undo-tree-auto-save-history = t
...
Persistent undo history is great. I'm hoping that, with
undo-tree-enable-undo-in-region disabled, we can enable this feature
again safely.
Time will tell.
2018-08-03 18:25:24 +02:00
..
2018-08-02 16:41:19 +02:00
2018-06-14 19:49:03 +02:00
2018-07-03 03:41:08 +02:00
2018-08-02 16:41:19 +02:00
2018-08-03 18:25:24 +02:00
2018-08-01 02:41:46 +02:00
2018-08-03 02:46:48 +02:00
2018-07-30 23:53:05 +02:00
2018-08-01 22:35:10 +02:00
2018-06-26 18:58:06 +02:00
2018-08-01 19:26:48 +02:00
2018-08-03 16:35:42 +02:00
2018-07-30 13:53:36 +02:00
2018-08-03 16:35:42 +02:00
2018-07-04 21:08:23 +02:00