OSDN Git Service

SDK Manager: refresh sources when HTTP/S pref is changed.
authorRaphael <raphael@google.com>
Fri, 6 Nov 2009 23:18:57 +0000 (15:18 -0800)
committerRaphael <raphael@google.com>
Fri, 6 Nov 2009 23:18:57 +0000 (15:18 -0800)
commit22829a670c23c886635d6568863653adcbbc81a2
tree8b5c696ca1d20def34979c7f39d891a7a63963c4
parentf570c5655b514aa7c01fded26a23471e7909f211
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