# HG changeset patch # User fturovic # Date 1240502537 18000 # Node ID 15e787510dcf8f0197d7b16cd703d6bb95184365 # Parent bac3606e1ea923ad4a306183d8818dee06fa47af# Parent 9424c44617c93b20f2bd429271aeb26a58325782 removed excess border on splash screen diff -r 9424c44617c9 -r 15e787510dcf core/com.nokia.carbide.cpp.sdk.core/src/com/nokia/carbide/cpp/internal/sdk/core/model/SDKManager.java --- a/core/com.nokia.carbide.cpp.sdk.core/src/com/nokia/carbide/cpp/internal/sdk/core/model/SDKManager.java Thu Apr 23 10:30:44 2009 -0500 +++ b/core/com.nokia.carbide.cpp.sdk.core/src/com/nokia/carbide/cpp/internal/sdk/core/model/SDKManager.java Thu Apr 23 11:02:17 2009 -0500 @@ -164,9 +164,6 @@ } } - // make sure we don't rescan over and over again - hasScannedSDKs = true; - } catch (MalformedURLException e) { e.printStackTrace(); } catch (URISyntaxException e) { @@ -176,6 +173,9 @@ } } + // make sure we don't rescan over and over again + hasScannedSDKs = true; + // tell others about it fireInstalledSdkChanged(SDKChangeEventType.eSDKScanned); scanCarbideSDKCache(); diff -r 9424c44617c9 -r 15e787510dcf core/com.nokia.carbide.cpp.sysdoc.hover/plugin.xml --- a/core/com.nokia.carbide.cpp.sysdoc.hover/plugin.xml Thu Apr 23 10:30:44 2009 -0500 +++ b/core/com.nokia.carbide.cpp.sysdoc.hover/plugin.xml Thu Apr 23 11:02:17 2009 -0500 @@ -52,7 +52,7 @@ class="com.nokia.carbide.cpp.sysdoc.internal.hover.view.DeveloperLibraryView" icon="icons/view.gif" id="com.nokia.carbide.cpp.sysdoc.internal.hover.view.DeveloperLibraryView" - name="Devloper Library"> + name="Developer Library">