Make editor undo optional because of too many bug reports