Changeset 3624 for trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/LocalPluginsView.cs

Timestamp:

05/05/10 10:38:19 (15 years ago)

Author:

gkronber

Message:

Implemented changes in plugin infrastructure requested by reviewers. #989 (Implement review comments in plugin infrastructure)

File:

• trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/LocalPluginsView.cs (modified) (4 diffs)

trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/LocalPluginsView.cs

@@ -101 +101 @@
           "There was an error while connecting to the server." + Environment.NewLine +
            "Please check your connection settings and user credentials.");
-      } else if (e.Cancelled) {
-        StatusView.ShowMessage(NoUpdatesAvailableMessage);
       }
       StatusView.RemoveMessage(CheckingPluginsMessage);
@@ -124 +122 @@
       if (pluginsToUpdate.Count() > 0) {
         installationManager.Update(pluginsToUpdate);
-        pluginManager.DiscoverAndCheckPlugins();
-        e.Cancel = false;
-      } else {
-        e.Cancel = true;
-      }
+      }
+      pluginManager.DiscoverAndCheckPlugins();
     }
 
@@ -156 +151 @@
       removeButton.Enabled = localPluginsListView.CheckedItems.Count > 0;
       updateSelectedButton.Enabled = localPluginsListView.CheckedItems.Count > 0;
-      foreach (ColumnHeader column in localPluginsListView.Columns) {
-        if (localPluginsListView.Items.Count > 0)
-          column.AutoResize(ColumnHeaderAutoResizeStyle.ColumnContent);
-        else column.AutoResize(ColumnHeaderAutoResizeStyle.HeaderSize);
-      }
+      Util.ResizeColumns(localPluginsListView.Columns.OfType<ColumnHeader>());
     }
 
@@ -239 +230 @@
       removePluginsBackgroundWorker.RunWorkerAsync(checkedPlugins);
     }
+
+    private void refreshButton_Click(object sender, EventArgs e) {
+      StatusView.LockUI();
+      StatusView.ShowProgressIndicator();
+      // refresh = update empty list of plugins (plugins are reloaded)
+      updatePluginsBackgroundWorker.RunWorkerAsync(new IPluginDescription[0]);
+    }
   }
 }