undo/redo buttons are greyed out if the stack is empty