public RendererPlugin getRendererPluginByClassName(String javaClassName) { for (RendererPlugin plugin : getRendererPlugins()) { if (plugin.getRendererClassName().equals(javaClassName)) { return plugin; } } return null; }
private void setRendererPlugin(String rendererClass) { currentRendererPlugin = null; for (RendererPlugin plugin : getRendererPlugins()) { String pluginClassName = plugin.getRendererClassName(); if (pluginClassName.equals(rendererClass)) { currentRendererPlugin = plugin; break; } else if (currentRendererPlugin == null && pluginClassName.equals(DEFAULT_RENDERER_CLASS_NAME)) { currentRendererPlugin = plugin; } } }
public RendererPlugin getRendererPluginByClassName(String javaClassName) { for (RendererPlugin plugin : getRendererPlugins()) { if (plugin.getRendererClassName().equals(javaClassName)) { return plugin; } } return null; }
public RendererPlugin getRendererPluginByClassName(String javaClassName) { for (RendererPlugin plugin : getRendererPlugins()) { if (plugin.getRendererClassName().equals(javaClassName)) { return plugin; } } return null; }
private void setRendererPlugin(String rendererClass) { currentRendererPlugin = null; for (RendererPlugin plugin : getRendererPlugins()) { String pluginClassName = plugin.getRendererClassName(); if (pluginClassName.equals(rendererClass)) { currentRendererPlugin = plugin; break; } else if (currentRendererPlugin == null && pluginClassName.equals(DEFAULT_RENDERER_CLASS_NAME)) { currentRendererPlugin = plugin; } } }
public RendererPlugin getRendererPluginByClassName(String javaClassName) { for (RendererPlugin plugin : getRendererPlugins()) { if (plugin.getRendererClassName().equals(javaClassName)) { return plugin; } } return null; }
private void setRendererPlugin(String rendererClass) { currentRendererPlugin = null; for (RendererPlugin plugin : getRendererPlugins()) { String pluginClassName = plugin.getRendererClassName(); if (pluginClassName.equals(rendererClass)) { currentRendererPlugin = plugin; break; } else if (currentRendererPlugin == null && pluginClassName.equals(DEFAULT_RENDERER_CLASS_NAME)) { currentRendererPlugin = plugin; } } }
private void setRendererPlugin(String rendererClass) { currentRendererPlugin = null; for (RendererPlugin plugin : getRendererPlugins()) { String pluginClassName = plugin.getRendererClassName(); if (pluginClassName.equals(rendererClass)) { currentRendererPlugin = plugin; break; } else if (currentRendererPlugin == null && pluginClassName.equals(DEFAULT_RENDERER_CLASS_NAME)) { currentRendererPlugin = plugin; } } }
private Component createRendererSelectionPanel() { OWLRendererPreferences prefs = OWLRendererPreferences.getInstance(); for (RendererPlugin plugin : prefs.getRendererPlugins()) { addRenderer(plugin.getName(), plugin);
private Component createRendererSelectionPanel() { OWLRendererPreferences prefs = OWLRendererPreferences.getInstance(); for (RendererPlugin plugin : prefs.getRendererPlugins()) { addRenderer(plugin.getName(), plugin);
private void createRendererSelectionPanel(PreferencesLayoutPanel layoutPanel) { OWLRendererPreferences prefs = OWLRendererPreferences.getInstance(); for (RendererPlugin plugin : prefs.getRendererPlugins()) { addRenderer(plugin.getName(), plugin); } layoutPanel.addGroup("Entity rendering"); ButtonGroup bg = new ButtonGroup(); for (JRadioButton button : buttonToRendererMap.keySet()){ bg.add(button); layoutPanel.addGroupComponent(button); button.addChangeListener(e -> updateRendererButtons()); } configureButton = new JButton("Configure..."); configureButton.addActionListener(e -> { RendererPlugin plugin = getSelectedRendererPlugin(); try { if (plugin != null && plugin.newInstance().configure(getOWLEditorKit())) { dirty = true; } } catch (Exception cnfe) { logger.error("An error occurred whilst instantiating a renderer preferences panel plugin: {}", cnfe); } }); layoutPanel.addIndentedGroupComponent(configureButton); updateRendererButtons(); }
private void createRendererSelectionPanel(PreferencesLayoutPanel layoutPanel) { OWLRendererPreferences prefs = OWLRendererPreferences.getInstance(); for (RendererPlugin plugin : prefs.getRendererPlugins()) { addRenderer(plugin.getName(), plugin); } layoutPanel.addGroup("Entity rendering"); ButtonGroup bg = new ButtonGroup(); for (JRadioButton button : buttonToRendererMap.keySet()){ bg.add(button); layoutPanel.addGroupComponent(button); button.addChangeListener(e -> updateRendererButtons()); } configureButton = new JButton("Configure..."); configureButton.addActionListener(e -> { RendererPlugin plugin = getSelectedRendererPlugin(); try { if (plugin != null && plugin.newInstance().configure(getOWLEditorKit())) { dirty = true; } } catch (Exception cnfe) { logger.error("An error occurred whilst instantiating a renderer preferences panel plugin: {}", cnfe); } }); layoutPanel.addIndentedGroupComponent(configureButton); updateRendererButtons(); }
private void setRendering(OWLAnnotationProperty prop) { OWLRendererPreferences preferences = OWLRendererPreferences.getInstance(); for (RendererPlugin plugin : preferences.getRendererPlugins()) { if (isMyRendererPlugin(plugin)) { preferences.setRendererPlugin(plugin); configure(prop); getOWLModelManager().refreshRenderer(); break; } } }
private void setRendering(OWLAnnotationProperty prop) { OWLRendererPreferences preferences = OWLRendererPreferences.getInstance(); for (RendererPlugin plugin : preferences.getRendererPlugins()) { if (isMyRendererPlugin(plugin)) { preferences.setRendererPlugin(plugin); configure(prop); getOWLModelManager().refreshRenderer(); break; } } }
private void setRendering(OWLAnnotationProperty prop) { OWLRendererPreferences preferences = OWLRendererPreferences.getInstance(); for (RendererPlugin plugin : preferences.getRendererPlugins()) { if (isMyRendererPlugin(plugin)) { preferences.setRendererPlugin(plugin); configure(prop); getOWLModelManager().refreshRenderer(); break; } } }
private void setRendering(OWLAnnotationProperty prop) { OWLRendererPreferences preferences = OWLRendererPreferences.getInstance(); for (RendererPlugin plugin : preferences.getRendererPlugins()) { if (isMyRendererPlugin(plugin)) { preferences.setRendererPlugin(plugin); configure(prop); getOWLModelManager().refreshRenderer(); break; } } }
public void actionPerformed(ActionEvent e) { OWLRendererPreferences preferences = OWLRendererPreferences.getInstance(); for (RendererPlugin plugin : preferences.getRendererPlugins()) { if (isMyRendererPlugin(plugin)) { preferences.setRendererPlugin(plugin); configure(plugin); getOWLModelManager().refreshRenderer(); menuItem.setSelected(true); break; } } } }
public void actionPerformed(ActionEvent e) { OWLRendererPreferences preferences = OWLRendererPreferences.getInstance(); for (RendererPlugin plugin : preferences.getRendererPlugins()) { if (isMyRendererPlugin(plugin)) { preferences.setRendererPlugin(plugin); configure(plugin); getOWLModelManager().refreshRenderer(); menuItem.setSelected(true); break; } } } }
public void actionPerformed(ActionEvent e) { OWLRendererPreferences preferences = OWLRendererPreferences.getInstance(); for (RendererPlugin plugin : preferences.getRendererPlugins()) { if (isMyRendererPlugin(plugin)) { preferences.setRendererPlugin(plugin); configure(plugin); getOWLModelManager().refreshRenderer(); menuItem.setSelected(true); break; } } } }
public void actionPerformed(ActionEvent e) { OWLRendererPreferences preferences = OWLRendererPreferences.getInstance(); for (RendererPlugin plugin : preferences.getRendererPlugins()) { if (isMyRendererPlugin(plugin)) { preferences.setRendererPlugin(plugin); configure(plugin); getOWLModelManager().refreshRenderer(); menuItem.setSelected(true); break; } } } }