9 Commits (7761c88d6130364915daa23115d2ee1234b2bab5)

Author	SHA1	Message	Date
Ivan Tham	f5f46b1fed	Separate document history into Cell ... As history is used separately from the rest of the edits, separating it can avoid needless borrowing and cloning. But one need to be aware later.	2021-06-02 23:47:50 +08:00
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