Free cookie consent management tool by TermsFeed Policy Generator

source: branches/GpPluginsRefactoringBranch/HeuristicLab.GP/FunctionView.Designer.cs @ 654

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

worked on exporters and display of function-names in the functionView (#177)

File size: 9.1 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.GP {
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.representationContextMenu = new System.Windows.Forms.ContextMenuStrip(this.components);
54      this.splitContainer = new System.Windows.Forms.SplitContainer();
55      this.variablesGroupBox = new System.Windows.Forms.GroupBox();
56      this.variablesSplitContainer = new System.Windows.Forms.SplitContainer();
57      this.variablesListBox = new System.Windows.Forms.ListBox();
58      this.label1 = new System.Windows.Forms.Label();
59      this.templateTextBox = new System.Windows.Forms.TextBox();
60      this.editButton = new System.Windows.Forms.Button();
61      this.treeNodeContextMenu = new System.Windows.Forms.ContextMenuStrip(this.components);
62      this.splitContainer.Panel1.SuspendLayout();
63      this.splitContainer.Panel2.SuspendLayout();
64      this.splitContainer.SuspendLayout();
65      this.variablesGroupBox.SuspendLayout();
66      this.variablesSplitContainer.Panel1.SuspendLayout();
67      this.variablesSplitContainer.SuspendLayout();
68      this.SuspendLayout();
69      //
70      // funTreeView
71      //
72      this.funTreeView.ContextMenuStrip = this.representationContextMenu;
73      this.funTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
74      this.funTreeView.HideSelection = false;
75      this.funTreeView.Location = new System.Drawing.Point(0, 0);
76      this.funTreeView.Name = "funTreeView";
77      this.funTreeView.Size = new System.Drawing.Size(182, 532);
78      this.funTreeView.TabIndex = 0;
79      this.funTreeView.MouseUp += new System.Windows.Forms.MouseEventHandler(this.funTreeView_MouseUp);
80      this.funTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.functionTreeView_AfterSelect);
81      //
82      // representationContextMenu
83      //
84      this.representationContextMenu.Name = "representationContextMenu";
85      this.representationContextMenu.Size = new System.Drawing.Size(61, 4);
86      //
87      // splitContainer
88      //
89      this.splitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
90      this.splitContainer.Location = new System.Drawing.Point(0, 0);
91      this.splitContainer.Name = "splitContainer";
92      //
93      // splitContainer.Panel1
94      //
95      this.splitContainer.Panel1.Controls.Add(this.funTreeView);
96      //
97      // splitContainer.Panel2
98      //
99      this.splitContainer.Panel2.Controls.Add(this.variablesGroupBox);
100      this.splitContainer.Panel2.Controls.Add(this.label1);
101      this.splitContainer.Panel2.Controls.Add(this.templateTextBox);
102      this.splitContainer.Panel2.Controls.Add(this.editButton);
103      this.splitContainer.Size = new System.Drawing.Size(735, 532);
104      this.splitContainer.SplitterDistance = 182;
105      this.splitContainer.TabIndex = 1;
106      //
107      // variablesGroupBox
108      //
109      this.variablesGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
110                  | System.Windows.Forms.AnchorStyles.Left)
111                  | System.Windows.Forms.AnchorStyles.Right)));
112      this.variablesGroupBox.Controls.Add(this.variablesSplitContainer);
113      this.variablesGroupBox.Location = new System.Drawing.Point(3, 31);
114      this.variablesGroupBox.Name = "variablesGroupBox";
115      this.variablesGroupBox.Size = new System.Drawing.Size(543, 498);
116      this.variablesGroupBox.TabIndex = 5;
117      this.variablesGroupBox.TabStop = false;
118      this.variablesGroupBox.Text = "Local variables";
119      //
120      // variablesSplitContainer
121      //
122      this.variablesSplitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
123      this.variablesSplitContainer.Location = new System.Drawing.Point(3, 16);
124      this.variablesSplitContainer.Name = "variablesSplitContainer";
125      //
126      // variablesSplitContainer.Panel1
127      //
128      this.variablesSplitContainer.Panel1.Controls.Add(this.variablesListBox);
129      this.variablesSplitContainer.Size = new System.Drawing.Size(537, 479);
130      this.variablesSplitContainer.SplitterDistance = 179;
131      this.variablesSplitContainer.TabIndex = 0;
132      //
133      // variablesListBox
134      //
135      this.variablesListBox.Dock = System.Windows.Forms.DockStyle.Fill;
136      this.variablesListBox.FormattingEnabled = true;
137      this.variablesListBox.Location = new System.Drawing.Point(0, 0);
138      this.variablesListBox.Name = "variablesListBox";
139      this.variablesListBox.Size = new System.Drawing.Size(179, 472);
140      this.variablesListBox.TabIndex = 0;
141      this.variablesListBox.SelectedIndexChanged += new System.EventHandler(this.variablesListBox_SelectedIndexChanged);
142      //
143      // label1
144      //
145      this.label1.AutoSize = true;
146      this.label1.Location = new System.Drawing.Point(3, 10);
147      this.label1.Name = "label1";
148      this.label1.Size = new System.Drawing.Size(96, 13);
149      this.label1.TabIndex = 3;
150      this.label1.Text = "Function definition:";
151      //
152      // templateTextBox
153      //
154      this.templateTextBox.Location = new System.Drawing.Point(105, 7);
155      this.templateTextBox.Name = "templateTextBox";
156      this.templateTextBox.ReadOnly = true;
157      this.templateTextBox.Size = new System.Drawing.Size(190, 20);
158      this.templateTextBox.TabIndex = 2;
159      //
160      // editButton
161      //
162      this.editButton.Enabled = false;
163      this.editButton.Location = new System.Drawing.Point(301, 5);
164      this.editButton.Name = "editButton";
165      this.editButton.Size = new System.Drawing.Size(49, 23);
166      this.editButton.TabIndex = 1;
167      this.editButton.Text = "Edit...";
168      this.editButton.UseVisualStyleBackColor = true;
169      this.editButton.Click += new System.EventHandler(this.editButton_Click);
170      //
171      // treeNodeContextMenu
172      //
173      this.treeNodeContextMenu.Name = "treeNodeContextMenu";
174      this.treeNodeContextMenu.Size = new System.Drawing.Size(61, 4);
175      //
176      // FunctionTreeView
177      //
178      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
179      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
180      this.Controls.Add(this.splitContainer);
181      this.Name = "FunctionTreeView";
182      this.Size = new System.Drawing.Size(735, 532);
183      this.splitContainer.Panel1.ResumeLayout(false);
184      this.splitContainer.Panel2.ResumeLayout(false);
185      this.splitContainer.Panel2.PerformLayout();
186      this.splitContainer.ResumeLayout(false);
187      this.variablesGroupBox.ResumeLayout(false);
188      this.variablesSplitContainer.Panel1.ResumeLayout(false);
189      this.variablesSplitContainer.ResumeLayout(false);
190      this.ResumeLayout(false);
191
192    }
193
194    #endregion
195
196    private System.Windows.Forms.TreeView funTreeView;
197    private System.Windows.Forms.SplitContainer splitContainer;
198    private System.Windows.Forms.TextBox templateTextBox;
199    private System.Windows.Forms.Button editButton;
200    private System.Windows.Forms.GroupBox variablesGroupBox;
201    private System.Windows.Forms.SplitContainer variablesSplitContainer;
202    private System.Windows.Forms.ListBox variablesListBox;
203    private System.Windows.Forms.Label label1;
204    private System.Windows.Forms.ContextMenuStrip treeNodeContextMenu;
205    private System.Windows.Forms.ContextMenuStrip representationContextMenu;
206
207  }
208}
Note: See TracBrowser for help on using the repository browser.