Version 0.5.1, undo changes now works, but doesn't refresh current editor well