public void actionPerformed(ActionEvent e) {
			if (undoManager.canRedo()) {
				try {
					undoManager.redo();
				} catch (CannotRedoException ex) {
					ex.printStackTrace();
				}
			}
			updateState();
			((UndoAction) getAction(UNDO)).updateState();
		}