Searched refs:getDefaultPreferences (Results 1 – 7 of 7) sorted by relevance
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.runtime/bundles/org.eclipse.core.runtime/src/org/eclipse/core/internal/preferences/legacy/ |
| H A D | PreferenceForwarder.java | 135 private IEclipsePreferences getDefaultPreferences() { in getDefaultPreferences() method in PreferenceForwarder
165 IEclipsePreferences defaults = getDefaultPreferences(); in getDefault()
200 return getDefaultPreferences().get(name, null) != null; in contains()
287 getDefaultPreferences().putBoolean(name, value); in setDefault()
381 getDefaultPreferences().putDouble(name, value); in setDefault()
475 getDefaultPreferences().putFloat(name, value); in setDefault()
543 return getDefaultPreferences().getInt(name, INT_DEFAULT_DEFAULT); in getDefaultInt()
563 getDefaultPreferences().putInt(name, value); in setDefault()
651 getDefaultPreferences().putLong(name, value); in setDefault()
740 getDefaultPreferences().put(name, value); in setDefault()
[all …]
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/preferences/ |
| H A D | ScopedPreferenceStore.java | 189 IEclipsePreferences defaults = getDefaultPreferences();
221 private IEclipsePreferences getDefaultPreferences() {
266 preferences[length - 1] = getDefaultPreferences();
354 return getDefaultPreferences().getInt(name, INT_DEFAULT_DEFAULT);
364 return getDefaultPreferences().get(name, STRING_DEFAULT_DEFAULT);
473 getDefaultPreferences().putDouble(name, value);
478 getDefaultPreferences().putFloat(name, value);
483 getDefaultPreferences().putInt(name, value);
488 getDefaultPreferences().putLong(name, value);
493 getDefaultPreferences().put(name, defaultObject);
[all …]
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.team/bundles/org.eclipse.team.cvs.ui/src/org/eclipse/team/internal/ccvs/ui/repo/ |
| H A D | RepositoryEncodingPropertyPage.java | 310 CVSRepositoryLocation.getDefaultPreferences()); in getLocationPreferenceStore()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core.tests.model/src/org/eclipse/jdt/core/tests/model/ |
| H A D | OptionTests.java | 614 IEclipsePreferences preferences = manager.getDefaultPreferences(); in testBug100393b()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.team/bundles/org.eclipse.team.cvs.core/src/org/eclipse/team/internal/ccvs/core/connection/ |
| H A D | CVSRepositoryLocation.java | 157 public static Preferences getDefaultPreferences() { in getDefaultPreferences() method in CVSRepositoryLocation
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/ |
| H A D | JavaModelManager.java | 2231 IEclipsePreferences defaultPreferences = getDefaultPreferences(); in getDefaultOptions()
2251 public IEclipsePreferences getDefaultPreferences() { in getDefaultPreferences() method in JavaModelManager
3650 loadVariablesAndContainers(getDefaultPreferences()); in loadVariablesAndContainers()
4481 IEclipsePreferences defaultPreferences = getDefaultPreferences(); in save()
5306 IEclipsePreferences defaultPreferences = getDefaultPreferences(); in setOptions()
|
| /dports/www/gitea/gitea-1.16.5/public/vendor/plugins/pdfjs/web/ |
| H A D | viewer.js.map | 1 …getDefaultPreferences() {\n if (!defaultPreferences) {\n if (typeof PDFJSDev !== 'undefined' &…
|