Free cookie consent management tool by TermsFeed Policy Generator

source: branches/HeuristicLab.TreeSimplifierView/HeuristicLab.Encodings.SymbolicExpressionTreeEncoding.Views/3.4/InteractiveSymbolicExpressionTreeChart.Designer.cs @ 7784

Last change on this file since 7784 was 7784, checked in by bburlacu, 12 years ago

#1832: Moved replacement and impact values calculation code from view to separate files. Implemented simplifier actions: copy, cut, delete, insert node/subtree.

File size: 11.1 KB
Line 
1using System.Windows.Forms;
2
3namespace HeuristicLab.Encodings.SymbolicExpressionTreeEncoding.Views {
4  partial class InteractiveSymbolicExpressionTreeChart {
5    /// <summary>
6    /// Required designer variable.
7    /// </summary>
8    private System.ComponentModel.IContainer components = null;
9
10    /// <summary>
11    /// Clean up any resources being used.
12    /// </summary>
13    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
14    protected override void Dispose(bool disposing) {
15      if (disposing && (components != null)) {
16        components.Dispose();
17      }
18      base.Dispose(disposing);
19    }
20
21    #region Component Designer generated code
22
23    /// <summary>
24    /// Required method for Designer support - do not modify
25    /// the contents of this method with the code editor.
26    /// </summary>
27    private void InitializeComponent() {
28      this.insertNodeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
29      this.changeValueToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
30      this.copyToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
31      this.copyNodeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
32      this.copySubtreeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
33      this.cutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
34      this.cutNodeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
35      this.cutSubtreeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
36      this.deleteToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
37      this.deleteNodeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
38      this.deleteSubtreeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
39      this.pasteToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
40      this.treeStatusLabel = new System.Windows.Forms.Label();
41      this.treeStatusValue = new System.Windows.Forms.Label();
42      this.chartButtonsPanel = new System.Windows.Forms.Panel();
43      this.button2 = new System.Windows.Forms.Button();
44      this.button1 = new System.Windows.Forms.Button();
45      this.chartButtonsPanel.SuspendLayout();
46      this.SuspendLayout();
47      this.contextMenuStrip.Opened += this.contextMenuStrip_Opened;
48      this.contextMenuStrip.Items.AddRange(new ToolStripItem[] {
49                                               insertNodeToolStripMenuItem,
50                                               changeValueToolStripMenuItem,
51                                               copyToolStripMenuItem,
52                                               cutToolStripMenuItem,
53                                               deleteToolStripMenuItem,
54                                               pasteToolStripMenuItem });
55      //
56      // insertNodeToolStripMenuItem
57      //
58      this.insertNodeToolStripMenuItem.Enabled = true;
59      this.insertNodeToolStripMenuItem.Name = "insertNodeToolStripMenuItem";
60      this.insertNodeToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
61      this.insertNodeToolStripMenuItem.Text = "Insert Node";
62      this.insertNodeToolStripMenuItem.Click += new System.EventHandler(this.insertNodeToolStripMenuItem_Click);
63      //
64      // changeValueToolStripMenuItem
65      //
66      this.changeValueToolStripMenuItem.Enabled = false;
67      this.changeValueToolStripMenuItem.Name = "changeValueToolStripMenuItem";
68      this.changeValueToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
69      this.changeValueToolStripMenuItem.Text = "Change Value";
70      this.changeValueToolStripMenuItem.Click += new System.EventHandler(this.changeValueToolStripMenuItem_Click);
71      //
72      // copyToolStripMenuItem
73      //
74      this.copyToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
75            this.copyNodeToolStripMenuItem,
76            this.copySubtreeToolStripMenuItem});
77      this.copyToolStripMenuItem.Name = "copyToolStripMenuItem";
78      this.copyToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
79      this.copyToolStripMenuItem.Text = "Copy";
80      //
81      // copyNodeToolStripMenuItem
82      //
83      this.copyNodeToolStripMenuItem.Name = "copyNodeToolStripMenuItem";
84      this.copyNodeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
85      this.copyNodeToolStripMenuItem.Text = "Node";
86      this.copyNodeToolStripMenuItem.Click += new System.EventHandler(this.copyNodeToolStripMenuItem_Click);
87      //
88      // copySubtreeToolStripMenuItem
89      //
90      this.copySubtreeToolStripMenuItem.Name = "copySubtreeToolStripMenuItem";
91      this.copySubtreeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
92      this.copySubtreeToolStripMenuItem.Text = "Subtree";
93      this.copySubtreeToolStripMenuItem.Click += new System.EventHandler(this.copySubtreeToolStripMenuItem_Click);
94      //
95      // cutToolStripMenuItem
96      //
97      this.cutToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
98            this.cutNodeToolStripMenuItem,
99            this.cutSubtreeToolStripMenuItem});
100      this.cutToolStripMenuItem.Name = "cutToolStripMenuItem";
101      this.cutToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
102      this.cutToolStripMenuItem.Text = "Cut";
103      //
104      // cutNodeToolStripMenuItem
105      //
106      this.cutNodeToolStripMenuItem.Name = "cutNodeToolStripMenuItem";
107      this.cutNodeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
108      this.cutNodeToolStripMenuItem.Text = "Node";
109      this.cutNodeToolStripMenuItem.Click += new System.EventHandler(this.cutNodeToolStripMenuItem_Click);
110      //
111      // cutSubtreeToolStripMenuItem
112      //
113      this.cutSubtreeToolStripMenuItem.Name = "cutSubtreeToolStripMenuItem";
114      this.cutSubtreeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
115      this.cutSubtreeToolStripMenuItem.Text = "Subtree";
116      this.cutSubtreeToolStripMenuItem.Click += new System.EventHandler(this.cutSubtreeToolStripMenuItem_Click);
117      //
118      // deleteToolStripMenuItem
119      //
120      this.deleteToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
121            this.deleteNodeToolStripMenuItem,
122            this.deleteSubtreeToolStripMenuItem});
123      this.deleteToolStripMenuItem.Name = "deleteToolStripMenuItem";
124      this.deleteToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
125      this.deleteToolStripMenuItem.Text = "Delete";
126      //
127      // deleteNodeToolStripMenuItem
128      //
129      this.deleteNodeToolStripMenuItem.Name = "deleteNodeToolStripMenuItem";
130      this.deleteNodeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
131      this.deleteNodeToolStripMenuItem.Text = "Node";
132      this.deleteNodeToolStripMenuItem.Click += deleteNodeToolStripMenuItem_Click;
133      //
134      // deleteSubtreeToolStripMenuItem
135      //
136      this.deleteSubtreeToolStripMenuItem.Name = "deleteSubtreeToolStripMenuItem";
137      this.deleteSubtreeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
138      this.deleteSubtreeToolStripMenuItem.Text = "Subtree";
139      this.deleteSubtreeToolStripMenuItem.Click += deleteSubtreeToolStripMenuItem_Click;
140      //
141      // pasteToolStripMenuItem
142      //
143      this.pasteToolStripMenuItem.Name = "pasteToolStripMenuItem";
144      this.pasteToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
145      this.pasteToolStripMenuItem.Text = "Paste";
146      this.pasteToolStripMenuItem.Click += new System.EventHandler(this.pasteToolStripMenuItem_Clicked);
147      //
148      // treeStatusLabel
149      //
150      this.treeStatusLabel.AutoSize = true;
151      this.treeStatusLabel.BackColor = System.Drawing.Color.Transparent;
152      this.treeStatusLabel.Location = new System.Drawing.Point(3, 35);
153      this.treeStatusLabel.Name = "treeStatusLabel";
154      this.treeStatusLabel.Size = new System.Drawing.Size(68, 13);
155      this.treeStatusLabel.TabIndex = 0;
156      this.treeStatusLabel.Text = "Tree Status: ";
157      //
158      // treeStatusValue
159      //
160      this.treeStatusValue.AutoSize = true;
161      this.treeStatusValue.BackColor = System.Drawing.Color.Transparent;
162      this.treeStatusValue.ForeColor = System.Drawing.Color.Green;
163      this.treeStatusValue.Location = new System.Drawing.Point(77, 35);
164      this.treeStatusValue.Name = "treeStatusValue";
165      this.treeStatusValue.Size = new System.Drawing.Size(30, 13);
166      this.treeStatusValue.TabIndex = 1;
167      this.treeStatusValue.Text = "Valid";
168      //
169      // chartButtonsPanel
170      //
171      this.chartButtonsPanel.Controls.Add(this.button2);
172      this.chartButtonsPanel.Controls.Add(this.button1);
173      this.chartButtonsPanel.Dock = System.Windows.Forms.DockStyle.Top;
174      this.chartButtonsPanel.Location = new System.Drawing.Point(0, 0);
175      this.chartButtonsPanel.Name = "chartButtonsPanel";
176      this.chartButtonsPanel.Size = new System.Drawing.Size(150, 32);
177      this.chartButtonsPanel.TabIndex = 2;
178      //
179      // button2
180      //
181      this.button2.Location = new System.Drawing.Point(32, 4);
182      this.button2.Name = "button2";
183      this.button2.Size = new System.Drawing.Size(21, 23);
184      this.button2.TabIndex = 1;
185      this.button2.Text = "B";
186      this.button2.UseVisualStyleBackColor = true;
187      //
188      // button1
189      //
190      this.button1.Location = new System.Drawing.Point(4, 4);
191      this.button1.Name = "button1";
192      this.button1.Size = new System.Drawing.Size(23, 23);
193      this.button1.TabIndex = 0;
194      this.button1.Text = "A";
195      this.button1.UseVisualStyleBackColor = true;
196      //
197      // InteractiveSymbolicExpressionTreeChart
198      //
199      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
200      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
201      this.Controls.Add(this.chartButtonsPanel);
202      this.Controls.Add(this.treeStatusValue);
203      this.Controls.Add(this.treeStatusLabel);
204      this.Name = "InteractiveSymbolicExpressionTreeChart";
205      this.chartButtonsPanel.ResumeLayout(false);
206      this.ResumeLayout(false);
207      this.PerformLayout();
208
209    }
210
211    private ToolStripMenuItem insertNodeToolStripMenuItem;
212    private ToolStripMenuItem changeValueToolStripMenuItem;
213    private ToolStripMenuItem copyToolStripMenuItem;
214    private ToolStripMenuItem copyNodeToolStripMenuItem;
215    private ToolStripMenuItem copySubtreeToolStripMenuItem;
216    private ToolStripMenuItem cutToolStripMenuItem;
217    private ToolStripMenuItem cutNodeToolStripMenuItem;
218    private ToolStripMenuItem cutSubtreeToolStripMenuItem;
219    private ToolStripMenuItem pasteToolStripMenuItem;
220    private ToolStripMenuItem deleteToolStripMenuItem;
221    private ToolStripMenuItem deleteNodeToolStripMenuItem;
222    private ToolStripMenuItem deleteSubtreeToolStripMenuItem;
223
224    #endregion
225    private Label treeStatusLabel;
226    private Label treeStatusValue;
227    private Panel chartButtonsPanel;
228    private Button button2;
229    private Button button1;
230  }
231}
Note: See TracBrowser for help on using the repository browser.