@Override public void actionPerformed(ActionEvent ae) { if (undoManager.canRedo()) { undoManager.redo(); } } };
@Override public void actionPerformed(ActionEvent evt) { try { if (undoManager.canRedo()) { undoManager.redo(); } } catch (CannotRedoException e) { throw new RuntimeException(e); } } });
@Override public void actionPerformed(ActionEvent e) { try { if (undoRedo.canRedo()) { undoRedo.redo(); } } catch (CannotUndoException ex) { log.warn("Notes Document Unable To Redo: " + ex); } } });
private void process(MouseEvent e) { textComponent.requestFocus(); boolean enabled = textComponent.isEnabled(); boolean editable = textComponent.isEditable(); boolean nonempty = !(textComponent.getText() == null || textComponent.getText().equals("")); boolean marked = textComponent.getSelectedText() != null; boolean pasteAvailable = Toolkit.getDefaultToolkit().getSystemClipboard() .getContents(null).isDataFlavorSupported(DataFlavor.stringFlavor); undoAction.setEnabled(enabled && editable && undoManager.canUndo()); redoAction.setEnabled(enabled && editable && undoManager.canRedo()); cutAction.setEnabled(enabled && editable && marked); copyAction.setEnabled(enabled && marked); pasteAction.setEnabled(enabled && editable && pasteAvailable); deleteAction.setEnabled(enabled && editable && marked); selectAllAction.setEnabled(enabled && nonempty); int nx = e.getX(); if (nx > 500) { nx = nx - popup.getSize().width; } popup.show(e.getComponent(), nx, e.getY() - popup.getSize().height); } }
@Override public void actionPerformed(ActionEvent evt) { try { if (undo.canRedo()) { undo.redo(); } } catch (CannotRedoException e) { LOGGER.error(e.getMessage(), e); } } }
public void redo() { if (!undoManager.canRedo()) return; undoManager.redo(); menuBar.updateUndoRedoState(); }
public void update() { Component c = getDocument().getFocusOwner(); if (undoManager != null && undoManager.canRedo()) { setEnabled(true); putValue(Action.NAME, undoManager.getRedoPresentationName()); } else { setEnabled(false); putValue(Action.NAME, redoText); } } }
public void actionPerformed(ActionEvent e) { try { if (undoManager.canRedo()) { undoManager.redo();
/** * @return true if remaining items */ public boolean canRedo() { return manager.canRedo(); }
@Override public void actionPerformed(ActionEvent e) { // System.out.println("REDO"); if (undoManager.canRedo()) { undoManager.redo(); } } });
@Override public void actionPerformed(ActionEvent evt) { try { if (undoManager.canRedo()) { undoManager.redo(); } } catch (CannotRedoException e) { } } }
@Override public void actionPerformed(ActionEvent e) { if (patternUndoManager_.canRedo()) { patternUndoManager_.redo(); } } };
public void actionPerformed(ActionEvent arg0) { if (undoManager.canRedo()) { undoManager.redo(); } } };
@Override public void actionPerformed(ActionEvent e) { UndoManager manager = getClientProperty(e.getSource(), UNDO_MANAGER); if (manager != null && manager.canRedo()) { manager.redo(); } } };
/** * Tries to run redo() on the top edit of the edit stack. * @param e The action event that triggers this method call. */ public void actionPerformed(ActionEvent e) { try { if ( CyUndo.undoManager.canRedo() ) CyUndo.undoManager.redo(); } catch (CannotUndoException ex) { logger.warn("Unable to redo: " + ex.getMessage(), ex); } }
/** * Overridden to preserve usual semantics: returns true if a redo * operation would be successful now for the given view, false otherwise */ public synchronized boolean canRedo(Object source) { if (isInProgress()) { UndoableEdit edit = editToBeRedone(source); return edit != null && edit.canRedo(); } else { return super.canRedo(); } }
@Override public void run() { ActionManager manager = ActionManager.getInstance(); manager.setEnabled(ACTION_UNDO, undoManager.canUndo()); manager.setEnabled(ACTION_REDO, undoManager.canRedo()); } };
@Override public void run() { ActionManager manager = ActionManager.getInstance(); manager.setEnabled(ACTION_UNDO, undoManager.canUndo()); manager.setEnabled(ACTION_REDO, undoManager.canRedo()); } };
@Override public void run() { ActionManager manager = ActionManager.getInstance(); manager.setEnabled(ACTION_UNDO, undoManager.canUndo()); manager.setEnabled(ACTION_REDO, undoManager.canRedo()); } };
@Override public void undoableEditHappened(UndoableEditEvent e) { UndoManager undoManager = applicationController.getActivePetriNetController().getUndoManager(); undoManager.addEdit(e.getEdit()); redoAction.setEnabled(undoManager.canRedo()); undoAction.setEnabled(undoManager.canUndo()); } }