public void addNavigationHistory( GosuEditor editor, int prevCaretPos, int currentCaretPos ) { TabSelectionHistoryItem undoItem = new TabSelectionHistoryItem( this, editor, prevCaretPos, editor, currentCaretPos ); StateEdit transaction = new StateEdit( undoItem, "navigation" ); transaction.end(); _undoMgr.addEdit( transaction ); }
private void addUndoItem( StateEdit transaction ) { setDirty( true ); transaction.end(); setPaused( true ); try { _undoMgr.addEdit( transaction ); } finally { setPaused( false ); } } }
private void addUndoItem( StateEdit transaction ) { setDirty( true ); transaction.end(); setPaused( true ); try { _undoMgr.addEdit( transaction ); } finally { setPaused( false ); } } }
public void addNavigationHistory( GosuEditor editor, int prevCaretPos, int currentCaretPos ) { TabSelectionHistoryItem undoItem = new TabSelectionHistoryItem( this, editor, prevCaretPos, editor, currentCaretPos ); StateEdit transaction = new StateEdit( undoItem, "navigation" ); transaction.end(); _undoMgr.addEdit( transaction ); }
public final void actionPerformed(ActionEvent e) { Cursor cursor = viewer.getVisualizationViewer().getCursor(); viewer.getVisualizationViewer().setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR)); RootPaneContainer root = findRoot(viewer); root.getGlassPane().setVisible(true); root.getGlassPane().setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR)); StateEdit edit = null; try { doAction(); } finally { if (edit != null) { viewer.getVisualizationViewer().repaint(); edit.end(); } root.getGlassPane().setVisible(false); viewer.getVisualizationViewer().setCursor(cursor); } viewer.getVisualizationViewer().repaint(); } });
/** * Utility method that records a change that can be undone/redone. */ @SuppressWarnings("UnusedDeclaration") public void recordChange( StateEditable change ) { beginUndoAtom(); try { StateEdit transaction = new StateEdit( change ); transaction.end(); addEdit( transaction ); } finally { endUndoAtom(); } }
/** * Shows all relations between the currently visible nodes. * */ public void showAllRelations() { StateEdit edit = new StateEdit(new VisibilityUndo(this.getONDEXJUNGGraph()), Config.language.getProperty("Undo.ShowAllRelations")); undoManager.addEdit(edit); OVTK2Desktop.getInstance().getOVTK2Menu().updateUndoRedo(this); for (ONDEXConcept ondexNode : graph.getVertices()) { for (ONDEXRelation r : graph.getRelationsOfConcept(ondexNode)) { graph.setVisibility(r, true); } } edit.end(); }
StateEdit edit = null; if (viewer instanceof OVTK2PropertiesAggregator) { edit = new StateEdit(new VisibilityUndo(viewer.getONDEXJUNGGraph()), Config.language.getProperty("Undo.HideSelection")); viewer.getUndoManager().addEdit(edit); OVTK2Desktop.getInstance().getOVTK2Menu().updateUndoRedo(viewer); edit.end();
@Override public void actionPerformed(ActionEvent e) { if (ccs != null && ccs.size() > 0) { StateEdit edit = new StateEdit(new VisibilityUndo( viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); edit.end(); viewer.getUndoManager().addEdit(edit); desktop.getOVTK2Menu().updateUndoRedo(viewer);
StateEdit edit = new StateEdit(new VisibilityUndo(viewer.getONDEXJUNGGraph()), "Search Result Filter"); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess("Search Result Filter"); edit.end(); viewer.getUndoManager().addEdit(edit); desktop.getOVTK2Menu().updateUndoRedo(viewer);
StateEdit edit = new StateEdit(new VisibilityUndo(viewer.getONDEXJUNGGraph()), "Search Result Filter"); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess("Search Result Filter"); edit.end(); viewer.getUndoManager().addEdit(edit); desktop.getOVTK2Menu().updateUndoRedo(viewer);
private void callFilter() throws InvalidPluginArgumentException { StateEdit edit = new StateEdit(new VisibilityUndo(viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess(this.getName()); edit.end(); viewer.getUndoManager().addEdit(edit); desktop.getOVTK2Menu().updateUndoRedo(viewer);
StateEdit edit = new StateEdit(new VisibilityUndo(viewer.getONDEXJUNGGraph()), "Search Result Filter"); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess("Search Result Filter"); edit.end(); viewer.getUndoManager().addEdit(edit); desktop.getOVTK2Menu().updateUndoRedo(viewer);