From 83429ec6975765b5db14a5e9f7c37d8cc359793c Mon Sep 17 00:00:00 2001 From: Raphael Date: Fri, 6 Nov 2009 15:18:57 -0800 Subject: [PATCH] SDK Manager: refresh sources when HTTP/S pref is changed. Currently you need to use the Refresh button in the remote page after you change the HTTP/s setting and many users think instead they need to close/restart the SDK manager. Change-Id: Ic291d53459624558910bbc417295df5ddc7b037d --- .../android/sdkuilib/internal/repository/SettingsController.java | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/internal/repository/SettingsController.java b/sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/internal/repository/SettingsController.java index fe94d860e..7c793e4ce 100755 --- a/sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/internal/repository/SettingsController.java +++ b/sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/internal/repository/SettingsController.java @@ -21,8 +21,6 @@ import com.android.prefs.AndroidLocation.AndroidLocationException; import com.android.sdklib.ISdkLog; import org.eclipse.jface.dialogs.MessageDialog; -import org.eclipse.swt.widgets.Display; -import org.eclipse.swt.widgets.Shell; import java.io.File; import java.io.FileInputStream; @@ -248,6 +246,10 @@ public class SettingsController { mSettingsPage.retrieveSettings(mProperties); applySettings(); saveSettings(); + + // In case the HTTP/HTTPS setting change, force sources to be reloaded + // (this only refreshes sources that the user has already tried to open.) + mUpdaterData.refreshSources(false /*forceFetching*/); } /** -- 2.11.0