/** * Determines whether or not the user name provided by Git (given the context of active ontologies that are under * Git version control) should be used as the user name. * @return true if the Git user name should be used when available or false if it should never be used. */ public boolean isUseGitUserNameIfAvailable() { return preferences.getBoolean(USE_GIT_USER_NAME, false); }
private void load() { Preferences prefs = getPreferences(); useRegularExpressions = prefs.getBoolean(USE_REGULAR_EXPRESSIONS_KEY, false); searchDelay = prefs.getLong(SEARCH_DELAY_KEY, 500); caseSensitive = prefs.getBoolean(CASE_SENSITIVE_KEY, DEFAULT_CASE_SENSITIVE_VALUE); wholeWords = prefs.getBoolean(WHOLE_WORDS_KEY, false); ignoreWhiteSpace = prefs.getBoolean(IGNORE_WHITE_SPACE_KEY, true); }
private void load() { Preferences prefs = getPreferences(); useRegularExpressions = prefs.getBoolean(USE_REGULAR_EXPRESSIONS_KEY, false); searchDelay = prefs.getLong(SEARCH_DELAY_KEY, 500); caseSensitive = prefs.getBoolean(CASE_SENSITIVE_KEY, DEFAULT_CASE_SENSITIVE_VALUE); wholeWords = prefs.getBoolean(WHOLE_WORDS_KEY, false); ignoreWhiteSpace = prefs.getBoolean(IGNORE_WHITE_SPACE_KEY, true); }
private void load() { Preferences prefs = getPreferences(); useRegularExpressions = prefs.getBoolean(USE_REGULAR_EXPRESSIONS_KEY, false); searchDelay = prefs.getLong(SEARCH_DELAY_KEY, 500); caseSensitive = prefs.getBoolean(CASE_SENSITIVE_KEY, DEFAULT_CASE_SENSITIVE_VALUE); wholeWords = prefs.getBoolean(WHOLE_WORDS_KEY, false); ignoreWhiteSpace = prefs.getBoolean(IGNORE_WHITE_SPACE_KEY, true); }
private void restore() { Preferences p = getPreferences(); baseURI = URI.create(p.getString(BASE_URI_KEY, baseURI.toString())); includeYear = p.getBoolean(INC_YEAR_KEY, true); includeMonth = p.getBoolean(INC_MONTH_KEY, true); includeDay = p.getBoolean(INC_DAY_KEY, false); useCounter = p.getBoolean(INC_DOCUMENT_COUNTER, true); }
private void restore() { Preferences p = getPreferences(); baseURI = URI.create(p.getString(BASE_URI_KEY, baseURI.toString())); includeYear = p.getBoolean(INC_YEAR_KEY, true); includeMonth = p.getBoolean(INC_MONTH_KEY, true); includeDay = p.getBoolean(INC_DAY_KEY, false); useCounter = p.getBoolean(INC_DOCUMENT_COUNTER, true); }
private void restore() { Preferences p = getPreferences(); baseURI = URI.create(p.getString(BASE_URI_KEY, baseURI.toString())); includeYear = p.getBoolean(INC_YEAR_KEY, true); includeMonth = p.getBoolean(INC_MONTH_KEY, true); includeDay = p.getBoolean(INC_DAY_KEY, false); useCounter = p.getBoolean(INC_DOCUMENT_COUNTER, true); }
public ElkPreferences load() { Preferences prefs = getPrefs(); numberOfWorkers = prefs.getInt(NUMBER_OF_WORKERS_KEY, defaultNumberOfWorkers_); incrementalMode = prefs.getBoolean(INCREMENTAL_MODE_KEY, defaultIncrementalMode_); autoSynchronization = prefs.getBoolean(AUTO_SYNCRHONIZATION_KEY, defaultAutoSynchronization_); inlineInferences = prefs.getBoolean(INLINE_INFERENCES_KEY, defaultInlineInferences_); return this; }
public void load(Preferences prefs) { required.clear(); disallowed.clear(); for (InferenceType type : InferenceType.values()) { if (prefs.getBoolean(getRequiredInferenceName(type), false)) { required.add(type); } if (prefs.getBoolean(getDisallowedInferenceName(type), false)) { disallowed.add(type); } } }
public void load(Preferences prefs) { required.clear(); disallowed.clear(); for (InferenceType type : InferenceType.values()) { if (prefs.getBoolean(getRequiredInferenceName(type), false)) { required.add(type); } if (prefs.getBoolean(getDisallowedInferenceName(type), false)) { disallowed.add(type); } } }
private void load() { Preferences prefs = getPreferences(); useExpressionCompletion = prefs.getBoolean(USE_EXPRESSION_COMPLETION_KEY, true); checkDelay = prefs.getInt(CHECK_DELAY_KEY, 120); }
private void load() { Preferences prefs = getPreferences(); useRegularExpressions = prefs.getBoolean(USE_REGULAR_EXPRESSIONS_KEY, false); searchDelay = prefs.getLong(SEARCH_DELAY_KEY, 500); }
private void load() { Preferences prefs = getPreferences(); useExpressionCompletion = prefs.getBoolean(USE_EXPRESSION_COMPLETION_KEY, true); checkDelay = prefs.getInt(CHECK_DELAY_KEY, 120); }
private void load() { Preferences prefs = getPreferences(); useExpressionCompletion = prefs.getBoolean(USE_EXPRESSION_COMPLETION_KEY, true); checkDelay = prefs.getInt(CHECK_DELAY_KEY, 500); }
public void load(ReasonerPreferences p) { Preferences prefs = ReasonerPreferences.getPreferences(); showInferences = prefs.getBoolean(SHOW_INFERENCES_KEY, true); enabled.clear(); for (OptionalInferenceTask task : OptionalInferenceTask.values()) { if (prefs.getBoolean(task.getKey(), task.getEnabledByDefault())) { enabled.add(task); } } registerPrecomputedInferenceTypes(p); }
public void load(ReasonerPreferences p) { Preferences prefs = ReasonerPreferences.getPreferences(); showInferences = prefs.getBoolean(SHOW_INFERENCES_KEY, true); enabled.clear(); for (OptionalInferenceTask task : OptionalInferenceTask.values()) { if (prefs.getBoolean(task.getKey(), task.getEnabledByDefault())) { enabled.add(task); } } registerPrecomputedInferenceTypes(p); }
public void initialise() throws Exception { setLayout(new BoxLayout(this, BoxLayout.PAGE_AXIS)); writeTemporaryFilesCheckBox = new JCheckBox("Write temporary files when saving"); writeTemporaryFilesCheckBox.setSelected(getFilePrefs().getBoolean(UIUtil.ENABLE_TEMP_DIRECTORIES_KEY, true)); JComponent xmlWriterPanel = createPane("XML Writer", BoxLayout.PAGE_AXIS); useXMLEntitiesCheckBox = new JCheckBox("Use XML Entities"); useXMLEntitiesCheckBox.setSelected(XMLWriterPrefs.getInstance().isUseEntities()); xmlWriterPanel.add(useXMLEntitiesCheckBox); add(writeTemporaryFilesCheckBox); add(Box.createVerticalStrut(VERTICAL_SPACE)); add(xmlWriterPanel); }
public void initialise() throws Exception { setLayout(new BoxLayout(this, BoxLayout.PAGE_AXIS)); writeTemporaryFilesCheckBox = new JCheckBox("Write temporary files when saving"); writeTemporaryFilesCheckBox.setSelected(getFilePrefs().getBoolean(UIUtil.ENABLE_TEMP_DIRECTORIES_KEY, true)); JComponent xmlWriterPanel = createPane("XML Writer", BoxLayout.PAGE_AXIS); useXMLEntitiesCheckBox = new JCheckBox("Use XML Entities"); useXMLEntitiesCheckBox.setSelected(XMLWriterPrefs.getInstance().isUseEntities()); xmlWriterPanel.add(useXMLEntitiesCheckBox); add(writeTemporaryFilesCheckBox); add(Box.createVerticalStrut(VERTICAL_SPACE)); add(xmlWriterPanel); }
private Component getDialogParent() { // @@TODO move prefs somewhere more central Preferences prefs = PreferencesManager.getInstance().getApplicationPreferences(ProtegeApplication.ID); return prefs.getBoolean(GeneralPreferencesPanel.DIALOGS_ALWAYS_CENTRED, false) ? SwingUtilities.getAncestorOfClass(Frame.class, getParent()) : getParent(); }
private Component getDialogParent() { // @@TODO move prefs somewhere more central Preferences prefs = PreferencesManager.getInstance().getApplicationPreferences(ProtegeApplication.ID); return prefs.getBoolean(GeneralPreferencesPanel.DIALOGS_ALWAYS_CENTRED, false) ? SwingUtilities.getAncestorOfClass(Frame.class, getParent()) : getParent(); }