Changeset 3608 for trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/LocalPluginsView.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/LocalPluginsView.Designer.cs (modified) (4 diffs)

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

@@ -55 +55 @@
       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();
       // 
@@ -107 +108 @@
       this.localPluginsListView.Name = "localPluginsListView";
       this.localPluginsListView.Size = new System.Drawing.Size(539, 477);
+      this.localPluginsListView.SmallImageList = this.pluginImageList;
       this.localPluginsListView.SuppressItemCheckedEvents = false;
       this.localPluginsListView.TabIndex = 13;
@@ -128 +130 @@
       this.descriptionHeader.Text = "Description";
       this.descriptionHeader.Width = 245;
+      // 
+      // 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;
       // 
       // LocalPluginsView
@@ -151 +159 @@
     private System.Windows.Forms.ColumnHeader descriptionHeader;
     private System.Windows.Forms.ToolTip toolTip;
+    private System.Windows.Forms.ImageList pluginImageList;
     // private LocalPluginManagerView localPluginManagerView;
   }