117118119120121122123124125
public void setSynchronizedWithJS(boolean synchronizedWithJS) { this.synchronizedWithJS = synchronizedWithJS; if (synchronizedWithJS && updater == null) { updater = new JSTreeUpdater(); addGraphListener(new NewickUpdater()); } }