public static synchronized OWLEntityFinderPreferences getInstance() { if (instance == null) { instance = new OWLEntityFinderPreferences(); } return instance; } }
public Set<OWLDataProperty> getMatchingOWLDataProperties(String match) { return getEntities(match, OWLDataProperty.class, OWLEntityFinderPreferences.getInstance().isUseRegularExpressions()); }
private OWLEntityFinderPreferences() { searchDelay = 500; useRegularExpressions = false; caseSensitive = DEFAULT_CASE_SENSITIVE_VALUE; load(); }
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().setUseRegularExpressions(useRegexCheckBox.isSelected()); fireSearchRequestOptionChanged(); } });
public void refresh() { OWLEntityFinderPreferences prefs = OWLEntityFinderPreferences.getInstance(); caseSensitive.setSelected(prefs.isCaseSensitive()); useRegexCheckBox.setSelected(prefs.isUseRegularExpressions()); wholeWordsCheckbox.setSelected(prefs.isWholeWords()); ignoreWhiteSpaceCheckbox.setSelected(prefs.isIgnoreWhiteSpace()); } }
public void setCaseSensitive(boolean ignoreCase) { this.caseSensitive = ignoreCase; getPreferences().putBoolean(CASE_SENSITIVE_KEY, ignoreCase); }
OWLEntityFinderPreferences prefs = OWLEntityFinderPreferences.getInstance(); findDelaySpinner = new JSpinner(new SpinnerNumberModel(prefs.getSearchDelay(), 0, 10000, 50)); findDelaySpinner.setToolTipText(SECOND_TOOL_TIP); !prefs.isUseRegularExpressions()); regularExpressionSearchButton = new JRadioButton("Full regular expression search", prefs.isUseRegularExpressions());
private void performFind() { 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 actionPerformed(ActionEvent e) { OWLEntityFinderPreferences.getInstance().setCaseSensitive(caseSensitive.isSelected()); fireSearchRequestOptionChanged(); } });
public void refresh() { OWLEntityFinderPreferences prefs = OWLEntityFinderPreferences.getInstance(); caseSensitive.setSelected(prefs.isCaseSensitive()); useRegexCheckBox.setSelected(prefs.isUseRegularExpressions()); wholeWordsCheckbox.setSelected(prefs.isWholeWords()); ignoreWhiteSpaceCheckbox.setSelected(prefs.isIgnoreWhiteSpace()); } }
public void setWholeWords(boolean wholeWords) { this.wholeWords = wholeWords; getPreferences().putBoolean(WHOLE_WORDS_KEY, wholeWords); }
OWLEntityFinderPreferences prefs = OWLEntityFinderPreferences.getInstance(); findDelaySpinner = new JSpinner(new SpinnerNumberModel(prefs.getSearchDelay(), 0, 10000, 50)); findDelaySpinner.setToolTipText(SECOND_TOOL_TIP); !prefs.isUseRegularExpressions()); regularExpressionSearchButton = new JRadioButton("Full regular expression search", prefs.isUseRegularExpressions());
private void performFind() { 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 actionPerformed(ActionEvent e) { OWLEntityFinderPreferences.getInstance().setUseRegularExpressions(useRegexCheckBox.isSelected()); fireSearchRequestOptionChanged(); } });
public void actionPerformed(ActionEvent e) { OWLEntityFinderPreferences.getInstance().setWholeWords(wholeWordsCheckbox.isSelected()); fireSearchRequestOptionChanged(); } });
public void actionPerformed(ActionEvent e) { OWLEntityFinderPreferences.getInstance().setIgnoreWhiteSpace(ignoreWhiteSpaceCheckbox.isSelected()); fireSearchRequestOptionChanged(); } });