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

Timestamp:

05/04/10 16:37:10 (14 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.Designer.cs (modified) (4 diffs)

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

@@ -54 +54 @@
       this.descriptionHeader = new System.Windows.Forms.ColumnHeader();
       this.toolTip = new System.Windows.Forms.ToolTip(this.components);
+      this.pluginImageList = new System.Windows.Forms.ImageList(this.components);
       this.SuspendLayout();
       // 
@@ -99 +100 @@
       this.listView.Name = "listView";
       this.listView.Size = new System.Drawing.Size(539, 476);
+      this.listView.SmallImageList = this.pluginImageList;
       this.listView.SuppressItemCheckedEvents = false;
       this.listView.TabIndex = 8;
@@ -126 +128 @@
       this.descriptionHeader.Width = 335;
       // 
+      // pluginImageList
+      // 
+      this.pluginImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
+      this.pluginImageList.ImageSize = new System.Drawing.Size(16, 16);
+      this.pluginImageList.TransparentColor = System.Drawing.Color.Transparent;
+      // 
       // PluginEditor
       // 
@@ -149 +157 @@
     private System.Windows.Forms.ColumnHeader descriptionHeader;
     private System.Windows.Forms.ToolTip toolTip;
+    private System.Windows.Forms.ImageList pluginImageList;
   }
 }