mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Bug 133881 - Make refreshing after building optional

Browse source 
Work in progress.
This commit is contained in:
Chris Recoskie 2011-04-29 18:28:52 +00:00
parent e664c6dc5f
commit 5efd41bb09
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/RefreshScopeManager.java
View file

@ -322,6 +322,8 @@ public class RefreshScopeManager {
} }
public void persistSettings() throws CoreException { public void persistSettings() throws CoreException {
getProjectToResourcesMap();
getResourcesToExclusionsMap();
for(IProject project : fProjectToResourcesMap.keySet()) { for(IProject project : fProjectToResourcesMap.keySet()) {
// serialize all settings for the project to an XML document which we will use to persist // serialize all settings for the project to an XML document which we will use to persist
// the data to a persistent resource property // the data to a persistent resource property