UI changes

also changed the implementation of the undo redo reaction, so it
includes the LADDER recognition