8788899091929394959697
} private void addPluginsConfig() { ArrayList plugins = MainWindow.MAIN_WINDOW.getPlugins(); BestsolutionConfiguration config; for (int i = 0; i < plugins.size(); i++) { config = ((AbstractPlugin) plugins.get(i)).getConfig(); if (config != null)
108109110111112113114115116117118
{ DefaultMutableTreeNode node = (DefaultMutableTreeNode) tree_.getLastSelectedPathComponent(); if (node != null) { BestsolutionConfiguration config = (BestsolutionConfiguration) node.getUserObject(); BestsolutionConfigurationEditor editor = BestsolutionConfigurationEditorFactory.getEditor(config); if( editor != null ) { editor_pane_.setViewportView(editor);