public void actionPerformed(ActionEvent e) { PreferencesDialogPanel.showPreferencesDialog(null, getEditorKit()); }
protected boolean handlePreferencesRequest() { if (eKit != null){ PreferencesDialogPanel.showPreferencesDialog(null, eKit); return true; } return false; }
protected PreferencesPanelPlugin createInstance(IExtension extension) { return new PreferencesPanelPluginJPFImpl(extension, editorKit); } }
public void setup(String label, EditorKit editorKit) { this.label = label; this.editorKit = editorKit; setBorder(BorderFactory.createEmptyBorder(30, 20, 20, 20)); setLayout(new PreferencesPanelLayoutManager(this)); }
private void buildDataPropertyFrameSectionPreferences(PreferencesLayoutPanel layoutPanel) { layoutPanel.addGroup("Data property inferences"); layoutPanel.addGroupComponent(getCheckBox(OptionalInferenceTask.SHOW_INFERRED_DATATYPE_PROPERTY_DOMAINS, "Domains")); layoutPanel.addGroupComponent(getCheckBox(OptionalInferenceTask.SHOW_INFERRED_EQUIVALENT_DATATYPE_PROPERTIES, "Equivalent Properties")); layoutPanel.addGroupComponent(getCheckBox(OptionalInferenceTask.SHOW_INFERRED_SUPER_DATATYPE_PROPERTIES, "Super Properties")); }
public String getLabel() { return getPluginProperty(LABEL_PARAM); }
public void setup(String label, EditorKit editorKit) { this.label = label; this.editorKit = editorKit; setBorder(BorderFactory.createEmptyBorder(30, 20, 20, 20)); setLayout(new PreferencesPanelLayoutManager(this)); }
public void actionPerformed(ActionEvent e) { PreferencesDialogPanel.showPreferencesDialog(null, getEditorKit()); }
protected boolean handlePreferencesRequest() { if (eKit != null){ PreferencesDialogPanel.showPreferencesDialog(null, eKit); return true; } return false; }
protected PreferencesPanelPlugin createInstance(IExtension extension) { return new PreferencesPanelPluginJPFImpl(extension, editorKit); } }
public String getLabel() { return getPluginProperty(LABEL_PARAM); }
public void setup(String label, EditorKit editorKit) { this.label = label; this.editorKit = editorKit; setBorder(BorderFactory.createEmptyBorder(30, 20, 20, 20)); setLayout(new PreferencesPanelLayoutManager(this)); }
public void actionPerformed(ActionEvent e) { PreferencesDialogPanel.showPreferencesDialog(null, getEditorKit()); }
protected boolean handlePreferencesRequest() { if (eKit != null){ PreferencesDialogPanel.showPreferencesDialog(null, eKit); return true; } return false; }
protected PreferencesPanelPlugin createInstance(IExtension extension) { return new PreferencesPanelPluginJPFImpl(extension, editorKit); } }
public String getLabel() { return getPluginProperty(LABEL_PARAM); }
public void actionPerformed(ActionEvent event) { PreferencesDialogPanel.showPreferencesDialog("OWLViz", eKit); } };