Fix undo
Issue #2
new
Currently, the built in undo function may delete/insert in the wrong place. Using CodeMirror may ease the fixing of this.
Note that the undo operations should be transformed as described in the FAQ.
If all this proves too difficult (or until it has been done), see if we can just disable undo altogether.