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 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 ); }
/** * Utility method that records a change that can be undone/redone. */ public void recordChange( StateEditable change ) { beginUndoAtom(); try { StateEdit transaction = new StateEdit( change ); transaction.end(); addEdit( transaction ); } finally { endUndoAtom(); } }
/** * 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(); } }
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);
@Override public void actionPerformed(ActionEvent e) { StateEdit edit = new StateEdit(new VisibilityUndo(viewer .getONDEXJUNGGraph()), Config.language .getProperty("Name.Menu.Filter.Defluff"));
/** * 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(); }
} else if (KeyEvent.getKeyText(arg0.getKeyCode()).equalsIgnoreCase("g")) { StateEdit edit = new StateEdit(new VisibilityUndo(this.getONDEXJUNGGraph()), Config.language.getProperty("Undo.RemoveComplement")); undoManager.addEdit(edit); OVTK2Desktop.getInstance().getOVTK2Menu().updateUndoRedo(this);
private void callFilter() throws InvalidPluginArgumentException { StateEdit edit = new StateEdit(new VisibilityUndo(viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess(this.getName());
edit = new StateEdit(new VisibilityUndo(v.getONDEXJUNGGraph()), Config.language.getProperty(getUndoPropertyName())); v.getUndoManager().addEdit(edit); if (v instanceof OVTK2Viewer)
StateEdit transaction = new StateEdit( undoItem, "tab selection" ); transaction.end(); _undoMgr.addEdit( transaction );
StateEdit transaction = new StateEdit( undoItem, "tab selection" ); transaction.end(); _undoMgr.addEdit( transaction );
StateEdit edit = new StateEdit( new VisibilityUndo(viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance();
/** * Hides any selection for nodes or edges in the graph. * */ public void hideSelection() { StateEdit edit = new StateEdit(new VisibilityUndo(this.getONDEXJUNGGraph()), Config.language.getProperty("Undo.HideSelection")); undoManager.addEdit(edit); OVTK2Desktop.getInstance().getOVTK2Menu().updateUndoRedo(this); // hide edges first for (ONDEXRelation ondexEdge : getPickedEdges()) { getONDEXJUNGGraph().setVisibility(ondexEdge, false); } // hide nodes next for (ONDEXConcept ondexNode : getPickedNodes()) { getONDEXJUNGGraph().setVisibility(ondexNode, false); } // update viewer getVisualizationViewer().getModel().fireStateChanged(); edit.end(); }
StateEdit edit = new StateEdit(new VisibilityUndo(viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess(this.getName());
StateEdit edit = new StateEdit(new VisibilityUndo( viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance();
throws InvalidPluginArgumentException { StateEdit edit = new StateEdit(new VisibilityUndo( viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance();
StateEdit edit = new StateEdit( new VisibilityUndo(viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance();
@Override public void actionPerformed(ActionEvent ae) { StateEdit edit = new StateEdit(new VisibilityUndo( viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance();
StateEdit edit = new StateEdit(new VisibilityUndo( viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance();