Changeset 3608 for trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/PluginEditor.cs

Timestamp:

05/04/10 16:37:10 (15 years ago)

Author:

gkronber

Message:

Changed plugin manager GUI as suggested by reviewers. #989 (Implement review comments in plugin infrastructure)

File:

• trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/PluginEditor.cs (modified) (2 diffs)

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

@@ -42 +42 @@
     public PluginManager PluginManager {
       get { return pluginManager; }
-      set {
-        // if (value == null) throw new ArgumentNullException();
-        pluginManager = value;
-      }
+      set { pluginManager = value; }
     }
 
     public PluginEditor() {
       InitializeComponent();
-      // Caption = "Upload Plugins";
-
+      pluginImageList.Images.Add(HeuristicLab.PluginInfrastructure.Resources.Resources.plugin_16);
       localAndServerPlugins = new Dictionary<IPluginDescription, IPluginDescription>();
 
@@ -262 +258 @@
       }
       item.Tag = plugin;
+      item.ImageIndex = 0;
       item.Checked = false;
       return item;