@Override protected RendererPlugin createInstance(IExtension extension) { return new RendererPlugin(extension); }
public String getRendererClassName() { return getPluginProperty(PluginProperties.CLASS_PARAM_NAME); }
protected boolean isMyRendererPlugin(RendererPlugin plugin) { return plugin.getRendererClassName().equals(OWLEntityPrefixedNameRenderer.class.getName()); }
private void updateRendererButtons() { RendererPlugin plugin = getSelectedRendererPlugin(); if (plugin != null) { try { configureButton.setEnabled(plugin.newInstance().isConfigurable()); } catch (Exception e) { logger.error("An error occurred whilst updating the state of a renderer plugin: {}", e); configureButton.setEnabled(false); } } }
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(); }
public int compareTo(RendererPlugin o) { return getSortPosition().compareTo(o.getSortPosition()); } }
addRenderer(plugin.getName(), plugin);
private void updateRendererButtons() { RendererPlugin plugin = getSelectedRendererPlugin(); if (plugin != null) { try { configureButton.setEnabled(plugin.newInstance().isConfigurable()); } catch (Exception e) { logger.error("An error occurred whilst updating the state of a renderer plugin: {}", e); configureButton.setEnabled(false); } } }
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(); }
public int compareTo(RendererPlugin o) { return getSortPosition().compareTo(o.getSortPosition()); } }
addRenderer(plugin.getName(), plugin);
protected boolean isMyRendererPlugin(RendererPlugin plugin) { return plugin.getRendererClassName().equals(OWLEntityAnnotationValueRenderer.class.getName()); }
public String getName() { return getPluginProperty("name"); }
private void updateRendererButtons() { RendererPlugin plugin = getSelectedRendererPlugin(); if (plugin != null) { try { configureButton.setEnabled(plugin.newInstance().isConfigurable()); } catch (Exception e) { ProtegeApplication.getErrorLog().logError(e); configureButton.setEnabled(false); } } }
public int compareTo(RendererPlugin o) { return getSortPosition().compareTo(o.getSortPosition()); } }
@Override protected RendererPlugin createInstance(IExtension extension) { return new RendererPlugin(extension); }
protected boolean isMyRendererPlugin(RendererPlugin plugin) { return plugin.getRendererClassName().equals(OWLEntityRendererImpl.class.getName()); }
public String getSortPosition() { return getPluginProperty("sortPosition"); }
private void updateRendererButtons() { RendererPlugin plugin = getSelectedRendererPlugin(); if (plugin != null) { try { configureButton.setEnabled(plugin.newInstance().isConfigurable()); } catch (Exception e) { ProtegeApplication.getErrorLog().logError(e); configureButton.setEnabled(false); } } }
public int compareTo(RendererPlugin o) { return getSortPosition().compareTo(o.getSortPosition()); } }