GWTII-177: make sure undo and redo buttons are enabled consistently