Nathan Vegdahl 4544efb299 Undo/redo wasn't marking the buffer as dirty. Fixed.		2020-02-23 20:14:13 +09:00
..
backend	Undo/redo wasn't marking the buffer as dirty. Fixed.	2020-02-23 20:14:13 +09:00