public void undoableEditHappened(UndoableEditEvent e) {
UndoManager mgr = Undo.getCurrentUndoMgr();
if (mgr != null && mgr.canRedo()) {
setToolTipText(mgr.getRedoPresentationName());
setEnabled(true);
} else {
setToolTipText(tipStr);
setEnabled(false);
}
}
public VRedoButton(SessionShare sshare, ButtonIF vif, String typ) {
super(sshare, vif, typ);
addFocusListener(
new FocusAdapter() {
public void focusGained(FocusEvent evt) {
Undo.restoreLastUndoMgr();
}
});
Undo.addUndoListener(this);
}
public void actionPerformed(ActionEvent e) {
UndoManager mgr = Undo.getLastUndoMgr();
if (mgr != null && mgr.canRedo()) mgr.redo();
}
