Free cookie consent management tool by TermsFeed Policy Generator

source: branches/HL-3.2-MonoMigration/HeuristicLab.Functions/FunctionView.Designer.cs @ 1875

Last change on this file since 1875 was 519, checked in by gkronber, 16 years ago

implemented #259 (BakedFunctionTree should provide an appropriate ToString() method)
File size: 10.2 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2008 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
4 *
5 * This file is part of HeuristicLab.
6 *
7 * HeuristicLab is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11 *
12 * HeuristicLab is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
19 */
20#endregion
21
22using System;
23namespace HeuristicLab.Functions {
24  partial class FunctionTreeView {
25    /// <summary>
26    /// Required designer variable.
27    /// </summary>
28    private System.ComponentModel.IContainer components = null;
29
30    /// <summary>
31    /// Clean up any resources being used.
32    /// </summary>
33    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
34    protected override void Dispose(bool disposing) {
35      if (disposing && (components != null)) {
36        components.Dispose();
37      }
38      if(selectedVariable != null) {
39        selectedVariable.Value.Changed -= new EventHandler(selectedVariable_ValueChanged);
40      }
41      base.Dispose(disposing);
42    }
43
44    #region Component Designer generated code
45
46    /// <summary>
47    /// Required method for Designer support - do not modify
48    /// the contents of this method with the code editor.
49    /// </summary>
50    private void InitializeComponent() {
51      this.components = new System.ComponentModel.Container();
52      this.funTreeView = new System.Windows.Forms.TreeView();
53      this.splitContainer = new System.Windows.Forms.SplitContainer();
54      this.variablesGroupBox = new System.Windows.Forms.GroupBox();
55      this.variablesSplitContainer = new System.Windows.Forms.SplitContainer();
56      this.variablesListBox = new System.Windows.Forms.ListBox();
57      this.label1 = new System.Windows.Forms.Label();
58      this.templateTextBox = new System.Windows.Forms.TextBox();
59      this.editButton = new System.Windows.Forms.Button();
60      this.treeNodeContextMenu = new System.Windows.Forms.ContextMenuStrip(this.components);
61      this.copyToClipboardMenuItem = new System.Windows.Forms.ToolStripMenuItem();
62      this.copyToClipboardSExpressionToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
63      this.splitContainer.Panel1.SuspendLayout();
64      this.splitContainer.Panel2.SuspendLayout();
65      this.splitContainer.SuspendLayout();
66      this.variablesGroupBox.SuspendLayout();
67      this.variablesSplitContainer.Panel1.SuspendLayout();
68      this.variablesSplitContainer.SuspendLayout();
69      this.treeNodeContextMenu.SuspendLayout();
70      this.SuspendLayout();
71      //
72      // funTreeView
73      //
74      this.funTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
75      this.funTreeView.HideSelection = false;
76      this.funTreeView.Location = new System.Drawing.Point(0, 0);
77      this.funTreeView.Name = "funTreeView";
78      this.funTreeView.Size = new System.Drawing.Size(182, 532);
79      this.funTreeView.TabIndex = 0;
80      this.funTreeView.MouseUp += new System.Windows.Forms.MouseEventHandler(this.funTreeView_MouseUp);
81      this.funTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.functionTreeView_AfterSelect);
82      //
83      // splitContainer
84      //
85      this.splitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
86      this.splitContainer.Location = new System.Drawing.Point(0, 0);
87      this.splitContainer.Name = "splitContainer";
88      //
89      // splitContainer.Panel1
90      //
91      this.splitContainer.Panel1.Controls.Add(this.funTreeView);
92      //
93      // splitContainer.Panel2
94      //
95      this.splitContainer.Panel2.Controls.Add(this.variablesGroupBox);
96      this.splitContainer.Panel2.Controls.Add(this.label1);
97      this.splitContainer.Panel2.Controls.Add(this.templateTextBox);
98      this.splitContainer.Panel2.Controls.Add(this.editButton);
99      this.splitContainer.Size = new System.Drawing.Size(735, 532);
100      this.splitContainer.SplitterDistance = 182;
101      this.splitContainer.TabIndex = 1;
102      //
103      // variablesGroupBox
104      //
105      this.variablesGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
106                  | System.Windows.Forms.AnchorStyles.Left)
107                  | System.Windows.Forms.AnchorStyles.Right)));
108      this.variablesGroupBox.Controls.Add(this.variablesSplitContainer);
109      this.variablesGroupBox.Location = new System.Drawing.Point(3, 31);
110      this.variablesGroupBox.Name = "variablesGroupBox";
111      this.variablesGroupBox.Size = new System.Drawing.Size(543, 498);
112      this.variablesGroupBox.TabIndex = 5;
113      this.variablesGroupBox.TabStop = false;
114      this.variablesGroupBox.Text = "Local variables";
115      //
116      // variablesSplitContainer
117      //
118      this.variablesSplitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
119      this.variablesSplitContainer.Location = new System.Drawing.Point(3, 16);
120      this.variablesSplitContainer.Name = "variablesSplitContainer";
121      //
122      // variablesSplitContainer.Panel1
123      //
124      this.variablesSplitContainer.Panel1.Controls.Add(this.variablesListBox);
125      this.variablesSplitContainer.Size = new System.Drawing.Size(537, 479);
126      this.variablesSplitContainer.SplitterDistance = 179;
127      this.variablesSplitContainer.TabIndex = 0;
128      //
129      // variablesListBox
130      //
131      this.variablesListBox.Dock = System.Windows.Forms.DockStyle.Fill;
132      this.variablesListBox.FormattingEnabled = true;
133      this.variablesListBox.Location = new System.Drawing.Point(0, 0);
134      this.variablesListBox.Name = "variablesListBox";
135      this.variablesListBox.Size = new System.Drawing.Size(179, 472);
136      this.variablesListBox.TabIndex = 0;
137      this.variablesListBox.SelectedIndexChanged += new System.EventHandler(this.variablesListBox_SelectedIndexChanged);
138      //
139      // label1
140      //
141      this.label1.AutoSize = true;
142      this.label1.Location = new System.Drawing.Point(3, 10);
143      this.label1.Name = "label1";
144      this.label1.Size = new System.Drawing.Size(96, 13);
145      this.label1.TabIndex = 3;
146      this.label1.Text = "Function definition:";
147      //
148      // templateTextBox
149      //
150      this.templateTextBox.Location = new System.Drawing.Point(105, 7);
151      this.templateTextBox.Name = "templateTextBox";
152      this.templateTextBox.ReadOnly = true;
153      this.templateTextBox.Size = new System.Drawing.Size(190, 20);
154      this.templateTextBox.TabIndex = 2;
155      //
156      // editButton
157      //
158      this.editButton.Enabled = false;
159      this.editButton.Location = new System.Drawing.Point(301, 5);
160      this.editButton.Name = "editButton";
161      this.editButton.Size = new System.Drawing.Size(49, 23);
162      this.editButton.TabIndex = 1;
163      this.editButton.Text = "Edit...";
164      this.editButton.UseVisualStyleBackColor = true;
165      this.editButton.Click += new System.EventHandler(this.editButton_Click);
166      //
167      // treeNodeContextMenu
168      //
169      this.treeNodeContextMenu.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
170            this.copyToClipboardMenuItem,
171            this.copyToClipboardSExpressionToolStripMenuItem});
172      this.treeNodeContextMenu.Name = "treeNodeContextMenu";
173      this.treeNodeContextMenu.Size = new System.Drawing.Size(259, 70);
174      //
175      // copyToClipboardMenuItem
176      //
177      this.copyToClipboardMenuItem.Name = "copyToClipboardMenuItem";
178      this.copyToClipboardMenuItem.Size = new System.Drawing.Size(258, 22);
179      this.copyToClipboardMenuItem.Text = "Copy to clip-board (Model-Analyzer)";
180      this.copyToClipboardMenuItem.Click += new System.EventHandler(this.copyToClipboardMenuItem_Click);
181      //
182      // copyToClipboardSExpressionToolStripMenuItem
183      //
184      this.copyToClipboardSExpressionToolStripMenuItem.Name = "copyToClipboardSExpressionToolStripMenuItem";
185      this.copyToClipboardSExpressionToolStripMenuItem.Size = new System.Drawing.Size(258, 22);
186      this.copyToClipboardSExpressionToolStripMenuItem.Text = "Copy to clip-board (S-Expression)";
187      this.copyToClipboardSExpressionToolStripMenuItem.Click += new System.EventHandler(this.copyToClipboardSExpressionToolStripMenuItem_Click);
188      //
189      // FunctionTreeView
190      //
191      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
192      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
193      this.Controls.Add(this.splitContainer);
194      this.Name = "FunctionTreeView";
195      this.Size = new System.Drawing.Size(735, 532);
196      this.splitContainer.Panel1.ResumeLayout(false);
197      this.splitContainer.Panel2.ResumeLayout(false);
198      this.splitContainer.Panel2.PerformLayout();
199      this.splitContainer.ResumeLayout(false);
200      this.variablesGroupBox.ResumeLayout(false);
201      this.variablesSplitContainer.Panel1.ResumeLayout(false);
202      this.variablesSplitContainer.ResumeLayout(false);
203      this.treeNodeContextMenu.ResumeLayout(false);
204      this.ResumeLayout(false);
205
206    }
207
208    #endregion
209
210    private System.Windows.Forms.TreeView funTreeView;
211    private System.Windows.Forms.SplitContainer splitContainer;
212    private System.Windows.Forms.TextBox templateTextBox;
213    private System.Windows.Forms.Button editButton;
214    private System.Windows.Forms.GroupBox variablesGroupBox;
215    private System.Windows.Forms.SplitContainer variablesSplitContainer;
216    private System.Windows.Forms.ListBox variablesListBox;
217    private System.Windows.Forms.Label label1;
218    private System.Windows.Forms.ContextMenuStrip treeNodeContextMenu;
219    private System.Windows.Forms.ToolStripMenuItem copyToClipboardMenuItem;
220    private System.Windows.Forms.ToolStripMenuItem copyToClipboardSExpressionToolStripMenuItem;
221
222  }
223}
Note: See TracBrowser for help on using the repository browser.