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 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 updateRendererButtons() { RendererPlugin plugin = getSelectedRendererPlugin(); if (plugin != null) { try { configureButton.setEnabled(plugin.newInstance().isConfigurable()); } catch (Exception e) { ProtegeApplication.getErrorLog().logError(e); configureButton.setEnabled(false); } } }
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 OWLModelManagerEntityRenderer getOWLEntityRenderer() { if (entityRenderer == null) { try { OWLRendererPreferences preferences = OWLRendererPreferences.getInstance(); RendererPlugin plugin = preferences.getRendererPlugin(); entityRenderer = plugin.newInstance(); loadRenderer(); } catch (ClassNotFoundException e) { logger.error(e.getMessage()); } catch (InstantiationException e) { logger.error(e.getMessage()); } catch (IllegalAccessException e) { logger.error(e.getMessage()); } if (entityRenderer == null) { entityRenderer = new OWLEntityRendererImpl(); loadRenderer(); } } return entityRenderer; }
public OWLModelManagerEntityRenderer getOWLEntityRenderer() { if (entityRenderer == null) { try { OWLRendererPreferences preferences = OWLRendererPreferences.getInstance(); RendererPlugin plugin = preferences.getRendererPlugin(); entityRenderer = plugin.newInstance(); loadRenderer(); } catch (ClassNotFoundException e) { logger.error(e.getMessage()); } catch (InstantiationException e) { logger.error(e.getMessage()); } catch (IllegalAccessException e) { logger.error(e.getMessage()); } if (entityRenderer == null) { entityRenderer = new OWLEntityRendererImpl(); loadRenderer(); } } return entityRenderer; }
public OWLModelManagerEntityRenderer getOWLEntityRenderer() { if (entityRenderer == null) { try { OWLRendererPreferences preferences = OWLRendererPreferences.getInstance(); RendererPlugin plugin = preferences.getRendererPlugin(); entityRenderer = plugin.newInstance(); loadRenderer(); } catch (ClassNotFoundException | InstantiationException | IllegalAccessException e) { logger.error(e.getMessage()); } if (entityRenderer == null) { entityRenderer = new OWLEntityRendererImpl(); loadRenderer(); } } return entityRenderer; }
public OWLModelManagerEntityRenderer getOWLEntityRenderer() { if(entityRenderer == null) { try { OWLRendererPreferences preferences = OWLRendererPreferences.getInstance(); RendererPlugin plugin = preferences.getRendererPlugin(); entityRenderer = plugin.newInstance(); loadRenderer(); } catch(ClassNotFoundException | InstantiationException | IllegalAccessException e) { logger.error(e.getMessage()); } if(entityRenderer == null) { entityRenderer = new OWLEntityRendererImpl(); loadRenderer(); } } return entityRenderer; }
public void actionPerformed(ActionEvent e) { RendererPlugin plugin = getSelectedRendererPlugin(); try { if (plugin != null && plugin.newInstance().configure(getOWLEditorKit())) { dirty = true; } } catch (Exception cnfe) { ProtegeApplication.getErrorLog().logError(cnfe); } } });
public void actionPerformed(ActionEvent e) { RendererPlugin plugin = getSelectedRendererPlugin(); try { if (plugin != null && plugin.newInstance().configure(getOWLEditorKit())) { dirty = true; } } catch (Exception cnfe) { ProtegeApplication.getErrorLog().logError(cnfe); } } });
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(); }
public void applyChanges() { OWLRendererPreferences prefs = OWLRendererPreferences.getInstance(); prefs.setHighlightActiveOntologyStatements(highlightAOStatementsCheckBox.isSelected()); prefs.setRenderHyperlinks(showHyperlinksCheckBox.isSelected()); prefs.setHighlightKeyWords(highlightKeyWordsCheckBox.isSelected()); prefs.setUseThatKeyword(useThatAsSynonymForAndCheckBox.isSelected()); prefs.setFontSize((Integer) fontSizeSpinner.getValue()); Object selectedFont = fontCombo.getSelectedItem(); prefs.setFontName(selectedFont == null ? OWLRendererPreferences.DEFAULT_FONT_NAME : selectedFont.toString()); if (isDirty()){ RendererPlugin plugin = getSelectedRendererPlugin(); try { prefs.setRendererPlugin(plugin); OWLModelManagerEntityRenderer ren = plugin.newInstance(); getOWLModelManager().refreshRenderer(); } catch (Exception e) { throw new OWLRuntimeException(e); } } getOWLEditorKit().getWorkspace().refreshComponents(); }
public void applyChanges() { OWLRendererPreferences prefs = OWLRendererPreferences.getInstance(); prefs.setHighlightActiveOntologyStatements(highlightAOStatementsCheckBox.isSelected()); prefs.setRenderHyperlinks(showHyperlinksCheckBox.isSelected()); prefs.setHighlightKeyWords(highlightKeyWordsCheckBox.isSelected()); prefs.setUseThatKeyword(useThatAsSynonymForAndCheckBox.isSelected()); prefs.setFontSize((Integer) fontSizeSpinner.getValue()); if (isDirty()){ RendererPlugin plugin = getSelectedRendererPlugin(); try { prefs.setRendererPlugin(plugin); OWLModelManagerEntityRenderer ren = plugin.newInstance(); getOWLModelManager().refreshRenderer(); } catch (Exception e) { throw new OWLRuntimeException(e); } } getOWLEditorKit().getWorkspace().refreshComponents(); }
public void applyChanges() { OWLRendererPreferences prefs = OWLRendererPreferences.getInstance(); prefs.setHighlightActiveOntologyStatements(highlightAOStatementsCheckBox.isSelected()); prefs.setRenderHyperlinks(showHyperlinksCheckBox.isSelected()); prefs.setHighlightKeyWords(highlightKeyWordsCheckBox.isSelected()); Integer fontSize = (Integer) fontSizeSpinner.getValue(); prefs.setFontSize(fontSize); if (isDirty()){ RendererPlugin plugin = getSelectedRendererPlugin(); try { prefs.setRendererPlugin(plugin); OWLModelManagerEntityRenderer ren = plugin.newInstance(); getOWLModelManager().refreshRenderer(); Fonts.updateUIDefaultsFontSize(fontSize); } catch (Exception e) { throw new OWLRuntimeException(e); } } SwingUtilities.updateComponentTreeUI(getOWLEditorKit().getWorkspace()); }
public void applyChanges() { OWLRendererPreferences prefs = OWLRendererPreferences.getInstance(); prefs.setHighlightActiveOntologyStatements(highlightAOStatementsCheckBox.isSelected()); prefs.setRenderHyperlinks(showHyperlinksCheckBox.isSelected()); prefs.setHighlightKeyWords(highlightKeyWordsCheckBox.isSelected()); Integer fontSize = (Integer) fontSizeSpinner.getValue(); prefs.setFontSize(fontSize); if (isDirty()){ RendererPlugin plugin = getSelectedRendererPlugin(); try { prefs.setRendererPlugin(plugin); OWLModelManagerEntityRenderer ren = plugin.newInstance(); getOWLModelManager().refreshRenderer(); Fonts.updateUIDefaultsFontSize(fontSize); } catch (Exception e) { throw new OWLRuntimeException(e); } } SwingUtilities.updateComponentTreeUI(getOWLEditorKit().getWorkspace()); }