4 Commits (51c15da3c32b2f0bf3da6db9bca9496d333ec15a)

Author	SHA1	Message	Date
Blaž Hrastnik	1cf887dea9	Cleanup: use doc.selection() instead of doc.state.selection().	4 years ago
Blaž Hrastnik	c0e17dd324	Fix undo/redo not updating the syntax tree.	4 years ago
Blaž Hrastnik	04b1546634	history.redo()	4 years ago
Blaž Hrastnik	fd311fb8ad	Undo tree draft. ... We keep a tree of transactions. This allows for persistent undo by simply serializing the changesets.	4 years ago