undo/redo buttons become disabled and enabled when appropriate.