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 ); }
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 ); } } }
/** * 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(); } }
edit.end(); viewer.getUndoManager().addEdit(edit); desktop.getOVTK2Menu().updateUndoRedo(viewer);
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(); } });
/** * 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(); }
graph.setVisibility(allnode, false); edit.end(); } else if (KeyEvent.getKeyText(arg0.getKeyCode()).equalsIgnoreCase("n")) { selectNeighboursOfSelection();
edit.end(); viewer.getUndoManager().addEdit(edit); desktop.getOVTK2Menu().updateUndoRedo(viewer);
new TabSelectionHistoryItem( NavigationHistory.this, _prevTab, -1, _prevTab = editor, -1 ); StateEdit transaction = new StateEdit( undoItem, "tab selection" ); transaction.end(); _undoMgr.addEdit( transaction );
new TabSelectionHistoryItem( NavigationHistory.this, _prevTab, -1, _prevTab = editor, -1 ); StateEdit transaction = new StateEdit( undoItem, "tab selection" ); transaction.end(); _undoMgr.addEdit( transaction );
edit.end(); viewer.getUndoManager().addEdit(edit); desktop.getOVTK2Menu().updateUndoRedo(viewer);
/** * 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(); }
edit.end(); viewer.getUndoManager().addEdit(edit); desktop.getOVTK2Menu().updateUndoRedo(viewer);
edit.end(); viewer.getUndoManager().addEdit(edit); desktop.getOVTK2Menu().updateUndoRedo(viewer);
edit.end(); viewer.getUndoManager().addEdit(edit); desktop.getOVTK2Menu().updateUndoRedo(viewer);