public void run() { OVTK2Desktop.getInstance().setRunningProcess( "AllPairsShortestPathFilter"); try { filter(selection, dirBox.isSelected(), invBox.isSelected()); } catch (InvalidPluginArgumentException e1) { ErrorDialog.show(e1); } OVTK2Desktop.getInstance().setRunningProcess("none"); } };
public void run() { OVTK2Desktop.getInstance().setRunningProcess("GraphSynchronization"); gs.run(); OVTK2Desktop.getInstance().setRunningProcess("none"); } };
public void run() { gs.run(); desktop.setRunningProcess("none"); viewer.getMetaGraph().updateMetaData(); } };
.getProperty("Name.Menu.Filter.Defluff")); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess(Config.language .getProperty("Name.Menu.Filter.Defluff"));
desktop.setRunningProcess("Search Result Filter");
desktop.setRunningProcess("Search Result Filter");
desktop.setRunningProcess(this.getName());
desktop.setRunningProcess("Search Result Filter");
desktop.setRunningProcess(this.getName());
viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess(this.getName());
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(); desktop.setRunningProcess(this.getName());
viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess(this.getName());
viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess(this.getName());
new VisibilityUndo(viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess(this.getName());
viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess(this.getName());
viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess(this.getName());
viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess(this.getName());
viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess(this.getName());
viewer.getONDEXJUNGGraph()), this.getName()); OVTK2Desktop desktop = OVTK2Desktop.getInstance(); desktop.setRunningProcess(this.getName());