181182183184185186187188189190191
if (preLayout != null) { preLayout.updateSelection(); } sLogger.info("Do graph layout " + getSelectionString()); layoutModule.start(graph); } else { // fGraphView.fitContent(); fGraphView.updateView(); // graph.updateViews(); }