I'm curious about the behaviour of undo/redo in the editor and whether it can be improved.
Undoing text insertion seems OK: it removes the last inserted line and redo will then add back that line. However, undoing deletions doesn't seem to work at all. If you add then delete some text, undo...