Searched refs:projectPreferences (Results 1 – 2 of 2) sorted by relevance
2139 IEclipsePreferences projectPreferences= getEclipsePreferences(); in getOptions() local2142 String[] propertyNames = projectPreferences.keys(); in getOptions()2146 String value = projectPreferences.get(propertyName, null); in getOptions()3453 IEclipsePreferences projectPreferences = getEclipsePreferences();3459 projectPreferences.flush();3472 IEclipsePreferences projectPreferences = getEclipsePreferences();3473 if (projectPreferences == null) return;3476 projectPreferences.clear();3484 javaModelManager.storePreference(key, value, projectPreferences, newOptions);3490 String[] pNames = projectPreferences.keys();[all …]
2327 …Option(String optionName, boolean inheritJavaCoreOptions, IEclipsePreferences projectPreferences) { in getOption() argument2333 if (projectPreferences == null) return javaCoreDefault; in getOption()2334 String value = projectPreferences.get(optionName, javaCoreDefault); in getOption()2338 String oldValue = projectPreferences.get(optionName, null); in getOption()2345 String newValue = projectPreferences.get(compatibleOptions[0], newDefault); in getOption()