[Desc.]* If you delete extension repository in 'Extra Repository' dialog.** remove installed packages and remove package name in tree.
[Issue]
Change-Id: Ie190f169e911c3e3073f99048f56083cafba4242
private void uninstallExtraPackages(String repo) {
boolean result = false;
- PackageSet pkgs = PackageManager.getInstance().getExtensionPackages();
+ //Get installed extension packages.
+ PackageSet pkgs = PackageManager.getInstance().getInstalledExtensionPackages();
+ //Compare with the installed repository.
List<String> installedExtraList = new ArrayList<String>();
for (Package pkg : pkgs) {
if (pkg.getExtensionServer().equalsIgnoreCase(repo)) {
getRepositoryAndPackageList(SDKExtensionInfo.getInstance().getExtensionRepositories().keySet(),
Style.EXTRA);
- if (repoToSectionsMap != null && !repoToSectionsMap.isEmpty()) {
-
+ //Update extension packages.
+ if (repoToSectionsMap != null) {
setExtensionPackages(repoToSectionsMap);
setExtensionPackagesToRecentPackages();
} else {