Changeset 3112 for trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/RemotePluginInstaller.Designer.cs

Timestamp:

03/19/10 11:46:07 (14 years ago)

Author:

gkronber

Message:

• Added missing license headers
• performance improvement in listview_itemchecked handlers
• added functionality to switch between simple and advanced view in remote plugins view
• changed url of deployment service in preparation for next release of the test version
• added default user credentials for the deployment service in preparation for the next release of the test version

#891 (Refactor GUI for plugin management)

File:

• trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/RemotePluginInstaller.Designer.cs (modified) (6 diffs)

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

@@ -53 +53 @@
       this.versionHeader = new System.Windows.Forms.ColumnHeader();
       this.descriptionHeader = new System.Windows.Forms.ColumnHeader();
+      this.radioButton1 = new System.Windows.Forms.RadioButton();
+      this.advancedViewButton = new System.Windows.Forms.RadioButton();
+      this.simpleViewButton = new System.Windows.Forms.RadioButton();
+      this.viewButtonGroupBox = new System.Windows.Forms.GroupBox();
+      this.viewButtonGroupBox.SuspendLayout();
       this.SuspendLayout();
       // 
@@ -63 +68 @@
       // remotePluginsListView
       // 
+      this.remotePluginsListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
+                  | System.Windows.Forms.AnchorStyles.Left)
+                  | System.Windows.Forms.AnchorStyles.Right)));
       this.remotePluginsListView.CheckBoxes = true;
       this.remotePluginsListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
@@ -68 +76 @@
             this.versionHeader,
             this.descriptionHeader});
-      this.remotePluginsListView.Dock = System.Windows.Forms.DockStyle.Fill;
       listViewGroup1.Header = "Products";
       listViewGroup1.Name = "productsGroup";
@@ -79 +86 @@
             listViewGroup2,
             listViewGroup3});
-      this.remotePluginsListView.Location = new System.Drawing.Point(0, 0);
+      this.remotePluginsListView.Location = new System.Drawing.Point(0, 50);
       this.remotePluginsListView.Name = "remotePluginsListView";
-      this.remotePluginsListView.Size = new System.Drawing.Size(533, 558);
+      this.remotePluginsListView.Size = new System.Drawing.Size(533, 508);
       this.remotePluginsListView.StateImageList = this.imageListForRemoteItems;
       this.remotePluginsListView.SuppressItemCheckedEvents = false;
@@ -104 +111 @@
       this.descriptionHeader.Width = 250;
       // 
+      // radioButton1
+      // 
+      this.radioButton1.AutoSize = true;
+      this.radioButton1.Location = new System.Drawing.Point(-15, -15);
+      this.radioButton1.Name = "radioButton1";
+      this.radioButton1.Size = new System.Drawing.Size(85, 17);
+      this.radioButton1.TabIndex = 2;
+      this.radioButton1.TabStop = true;
+      this.radioButton1.Text = "radioButton1";
+      this.radioButton1.UseVisualStyleBackColor = true;
+      // 
+      // advancedViewButton
+      // 
+      this.advancedViewButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
+                  | System.Windows.Forms.AnchorStyles.Left)));
+      this.advancedViewButton.Appearance = System.Windows.Forms.Appearance.Button;
+      this.advancedViewButton.AutoSize = true;
+      this.advancedViewButton.Location = new System.Drawing.Point(104, 9);
+      this.advancedViewButton.Name = "advancedViewButton";
+      this.advancedViewButton.Size = new System.Drawing.Size(92, 23);
+      this.advancedViewButton.TabIndex = 3;
+      this.advancedViewButton.Text = "Advanced View";
+      this.advancedViewButton.UseVisualStyleBackColor = true;
+      this.advancedViewButton.CheckedChanged += new System.EventHandler(this.advancedViewButton_CheckedChanged);
+      // 
+      // simpleViewButton
+      // 
+      this.simpleViewButton.Appearance = System.Windows.Forms.Appearance.Button;
+      this.simpleViewButton.Checked = true;
+      this.simpleViewButton.Location = new System.Drawing.Point(6, 9);
+      this.simpleViewButton.Name = "simpleViewButton";
+      this.simpleViewButton.Size = new System.Drawing.Size(92, 23);
+      this.simpleViewButton.TabIndex = 3;
+      this.simpleViewButton.TabStop = true;
+      this.simpleViewButton.Text = "Simple View";
+      this.simpleViewButton.TextAlign = System.Drawing.ContentAlignment.MiddleCenter;
+      this.simpleViewButton.UseVisualStyleBackColor = true;
+      this.simpleViewButton.CheckedChanged += new System.EventHandler(this.advancedViewButton_CheckedChanged);
+      // 
+      // viewButtonGroupBox
+      // 
+      this.viewButtonGroupBox.Controls.Add(this.advancedViewButton);
+      this.viewButtonGroupBox.Controls.Add(this.simpleViewButton);
+      this.viewButtonGroupBox.Location = new System.Drawing.Point(3, 8);
+      this.viewButtonGroupBox.Name = "viewButtonGroupBox";
+      this.viewButtonGroupBox.Size = new System.Drawing.Size(204, 36);
+      this.viewButtonGroupBox.TabIndex = 5;
+      this.viewButtonGroupBox.TabStop = false;
+      // 
       // RemotePluginInstaller
       // 
       this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
       this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
+      this.Controls.Add(this.viewButtonGroupBox);
+      this.Controls.Add(this.radioButton1);
       this.Controls.Add(this.remotePluginsListView);
       this.Name = "RemotePluginInstaller";
       this.Size = new System.Drawing.Size(533, 558);
+      this.viewButtonGroupBox.ResumeLayout(false);
+      this.viewButtonGroupBox.PerformLayout();
       this.ResumeLayout(false);
+      this.PerformLayout();
 
     }
@@ -122 +183 @@
     private System.Windows.Forms.ColumnHeader versionHeader;
     private System.Windows.Forms.ColumnHeader descriptionHeader;
+    private System.Windows.Forms.RadioButton radioButton1;
+    private System.Windows.Forms.RadioButton advancedViewButton;
+    private System.Windows.Forms.RadioButton simpleViewButton;
+    private System.Windows.Forms.GroupBox viewButtonGroupBox;
   }
 }