Changeset 3624 for trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/PluginView.Designer.cs

Timestamp:

05/05/10 10:38:19 (14 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/PluginView.Designer.cs (modified) (6 diffs)

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

@@ -57 +57 @@
       this.pluginNameHeader = new System.Windows.Forms.ColumnHeader();
       this.pluginVersionHeader = new System.Windows.Forms.ColumnHeader();
+      this.pluginDescriptionHeader = new System.Windows.Forms.ColumnHeader();
       this.pluginsImageList = new System.Windows.Forms.ImageList(this.components);
       this.filesListView = new System.Windows.Forms.ListView();
@@ -69 +70 @@
       this.descriptionTextBox = new System.Windows.Forms.TextBox();
       this.errorTextBox = new System.Windows.Forms.TextBox();
-      this.pluginDescriptionHeader = new System.Windows.Forms.ColumnHeader();
       this.dependenciesGroupBox.SuspendLayout();
       this.filesGroupBox.SuspendLayout();
@@ -166 +166 @@
       this.dependenciesListView.Size = new System.Drawing.Size(657, 210);
       this.dependenciesListView.SmallImageList = this.pluginsImageList;
+      this.dependenciesListView.Sorting = System.Windows.Forms.SortOrder.Ascending;
       this.dependenciesListView.TabIndex = 0;
       this.dependenciesListView.UseCompatibleStateImageBehavior = false;
@@ -180 +181 @@
       this.pluginVersionHeader.Text = "Version";
       this.pluginVersionHeader.Width = 120;
+      // 
+      // pluginDescriptionHeader
+      // 
+      this.pluginDescriptionHeader.Text = "Description";
+      this.pluginDescriptionHeader.Width = 325;
       // 
       // pluginsImageList
@@ -271 +277 @@
                   | System.Windows.Forms.AnchorStyles.Right)));
       this.descriptionTextBox.Location = new System.Drawing.Point(78, 90);
+      this.descriptionTextBox.Multiline = true;
       this.descriptionTextBox.Name = "descriptionTextBox";
       this.descriptionTextBox.ReadOnly = true;
@@ -281 +288 @@
                   | System.Windows.Forms.AnchorStyles.Right)));
       this.errorTextBox.Location = new System.Drawing.Point(78, 142);
+      this.errorTextBox.Multiline = true;
       this.errorTextBox.Name = "errorTextBox";
       this.errorTextBox.ReadOnly = true;
       this.errorTextBox.Size = new System.Drawing.Size(594, 20);
       this.errorTextBox.TabIndex = 21;
-      // 
-      // pluginDescriptionHeader
-      // 
-      this.pluginDescriptionHeader.Text = "Description";
-      this.pluginDescriptionHeader.Width = 325;
       // 
       // PluginView