redoButton.setEnabled(false);
redoMenu.setEnabled(false);
redoButton.setToolTipText(GT.get("No redo possible"));
}
if (undoManager.canUndo()) {
undoButton.setEnabled(true);
undoMenu.setEnabled(true);
undoButton.setToolTipText(GT.get("Undo")+": "+undoManager.getUndoPresentationName());
} else {
undoButton.setEnabled(false);