mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-07 17:56:01 +02:00
Code Issues Wiki Activity

Turned off background type cache for now by setting the CCorePlugin default to false

Browse source
This commit is contained in:
Bogdan Gheorghe 2004-06-15 13:41:13 +00:00
parent b4fd69965f
commit abaf42acdf
2 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
core/org.eclipse.cdt.ui/ChangeLog
View file

@ -1,3 +1,8 @@
2004-06-15 Bogdan Gheorghe
Disable background type cache on startup for now
* src/org/eclipse/cdt/internal/ui/preferences/WorkInProgressPreferencePage.java
2004-06-14 Bogdan Gheorghe 2004-06-14 Bogdan Gheorghe
Fix for Bug 66748: Fixed in head - we now add a _cdtsrchlink_ label to all Fix for Bug 66748: Fixed in head - we now add a _cdtsrchlink_ label to all
imports brought in by search and ensure that we don't delete any local files. imports brought in by search and ensure that we don't delete any local files.

6
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/WorkInProgressPreferencePage.java
View file

@ -181,6 +181,12 @@ public class WorkInProgressPreferencePage extends PreferencePage
*/ */
public static void initDefaults(IPreferenceStore store) { public static void initDefaults(IPreferenceStore store) {
store.setDefault(AllTypesCache.ENABLE_BACKGROUND_TYPE_CACHE, false); store.setDefault(AllTypesCache.ENABLE_BACKGROUND_TYPE_CACHE, false);
Preferences prefs = CCorePlugin.getDefault().getPluginPreferences();
if (prefs != null){
prefs.setValue(AllTypesCache.ENABLE_BACKGROUND_TYPE_CACHE, store.getString(AllTypesCache.ENABLE_BACKGROUND_TYPE_CACHE));
CCorePlugin.getDefault().savePluginPreferences();
}
} }
/* /*