255 Commits (3060bccc0c400ead586c7a0fd7b8451a75cea2e9)

Author	SHA1	Message	Date
Blaž Hrastnik	eff6fac9ec	clippy lint	2020-12-03 13:10:35 +09:00
Blaž Hrastnik	55fa86248c	Introduce doc.selection()/set_selection()	2020-12-03 13:10:35 +09:00
Blaž Hrastnik	efc5aa2016	Simplify old_state handling.	2020-12-03 13:10:35 +09:00
Blaž Hrastnik	c0e17dd324	Fix undo/redo not updating the syntax tree.	2020-12-03 13:10:35 +09:00
Blaž Hrastnik	b39849dde1	Refactor: Document type as a wrapper around barebones State.	2020-12-03 13:10:35 +09:00