8 Commits

Author	SHA1	Message	Date
Blaž Hrastnik	28c167d71d	doc: Be smarter about calculating modified status. ... This way edit -> undo will properly show up as unmodified.	2021-05-03 17:23:11 +09:00
Blaž Hrastnik	9eaef6e333	Fully drop State references.	2021-03-31 15:45:18 +09:00
Blaž Hrastnik	06aca7691c	clippy lint	2021-03-24 14:58:01 +09:00
Blaž Hrastnik	8eaf9a432d	Make Transaction::change only rely on the rope.	2021-03-18 13:39:56 +09:00
Blaž Hrastnik	1cf887dea9	Cleanup: use doc.selection() instead of doc.state.selection().	2021-03-14 17:14:34 +09:00
Blaž Hrastnik	c0e17dd324	Fix undo/redo not updating the syntax tree.	2020-12-03 13:10:35 +09:00
Blaž Hrastnik	04b1546634	history.redo()	2020-10-13 23:13:56 +09:00
Blaž Hrastnik	fd311fb8ad	Undo tree draft. ... We keep a tree of transactions. This allows for persistent undo by simply serializing the changesets.	2020-10-13 23:13:56 +09:00