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 |
|