107 Commits (d4bd5b37669708361a0a6cd2917464b010e6b7f5)

Author	SHA1	Message	Date
Blaž Hrastnik	a7869c728c	wip	4 years ago
Blaž Hrastnik	3f707c19f4	Save command	4 years ago
Blaž Hrastnik	eff6fac9ec	clippy lint	4 years ago
Blaž Hrastnik	55fa86248c	Introduce doc.selection()/set_selection()	4 years ago
Blaž Hrastnik	efc5aa2016	Simplify old_state handling.	4 years ago
Blaž Hrastnik	c0e17dd324	Fix undo/redo not updating the syntax tree.	4 years ago
Blaž Hrastnik	b39849dde1	Refactor: Document type as a wrapper around barebones State.	4 years ago