setViewPackageList();
}
public void onPackageStatusChanged(PackageStatusChangedEvent event)
{
PackageStatus status = event.getPackageStatus();
view_.setPackageStatus(status);
// also update the list of allPackages_
for (int i = 0; i<allPackages_.size(); i++)
{
PackageInfo packageInfo = allPackages_.get(i);
if (packageInfo.getName().equals(status.getName()) &&
packageInfo.getLibrary().equals(status.getLib()))
{
allPackages_.set(i, status.isLoaded() ? packageInfo.asLoaded() :
packageInfo.asUnloaded());
}
}
}