core/com.nokia.carbide.cpp.sdk.ui/src/com/nokia/carbide/cpp/sdk/ui/SDKUIPlugin.java
changeset 2003 576284888c71
parent 1994 e9be28ae423a
child 2034 8ca82bbe1973
equal deleted inserted replaced
2002:e9a2c2c218b4 2003:576284888c71
    59 	 * (non-Javadoc)
    59 	 * (non-Javadoc)
    60 	 * @see org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext)
    60 	 * @see org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext)
    61 	 */
    61 	 */
    62 	public void start(BundleContext context) throws Exception {
    62 	public void start(BundleContext context) throws Exception {
    63 		super.start(context);
    63 		super.start(context);
    64 		NewPluginChecker.checkForNewlyInstalledPlugins(getWorkbench());
    64 		IPreferenceStore prefsStore = SDKUIPlugin.getDefault().getPreferenceStore();
       
    65 		if (prefsStore.getBoolean(SDKUIPreferenceConstants.SCAN_FOR_NEW_PLUGINS)) {
       
    66 			NewPluginChecker.checkForNewlyInstalledPlugins(getWorkbench());
       
    67 		}
    65 		
    68 		
    66 		ISDKManager sdkMgr = SDKCorePlugin.getSDKManager();
    69 		ISDKManager sdkMgr = SDKCorePlugin.getSDKManager();
    67 		if (HostOS.IS_WIN32){
    70 		if (HostOS.IS_WIN32){
    68 			((SDKManager)sdkMgr).setPlatformList(SBSv1PlatformFilterComposite.getPlatFilterPrefsStore());
    71 			((SDKManager)sdkMgr).setPlatformList(SBSv1PlatformFilterComposite.getPlatFilterPrefsStore());
    69 		}
    72 		}