edit = new StateEdit(new VisibilityUndo(viewer.getONDEXJUNGGraph()), Config.language.getProperty("Undo.HideSelection")); viewer.getUndoManager().addEdit(edit); OVTK2Desktop.getInstance().getOVTK2Menu().updateUndoRedo(viewer);
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
OVTK2Desktop.getInstance().getOVTK2Menu().updateUndoRedo(this); if (undoManager.canUndo()) { undoManager.undo(); OVTK2Desktop.getInstance().getOVTK2Menu().updateUndoRedo(this); visviewer.repaint(); if (undoManager.canRedo()) { undoManager.redo(); OVTK2Desktop.getInstance().getOVTK2Menu().updateUndoRedo(this); visviewer.repaint();
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
/** * 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(); }
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
v.getUndoManager().addEdit(edit); if (v instanceof OVTK2Viewer) OVTK2Desktop.getInstance().getOVTK2Menu().updateUndoRedo(v);
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
/** * 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(); }
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();
desktop.getOVTK2Menu().updateUndoRedo(viewer); desktop.notifyTerminationOfProcess();