@Override public void applyChanges() { for (OWLPreferencesPanel panel : panels) { try { panel.applyChanges(); } catch (Throwable t) { logger.warn("An error occurred whilst applying changes in the preferences panel {}: {}", panel.getLabel(), t); } } }
public void dispose() throws Exception { for (OWLPreferencesPanel optionPage : optionPages) { optionPage.dispose(); } }
public OWLEditorKit getOWLEditorKit() { return (OWLEditorKit) getEditorKit(); }
private void addOptions(OWLPreferencesPanel page, String tabName) throws Exception { // If the page does not exist, add it, and add the component // to the page. Component c = getTab(tabName); if(c == null) { // Create a new Page Box box = new Box(BoxLayout.Y_AXIS); box.add(page); box.setBorder(BorderFactory.createEmptyBorder(12, 12, 12, 12)); tabPane.add(tabName, box); optionPages.add(page); } else { Box box = (Box) c; box.add(Box.createVerticalStrut(7)); box.add(page); optionPages.add(page); } page.initialise(); }
public void applyChanges() { for (OWLPreferencesPanel optionPage : optionPages) { optionPage.applyChanges(); } }
@Override public OWLPreferencesPanel newInstance() throws ClassNotFoundException, IllegalAccessException, InstantiationException { OWLPreferencesPanel panel = super.newInstance(); panel.setup(getLabel(), editorKit); return panel; }
public OWLModelManager getOWLModelManager() { return getOWLEditorKit().getModelManager(); } }
try { OWLPreferencesPanel panel = plugin.newInstance(); panel.initialise(); final String label = plugin.getLabel(); final JScrollPane scroller = new JScrollPane(panel);
@Override public void applyChanges() { for (OWLPreferencesPanel panel : panels) { try { panel.applyChanges(); } catch (Throwable t) { ProtegeApplication.getErrorLog().logError(t); } } }
@Override public OWLPreferencesPanel newInstance() throws ClassNotFoundException, IllegalAccessException, InstantiationException { OWLPreferencesPanel panel = super.newInstance(); panel.setup(getLabel(), editorKit); return panel; }
public OWLModelManager getOWLModelManager() { return getOWLEditorKit().getModelManager(); } }
public void dispose() throws Exception { for (OWLPreferencesPanel panel : panels) { try { panel.dispose(); } catch (Throwable t) { logger.warn("An error occurred during disposal of the preferences panel: {}", t); } } }
try { OWLPreferencesPanel panel = plugin.newInstance(); panel.initialise(); final String label = plugin.getLabel(); final JScrollPane scroller = new JScrollPane(panel);
@Override public void applyChanges() { for (OWLPreferencesPanel panel : panels) { try { panel.applyChanges(); } catch (Throwable t) { logger.warn("An error occurred whilst applying changes in the preferences panel {}: {}", panel.getLabel(), t); } } }
@Override public void applyChanges() { for (OWLPreferencesPanel panel : panels) { try { panel.applyChanges(); } catch (Throwable t) { ProtegeApplication.getErrorLog().logError(t); } } }
@Override public OWLPreferencesPanel newInstance() throws ClassNotFoundException, IllegalAccessException, InstantiationException { OWLPreferencesPanel panel = super.newInstance(); panel.setup(getLabel(), editorKit); return panel; }
public OWLModelManager getOWLModelManager() { return getOWLEditorKit().getModelManager(); } }
public OWLEditorKit getOWLEditorKit() { return (OWLEditorKit) getEditorKit(); }
public void dispose() throws Exception { for (OWLPreferencesPanel panel : panels) { try { panel.dispose(); } catch (Throwable t) { logger.warn("An error occurred during disposal of the preferences panel: {}", t); } } }
try { OWLPreferencesPanel panel = plugin.newInstance(); panel.initialise(); final String label = plugin.getLabel(); final JScrollPane scroller = new JScrollPane(panel);