333334335336337338339340341342343
} private void updateNavigationTree(){ SBMLDocument doc = sbmlDocuments.getCurrentDocument(); if (doc != null){ navigationTree = new NavigationTree(doc); } else{ navigationTree = new NavigationTree(); } setNavigationTreeInJTree(); }
3940414243444546474849
appendNavigation(); appendDesktop(new ContainerTable()); } private void appendNavigation() { navigationTree = new NavigationTree(); navigationTree.addSelectListener(new ActionListener() { public void actionPerformed(Event evt) { refresh(); } });