Changeset 427

Timestamp:

08/03/08 11:01:51 (16 years ago)

Author:

gkronber

Message:

fixed a minor GUI bug. (ticket #225)

File:

• trunk/sources/HeuristicLab.Functions/FunctionView.Designer.cs (modified) (2 diffs)

trunk/sources/HeuristicLab.Functions/FunctionView.Designer.cs

@@ -155 +155 @@
       // editButton
       // 
+      this.editButton.Enabled = false;
       this.editButton.Location = new System.Drawing.Point(301, 5);
       this.editButton.Name = "editButton";
@@ -168 +169 @@
             this.copyToClipboardMenuItem});
       this.treeNodeContextMenu.Name = "treeNodeContextMenu";
-      this.treeNodeContextMenu.Size = new System.Drawing.Size(259, 26);
+      this.treeNodeContextMenu.Size = new System.Drawing.Size(248, 26);
       // 
       // copyToClipboardMenuItem
       // 
       this.copyToClipboardMenuItem.Name = "copyToClipboardMenuItem";
-      this.copyToClipboardMenuItem.Size = new System.Drawing.Size(258, 22);
+      this.copyToClipboardMenuItem.Size = new System.Drawing.Size(247, 22);
       this.copyToClipboardMenuItem.Text = "Copy to clip-board (Model-Analyzer)";
       this.copyToClipboardMenuItem.Click += new System.EventHandler(this.copyToClipboardMenuItem_Click);