161 Commits (b935fac9576cf333e22b82e40da8c4d73c8e547d)

Author	SHA1	Message	Date
Blaž Hrastnik	ea502c8665	fix change -> change -> undo -> change -> undo -> undo.	2020-12-21 13:58:54 +09:00
Blaž Hrastnik	d181027225	fix: undo/redo selection handling.	2020-12-21 13:42:47 +09:00
Blaž Hrastnik	0b63e838e0	Port over Doc::relative_path.	2020-12-18 17:18:11 +09:00
Blaž Hrastnik	39bf1ca825	Update deps.	2020-12-03 13:12:07 +09:00
Blaž Hrastnik	a7869c728c	wip	2020-12-03 13:12:07 +09:00
Blaž Hrastnik	3f707c19f4	Save command	2020-12-03 13:12:05 +09:00
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