public void actionPerformed(ActionEvent e) { OWLEntityFinderPreferences.getInstance().setWholeWords(wholeWordsCheckbox.isSelected()); fireSearchRequestOptionChanged(); } });
public void actionPerformed(ActionEvent e) { OWLEntityFinderPreferences.getInstance().setIgnoreWhiteSpace(ignoreWhiteSpaceCheckbox.isSelected()); fireSearchRequestOptionChanged(); } });
public void actionPerformed(ActionEvent e) { OWLEntityFinderPreferences.getInstance().setCaseSensitive(caseSensitive.isSelected()); fireSearchRequestOptionChanged(); } });
public void actionPerformed(ActionEvent e) { OWLEntityFinderPreferences.getInstance().setUseRegularExpressions(useRegexCheckBox.isSelected()); fireSearchRequestOptionChanged(); } });
public void actionPerformed(ActionEvent e) { OWLEntityFinderPreferences.getInstance().setUseRegularExpressions(useRegexCheckBox.isSelected()); fireSearchRequestOptionChanged(); } });
public void actionPerformed(ActionEvent e) { OWLEntityFinderPreferences.getInstance().setCaseSensitive(caseSensitive.isSelected()); fireSearchRequestOptionChanged(); } });
public void actionPerformed(ActionEvent e) { OWLEntityFinderPreferences.getInstance().setIgnoreWhiteSpace(ignoreWhiteSpaceCheckbox.isSelected()); fireSearchRequestOptionChanged(); } });
public void actionPerformed(ActionEvent e) { OWLEntityFinderPreferences.getInstance().setCaseSensitive(caseSensitive.isSelected()); fireSearchRequestOptionChanged(); } });
public void actionPerformed(ActionEvent e) { OWLEntityFinderPreferences.getInstance().setWholeWords(wholeWordsCheckbox.isSelected()); fireSearchRequestOptionChanged(); } });
public Set<OWLDataProperty> getMatchingOWLDataProperties(String match) { return getEntities(match, OWLDataProperty.class, OWLEntityFinderPreferences.getInstance().isUseRegularExpressions()); }
public void refresh() { OWLEntityFinderPreferences prefs = OWLEntityFinderPreferences.getInstance(); caseSensitive.setSelected(prefs.isCaseSensitive()); useRegexCheckBox.setSelected(prefs.isUseRegularExpressions()); wholeWordsCheckbox.setSelected(prefs.isWholeWords()); ignoreWhiteSpaceCheckbox.setSelected(prefs.isIgnoreWhiteSpace()); } }
public Set<OWLObjectProperty> getMatchingOWLObjectProperties(String match) { return getEntities(match, OWLObjectProperty.class, OWLEntityFinderPreferences.getInstance().isUseRegularExpressions()); }
public Set<OWLNamedIndividual> getMatchingOWLIndividuals(String match) { return getEntities(match, OWLNamedIndividual.class, OWLEntityFinderPreferences.getInstance().isUseRegularExpressions()); }
public Set<OWLDatatype> getMatchingOWLDatatypes(String match) { return getEntities(match, OWLDatatype.class, OWLEntityFinderPreferences.getInstance().isUseRegularExpressions()); }
public Set<OWLObjectProperty> getMatchingOWLObjectProperties(String match) { return getEntities(match, OWLObjectProperty.class, OWLEntityFinderPreferences.getInstance().isUseRegularExpressions()); }
public Set<OWLEntity> getMatchingOWLEntities(String match) { return getEntities(match, OWLEntity.class, OWLEntityFinderPreferences.getInstance().isUseRegularExpressions()); }
private void performFind() { timer.setDelay((int) OWLEntityFinderPreferences.getInstance().getSearchDelay()); timer.restart(); }
private void performFind() { if(this.settingText) { return; } searchStartedHandler.handleSearchStarted(); timer.setDelay((int) OWLEntityFinderPreferences.getInstance().getSearchDelay()); timer.restart(); }
public void applyChanges() { ExpressionEditorPreferences.getInstance().setCheckDelay((Integer) checkDelaySpinner.getModel().getValue()); OWLEntityFinderPreferences prefs = OWLEntityFinderPreferences.getInstance(); prefs.setSearchDelay(((Double) findDelaySpinner.getModel().getValue()).intValue()); prefs.setUseRegularExpressions(regularExpressionSearchButton.isSelected()); Preferences appPrefs = PreferencesManager.getInstance().getApplicationPreferences(ProtegeApplication.ID); appPrefs.putBoolean(DIALOGS_ALWAYS_CENTRED, alwaysCentreDialogsCheckbox.isSelected()); appPrefs.putBoolean(View.DETACHED_WINDOWS_FLOAT, detachedWindowsFloat.isSelected()); }
public void applyChanges() { ExpressionEditorPreferences.getInstance().setCheckDelay((Integer) checkDelaySpinner.getModel().getValue()); OWLEntityFinderPreferences prefs = OWLEntityFinderPreferences.getInstance(); prefs.setSearchDelay(((Double) findDelaySpinner.getModel().getValue()).intValue()); prefs.setUseRegularExpressions(regularExpressionSearchButton.isSelected()); Preferences appPrefs = PreferencesManager.getInstance().getApplicationPreferences(ProtegeApplication.ID); appPrefs.putBoolean(DIALOGS_ALWAYS_CENTRED, alwaysCentreDialogsCheckbox.isSelected()); appPrefs.putBoolean(View.DETACHED_WINDOWS_FLOAT, detachedWindowsFloat.isSelected()); }