So undo button is global undo, which is idiotic, but at least it works. See #173