104105106107108109110111112113114
} System.out.println("Finished creating the graph."); while (loop) { fromViewer.pump(); if (graph.hasAttribute("ui.viewClosed")) { loop = false; } else { //sleep(1000);
101102103104105106107108109110111
Thread.sleep(30); } catch (InterruptedException e) { e.printStackTrace(); } fromSwing.pump(); if (graph.hasAttribute("ui.viewClosed")) { loop = false; } else { if (A.hasAttribute("ui.clicked")) {