#1587: Updated `ViewHost` after node selection with arrow keys and handled item move...
[hl.git] / sources / HeuristicLab.Core.Views / 3.3 / OperatorGraphView.Designer.cs
blobee179682b91d7aec0dd590822358c571060b6505
1 #region License Information
2 /* HeuristicLab
3 * Copyright (C) 2002-2011 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
5 * This file is part of HeuristicLab.
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.
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.
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/>.
20 #endregion
22 namespace HeuristicLab.Core.Views {
23 partial class OperatorGraphView {
24 /// <summary>
25 /// Required designer variable.
26 /// </summary>
27 private System.ComponentModel.IContainer components = null;
29 /// <summary>
30 /// Clean up any resources being used.
31 /// </summary>
32 /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
33 protected override void Dispose(bool disposing) {
34 if (disposing) {
35 if (components != null) components.Dispose();
37 base.Dispose(disposing);
40 #region Component Designer generated code
42 /// <summary>
43 /// Required method for Designer support - do not modify
44 /// the contents of this method with the code editor.
45 /// </summary>
46 private void InitializeComponent() {
47 this.components = new System.ComponentModel.Container();
48 this.operatorsContextMenuStrip = new System.Windows.Forms.ContextMenuStrip(this.components);
49 this.initialOperatorToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
50 this.operatorsView = new HeuristicLab.Core.Views.OperatorSetView();
51 this.splitContainer = new System.Windows.Forms.SplitContainer();
52 this.graphGroupBox = new System.Windows.Forms.GroupBox();
53 this.operatorTreeView = new HeuristicLab.Core.Views.OperatorTreeView();
54 this.operatorsContextMenuStrip.SuspendLayout();
55 this.splitContainer.Panel1.SuspendLayout();
56 this.splitContainer.Panel2.SuspendLayout();
57 this.splitContainer.SuspendLayout();
58 this.graphGroupBox.SuspendLayout();
59 this.SuspendLayout();
60 //
61 // operatorsContextMenuStrip
62 //
63 this.operatorsContextMenuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
64 this.initialOperatorToolStripMenuItem});
65 this.operatorsContextMenuStrip.Name = "operatorsContextMenuStrip";
66 this.operatorsContextMenuStrip.Size = new System.Drawing.Size(154, 26);
67 this.operatorsContextMenuStrip.Opening += new System.ComponentModel.CancelEventHandler(this.operatorsContextMenuStrip_Opening);
68 //
69 // initialOperatorToolStripMenuItem
70 //
71 this.initialOperatorToolStripMenuItem.CheckOnClick = true;
72 this.initialOperatorToolStripMenuItem.Name = "initialOperatorToolStripMenuItem";
73 this.initialOperatorToolStripMenuItem.Size = new System.Drawing.Size(153, 22);
74 this.initialOperatorToolStripMenuItem.Text = "&Initial Operator";
75 this.initialOperatorToolStripMenuItem.ToolTipText = "Set as initial operator";
76 this.initialOperatorToolStripMenuItem.Click += new System.EventHandler(this.initialOperatorToolStripMenuItem_Click);
77 //
78 // operatorsView
79 //
80 this.operatorsView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
81 | System.Windows.Forms.AnchorStyles.Left)
82 | System.Windows.Forms.AnchorStyles.Right)));
83 this.operatorsView.Content = null;
84 this.operatorsView.Location = new System.Drawing.Point(3, 3);
85 this.operatorsView.Name = "operatorsView";
86 this.operatorsView.Size = new System.Drawing.Size(602, 309);
87 this.operatorsView.TabIndex = 0;
88 this.operatorsView.Load += new System.EventHandler(this.operatorsView_Load);
89 //
90 // splitContainer
91 //
92 this.splitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
93 this.splitContainer.Location = new System.Drawing.Point(0, 0);
94 this.splitContainer.Name = "splitContainer";
95 this.splitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
96 //
97 // splitContainer.Panel1
98 //
99 this.splitContainer.Panel1.Controls.Add(this.operatorsView);
101 // splitContainer.Panel2
103 this.splitContainer.Panel2.Controls.Add(this.graphGroupBox);
104 this.splitContainer.Size = new System.Drawing.Size(608, 533);
105 this.splitContainer.SplitterDistance = 315;
106 this.splitContainer.TabIndex = 3;
108 // graphGroupBox
110 this.graphGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
111 | System.Windows.Forms.AnchorStyles.Left)
112 | System.Windows.Forms.AnchorStyles.Right)));
113 this.graphGroupBox.Controls.Add(this.operatorTreeView);
114 this.graphGroupBox.Location = new System.Drawing.Point(3, 3);
115 this.graphGroupBox.Name = "graphGroupBox";
116 this.graphGroupBox.Size = new System.Drawing.Size(602, 208);
117 this.graphGroupBox.TabIndex = 0;
118 this.graphGroupBox.TabStop = false;
119 this.graphGroupBox.Text = "Operator Graph";
121 // operatorTreeView
123 this.operatorTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
124 | System.Windows.Forms.AnchorStyles.Left)
125 | System.Windows.Forms.AnchorStyles.Right)));
126 this.operatorTreeView.Content = null;
127 this.operatorTreeView.Location = new System.Drawing.Point(6, 19);
128 this.operatorTreeView.Name = "operatorTreeView";
129 this.operatorTreeView.Size = new System.Drawing.Size(590, 183);
130 this.operatorTreeView.TabIndex = 0;
131 this.operatorTreeView.SelectedOperatorChanged += new System.EventHandler(this.operatorTreeView_SelectedOperatorChanged);
133 // OperatorGraphView
135 this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
136 this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
137 this.Controls.Add(this.splitContainer);
138 this.Name = "OperatorGraphView";
139 this.Size = new System.Drawing.Size(608, 533);
140 this.operatorsContextMenuStrip.ResumeLayout(false);
141 this.splitContainer.Panel1.ResumeLayout(false);
142 this.splitContainer.Panel2.ResumeLayout(false);
143 this.splitContainer.ResumeLayout(false);
144 this.graphGroupBox.ResumeLayout(false);
145 this.ResumeLayout(false);
149 #endregion
151 protected System.Windows.Forms.ContextMenuStrip operatorsContextMenuStrip;
152 protected System.Windows.Forms.ToolStripMenuItem initialOperatorToolStripMenuItem;
153 protected OperatorSetView operatorsView;
154 protected System.Windows.Forms.SplitContainer splitContainer;
155 protected System.Windows.Forms.GroupBox graphGroupBox;
156 private OperatorTreeView operatorTreeView;