| commit | 3e9f34498a14b596b34ca75b45443c336697c309 | [log] [tgz] |
|---|---|---|
| author | Raphael <raphael@google.com> | Fri Nov 06 15:18:57 2009 -0800 |
| committer | Raphael <raphael@google.com> | Fri Nov 06 15:18:57 2009 -0800 |
| tree | 6622341701c5bc5ba9ce1980ae4d67d0ecb4a83f | |
| parent | 7f305ce77069cf8432374f12392a3ce3a476bdce [diff] |
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