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(); }