179180181182183184185186187188189
} } model.setWaiting(false); } }, "Partition Model refresh"); t.start(); } else { Thread t = new Thread(new Runnable() { public void run() { if (partition != null) {
207208209210211212213214215216217
} } model.setWaiting(false); } }, "Partition Model refresh"); t.start(); } } public Partition buildPartition(AttributeColumn column, Graph graph) { DynamicModel dynamicModel = model.getDynamicModel();