686687688689690691692693694695696
try { viewer.setGraph(controller.createGraphFromOntoSpreadState(controller.next())); updateGraph(); if(!controller.hasNext()){ EndDialog end = new EndDialog(shell); end.open(); } } catch (Exception e) { createErrorDialog(e); } }
711712713714715716717718719720721
public void widgetSelected(SelectionEvent arg0) { try { viewer.setGraph(controller.createGraphFromOntoSpreadState(controller.last())); updateGraph(); EndDialog end = new EndDialog(shell); end.open(); } catch (Exception e) { createErrorDialog(e); } } });
776777778779780781782783784785786
updateGraph(); Thread.sleep(timeToWait.timeToWait()); } EndDialog end = new EndDialog(shell); end.open(); } catch (Exception e) { createErrorDialog(e); }finally{ stopMenuItem.notifyListeners(SWT.Selection, createEvent(arg0));