core/com.nokia.carbide.cpp.sdk.ui/src/com/nokia/carbide/cpp/internal/sdk/ui/SDKPreferencePage.java
changeset 743 78fd666a897a
parent 608 d2a651a847a5
child 1350 653fc45456c4
--- a/core/com.nokia.carbide.cpp.sdk.ui/src/com/nokia/carbide/cpp/internal/sdk/ui/SDKPreferencePage.java	Tue Jan 05 11:22:47 2010 -0600
+++ b/core/com.nokia.carbide.cpp.sdk.ui/src/com/nokia/carbide/cpp/internal/sdk/ui/SDKPreferencePage.java	Tue Jan 05 11:23:50 2010 -0600
@@ -33,6 +33,7 @@
 import org.eclipse.swt.widgets.*;
 import org.eclipse.ui.*;
 
+import com.nokia.carbide.cpp.internal.api.sdk.SymbianBuildContextDataCache;
 import com.nokia.carbide.cpp.internal.sdk.core.model.SDKManager;
 import com.nokia.carbide.cpp.sdk.core.*;
 import com.nokia.carbide.cpp.sdk.ui.SDKUIPlugin;
@@ -370,6 +371,8 @@
 			if (sdkPropDlg.open() == SDKPropertiesDialog.OK){
 				sdkListTableViewer.refresh();
 				setSelectedSDKInfoText(sdk);
+				// forcible rescan; dump cache
+				SymbianBuildContextDataCache.refreshForSDKs(new ISymbianSDK[] { sdk });
 				rescanSDKs(false);
 			}
 		} else {
@@ -405,6 +408,8 @@
 	}
 	
 	private void rescanNowButtonAction(){
+		// forcible rescan; dump cache
+		SymbianBuildContextDataCache.refreshForSDKs(null);
 		rescanSDKs(true);
 	}