Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.Functions/FunctionView.Designer.cs @ 414

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

fixed #180 by adding an event-handler for the mouse-up event that selects the clicked node on right-click.

(had to rename variable functionTreeView to funTreeView because the designer was unhappy. )

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