Changeset 13363 for branches/RefactorPluginInfrastructure-2522/HeuristicLab.PluginInfrastructure.UI/PluginInformationDialog.Designer.cs

Timestamp:

11/24/15 16:34:17 (9 years ago)

Author:

gkronber

Message:

#2522: improvements to new PluginInformationDialog and removed obsolete classes

File:

• branches/RefactorPluginInfrastructure-2522/HeuristicLab.PluginInfrastructure.UI/PluginInformationDialog.Designer.cs (modified) (5 diffs)

branches/RefactorPluginInfrastructure-2522/HeuristicLab.PluginInfrastructure.UI/PluginInformationDialog.Designer.cs

@@ -65 +65 @@
       this.label = new System.Windows.Forms.Label();
       this.panel2 = new System.Windows.Forms.Panel();
+      this.stateTextBox = new System.Windows.Forms.TextBox();
+      this.label5 = new System.Windows.Forms.Label();
       this.panel1.SuspendLayout();
       this.panel2.SuspendLayout();
@@ -158 +160 @@
       this.textBox.BackColor = System.Drawing.SystemColors.HighlightText;
       this.textBox.BorderStyle = System.Windows.Forms.BorderStyle.None;
-      this.textBox.Location = new System.Drawing.Point(6, 98);
+      this.textBox.Location = new System.Drawing.Point(6, 117);
       this.textBox.Name = "textBox";
       this.textBox.ReadOnly = true;
       this.textBox.ScrollBars = System.Windows.Forms.RichTextBoxScrollBars.Vertical;
-      this.textBox.Size = new System.Drawing.Size(526, 394);
+      this.textBox.Size = new System.Drawing.Size(526, 375);
       this.textBox.TabIndex = 11;
       this.textBox.Text = "Files and License Text";
       this.textBox.LinkClicked += new System.Windows.Forms.LinkClickedEventHandler(this.licenseTextBox_LinkClicked);
       this.textBox.MouseClick += new System.Windows.Forms.MouseEventHandler(this.textBox_MouseClick);
+      this.textBox.MouseLeave += new System.EventHandler(this.textBox_MouseLeave);
+      this.textBox.MouseMove += new System.Windows.Forms.MouseEventHandler(this.textBox_MouseMove);
       // 
       // label2
@@ -267 +271 @@
             | System.Windows.Forms.AnchorStyles.Left) 
             | System.Windows.Forms.AnchorStyles.Right)));
+      this.panel2.Controls.Add(this.stateTextBox);
+      this.panel2.Controls.Add(this.label5);
       this.panel2.Controls.Add(this.contactTextBox);
       this.panel2.Controls.Add(this.mailLinkLabel);
@@ -282 +288 @@
       this.panel2.Size = new System.Drawing.Size(554, 495);
       this.panel2.TabIndex = 13;
+      // 
+      // stateTextBox
+      // 
+      this.stateTextBox.BackColor = System.Drawing.SystemColors.HighlightText;
+      this.stateTextBox.BorderStyle = System.Windows.Forms.BorderStyle.None;
+      this.stateTextBox.Location = new System.Drawing.Point(87, 98);
+      this.stateTextBox.Name = "stateTextBox";
+      this.stateTextBox.ReadOnly = true;
+      this.stateTextBox.Size = new System.Drawing.Size(355, 13);
+      this.stateTextBox.TabIndex = 13;
+      this.stateTextBox.Text = "Enabled/Disabled";
+      // 
+      // label5
+      // 
+      this.label5.AutoSize = true;
+      this.label5.Location = new System.Drawing.Point(3, 98);
+      this.label5.Margin = new System.Windows.Forms.Padding(3);
+      this.label5.Name = "label5";
+      this.label5.Size = new System.Drawing.Size(35, 13);
+      this.label5.TabIndex = 12;
+      this.label5.Text = "State:";
       // 
       // PluginInformationDialog
@@ -327 +354 @@
     private System.Windows.Forms.Label label;
     private System.Windows.Forms.Panel panel2;
+    private System.Windows.Forms.TextBox stateTextBox;
+    private System.Windows.Forms.Label label5;
   }
 }