GUI: add undo and redo button stubs