@Override public void initialise() throws Exception { layoutUserInterface(); updateFromPreferences(); }
public void dispose() throws Exception { for (OWLPreferencesPanel optionPage : optionPages) { optionPage.dispose(); } }
public void applyChanges() { for (OWLPreferencesPanel optionPage : optionPages) { optionPage.applyChanges(); } }
@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); } } }
private void handleActionEndWithName() { boolean selected = nameAsIriFragment.isSelected(); if (selected) { enableAutoGeneratedIDPanel(false); enableLabelCreationPanel(false); } }
public void actionPerformed(ActionEvent event) { handleSelectAnnotation(); } });
public OWLEditorKit getOWLEditorKit() { return (OWLEditorKit) getEditorKit(); }
public void actionPerformed(ActionEvent e) { Object object = e.getSource(); if (object == iterativeButton) { // "Numeric (iterative)" enableNumericIterativeOptions(true); } else if (object == uniqueIdButton) { // "Numeric (pseudo random)", "Unique and meaningless" enableNumericIterativeOptions(false); } }
public void initialise() throws Exception { createUI(); }
@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); } } }
private void handleActionEndWithID() { boolean selected = autoIDIriFragment.isSelected(); enableAutoGeneratedIDPanel(selected); enableLabelCreationPanel(selected); }
public void actionPerformed(ActionEvent event) { handleSelectAnnotation(); } });
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); } } }
@Override public void initialise() throws Exception { layoutUserInterface(); updateFromPreferences(); }
public void initialise() throws Exception { createUI(); }
public void actionPerformed(ActionEvent event) { handleSelectAnnotation(); } });
public OWLEditorKit getOWLEditorKit() { return (OWLEditorKit) getEditorKit(); }
public void actionPerformed(ActionEvent event) { handleSelectAnnotation(); } });
public OWLEditorKit getOWLEditorKit() { return (OWLEditorKit) getEditorKit(); }