Free cookie consent management tool by TermsFeed Policy Generator

source: branches/3.0/sources/HeuristicLab.AdvancedOptimizationFrontend/MainForm.Designer.cs @ 771

Last change on this file since 771 was 2, checked in by swagner, 17 years ago

Added HeuristicLab 3.0 sources from former SVN repository at revision 52

File size: 18.5 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
22namespace HeuristicLab.AdvancedOptimizationFrontend {
23  partial class MainForm {
24    /// <summary>
25    /// Required designer variable.
26    /// </summary>
27    private System.ComponentModel.IContainer components = null;
28
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 && (components != null)) {
35        components.Dispose();
36      }
37      base.Dispose(disposing);
38    }
39
40    #region Windows Form Designer generated code
41
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      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(MainForm));
48      this.menuStrip = new System.Windows.Forms.MenuStrip();
49      this.fileToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
50      this.newToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
51      this.openToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
52      this.saveToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
53      this.saveAsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
54      this.saveAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
55      this.closeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
56      this.closeAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
57      this.toolStripMenuItem1 = new System.Windows.Forms.ToolStripSeparator();
58      this.exitToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
59      this.viewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
60      this.availableOperatorsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
61      this.toolsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
62      this.collectGarbageToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
63      this.helpToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
64      this.aboutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
65      this.statusStrip = new System.Windows.Forms.StatusStrip();
66      this.openFileDialog = new System.Windows.Forms.OpenFileDialog();
67      this.saveFileDialog = new System.Windows.Forms.SaveFileDialog();
68      this.toolStrip = new System.Windows.Forms.ToolStrip();
69      this.newToolStripDropDownButton = new System.Windows.Forms.ToolStripDropDownButton();
70      this.openToolStripButton = new System.Windows.Forms.ToolStripButton();
71      this.saveToolStripButton = new System.Windows.Forms.ToolStripButton();
72      this.saveAllToolStripButton = new System.Windows.Forms.ToolStripButton();
73      this.dockPanel = new WeifenLuo.WinFormsUI.Docking.DockPanel();
74      this.menuStrip.SuspendLayout();
75      this.toolStrip.SuspendLayout();
76      this.SuspendLayout();
77      //
78      // menuStrip
79      //
80      this.menuStrip.AllowMerge = false;
81      this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
82            this.fileToolStripMenuItem,
83            this.viewToolStripMenuItem,
84            this.toolsToolStripMenuItem,
85            this.helpToolStripMenuItem});
86      this.menuStrip.Location = new System.Drawing.Point(0, 0);
87      this.menuStrip.Name = "menuStrip";
88      this.menuStrip.ShowItemToolTips = true;
89      this.menuStrip.Size = new System.Drawing.Size(1016, 24);
90      this.menuStrip.TabIndex = 0;
91      //
92      // fileToolStripMenuItem
93      //
94      this.fileToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
95            this.newToolStripMenuItem,
96            this.openToolStripMenuItem,
97            this.saveToolStripMenuItem,
98            this.saveAsToolStripMenuItem,
99            this.saveAllToolStripMenuItem,
100            this.closeToolStripMenuItem,
101            this.closeAllToolStripMenuItem,
102            this.toolStripMenuItem1,
103            this.exitToolStripMenuItem});
104      this.fileToolStripMenuItem.Name = "fileToolStripMenuItem";
105      this.fileToolStripMenuItem.Size = new System.Drawing.Size(35, 20);
106      this.fileToolStripMenuItem.Text = "&File";
107      //
108      // newToolStripMenuItem
109      //
110      this.newToolStripMenuItem.Name = "newToolStripMenuItem";
111      this.newToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
112      this.newToolStripMenuItem.Text = "&New";
113      //
114      // openToolStripMenuItem
115      //
116      this.openToolStripMenuItem.Name = "openToolStripMenuItem";
117      this.openToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.O)));
118      this.openToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
119      this.openToolStripMenuItem.Text = "&Open...";
120      this.openToolStripMenuItem.Click += new System.EventHandler(this.openToolStripMenuItem_Click);
121      //
122      // saveToolStripMenuItem
123      //
124      this.saveToolStripMenuItem.Enabled = false;
125      this.saveToolStripMenuItem.Name = "saveToolStripMenuItem";
126      this.saveToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.S)));
127      this.saveToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
128      this.saveToolStripMenuItem.Text = "&Save";
129      this.saveToolStripMenuItem.Click += new System.EventHandler(this.saveToolStripMenuItem_Click);
130      //
131      // saveAsToolStripMenuItem
132      //
133      this.saveAsToolStripMenuItem.Enabled = false;
134      this.saveAsToolStripMenuItem.Name = "saveAsToolStripMenuItem";
135      this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
136      this.saveAsToolStripMenuItem.Text = "Save &As...";
137      this.saveAsToolStripMenuItem.Click += new System.EventHandler(this.saveAsToolStripMenuItem_Click);
138      //
139      // saveAllToolStripMenuItem
140      //
141      this.saveAllToolStripMenuItem.Enabled = false;
142      this.saveAllToolStripMenuItem.Name = "saveAllToolStripMenuItem";
143      this.saveAllToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)(((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Shift)
144                  | System.Windows.Forms.Keys.S)));
145      this.saveAllToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
146      this.saveAllToolStripMenuItem.Text = "Save Al&l";
147      this.saveAllToolStripMenuItem.Click += new System.EventHandler(this.saveAllToolStripMenuItem_Click);
148      //
149      // closeToolStripMenuItem
150      //
151      this.closeToolStripMenuItem.Enabled = false;
152      this.closeToolStripMenuItem.Name = "closeToolStripMenuItem";
153      this.closeToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
154      this.closeToolStripMenuItem.Text = "&Close";
155      this.closeToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
156      //
157      // closeAllToolStripMenuItem
158      //
159      this.closeAllToolStripMenuItem.Enabled = false;
160      this.closeAllToolStripMenuItem.Name = "closeAllToolStripMenuItem";
161      this.closeAllToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
162      this.closeAllToolStripMenuItem.Text = "Clos&e All";
163      this.closeAllToolStripMenuItem.Click += new System.EventHandler(this.closeAllToolStripMenuItem_Click);
164      //
165      // toolStripMenuItem1
166      //
167      this.toolStripMenuItem1.Name = "toolStripMenuItem1";
168      this.toolStripMenuItem1.Size = new System.Drawing.Size(188, 6);
169      //
170      // exitToolStripMenuItem
171      //
172      this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
173      this.exitToolStripMenuItem.Size = new System.Drawing.Size(191, 22);
174      this.exitToolStripMenuItem.Text = "E&xit";
175      this.exitToolStripMenuItem.Click += new System.EventHandler(this.exitToolStripMenuItem_Click);
176      //
177      // viewToolStripMenuItem
178      //
179      this.viewToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
180            this.availableOperatorsToolStripMenuItem});
181      this.viewToolStripMenuItem.Name = "viewToolStripMenuItem";
182      this.viewToolStripMenuItem.Size = new System.Drawing.Size(41, 20);
183      this.viewToolStripMenuItem.Text = "&View";
184      //
185      // availableOperatorsToolStripMenuItem
186      //
187      this.availableOperatorsToolStripMenuItem.Name = "availableOperatorsToolStripMenuItem";
188      this.availableOperatorsToolStripMenuItem.Size = new System.Drawing.Size(192, 22);
189      this.availableOperatorsToolStripMenuItem.Text = "Available &Operators...";
190      this.availableOperatorsToolStripMenuItem.Click += new System.EventHandler(this.availableOperatorsToolStripMenuItem_Click);
191      //
192      // toolsToolStripMenuItem
193      //
194      this.toolsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
195            this.collectGarbageToolStripMenuItem});
196      this.toolsToolStripMenuItem.Name = "toolsToolStripMenuItem";
197      this.toolsToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
198      this.toolsToolStripMenuItem.Text = "&Tools";
199      //
200      // collectGarbageToolStripMenuItem
201      //
202      this.collectGarbageToolStripMenuItem.Name = "collectGarbageToolStripMenuItem";
203      this.collectGarbageToolStripMenuItem.Size = new System.Drawing.Size(161, 22);
204      this.collectGarbageToolStripMenuItem.Text = "Collect &Garbage";
205      this.collectGarbageToolStripMenuItem.Click += new System.EventHandler(this.collectGarbageToolStripMenuItem_Click);
206      //
207      // helpToolStripMenuItem
208      //
209      this.helpToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
210            this.aboutToolStripMenuItem});
211      this.helpToolStripMenuItem.Name = "helpToolStripMenuItem";
212      this.helpToolStripMenuItem.Size = new System.Drawing.Size(40, 20);
213      this.helpToolStripMenuItem.Text = "&Help";
214      //
215      // aboutToolStripMenuItem
216      //
217      this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
218      this.aboutToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
219      this.aboutToolStripMenuItem.Text = "&About";
220      this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
221      //
222      // statusStrip
223      //
224      this.statusStrip.Location = new System.Drawing.Point(0, 712);
225      this.statusStrip.Name = "statusStrip";
226      this.statusStrip.Size = new System.Drawing.Size(1016, 22);
227      this.statusStrip.TabIndex = 3;
228      //
229      // openFileDialog
230      //
231      this.openFileDialog.DefaultExt = "hl";
232      this.openFileDialog.FileName = "item";
233      this.openFileDialog.Filter = "HeuristicLab files|*.hl|All files|*.*";
234      this.openFileDialog.Title = "Open file ...";
235      //
236      // saveFileDialog
237      //
238      this.saveFileDialog.DefaultExt = "hl";
239      this.saveFileDialog.FileName = "item";
240      this.saveFileDialog.Filter = "HeuristicLab files|*.hl|All files|*.*";
241      this.saveFileDialog.Title = "Save file as ...";
242      //
243      // toolStrip
244      //
245      this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
246            this.newToolStripDropDownButton,
247            this.openToolStripButton,
248            this.saveToolStripButton,
249            this.saveAllToolStripButton});
250      this.toolStrip.Location = new System.Drawing.Point(0, 24);
251      this.toolStrip.Name = "toolStrip";
252      this.toolStrip.Size = new System.Drawing.Size(1016, 25);
253      this.toolStrip.TabIndex = 1;
254      this.toolStrip.Text = "toolStrip";
255      //
256      // newToolStripDropDownButton
257      //
258      this.newToolStripDropDownButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
259      this.newToolStripDropDownButton.Image = global::HeuristicLab.AdvancedOptimizationFrontend.Properties.Resources.New;
260      this.newToolStripDropDownButton.ImageTransparentColor = System.Drawing.Color.Magenta;
261      this.newToolStripDropDownButton.Name = "newToolStripDropDownButton";
262      this.newToolStripDropDownButton.Size = new System.Drawing.Size(29, 22);
263      this.newToolStripDropDownButton.Text = "New...";
264      //
265      // openToolStripButton
266      //
267      this.openToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
268      this.openToolStripButton.Image = global::HeuristicLab.AdvancedOptimizationFrontend.Properties.Resources.Open;
269      this.openToolStripButton.ImageTransparentColor = System.Drawing.Color.Magenta;
270      this.openToolStripButton.Name = "openToolStripButton";
271      this.openToolStripButton.Size = new System.Drawing.Size(23, 22);
272      this.openToolStripButton.Text = "Open...";
273      this.openToolStripButton.Click += new System.EventHandler(this.openToolStripButton_Click);
274      //
275      // saveToolStripButton
276      //
277      this.saveToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
278      this.saveToolStripButton.Enabled = false;
279      this.saveToolStripButton.Image = global::HeuristicLab.AdvancedOptimizationFrontend.Properties.Resources.Save;
280      this.saveToolStripButton.ImageTransparentColor = System.Drawing.Color.Magenta;
281      this.saveToolStripButton.Name = "saveToolStripButton";
282      this.saveToolStripButton.Size = new System.Drawing.Size(23, 22);
283      this.saveToolStripButton.Text = "Save";
284      this.saveToolStripButton.Click += new System.EventHandler(this.saveToolStripButton_Click);
285      //
286      // saveAllToolStripButton
287      //
288      this.saveAllToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
289      this.saveAllToolStripButton.Enabled = false;
290      this.saveAllToolStripButton.Image = global::HeuristicLab.AdvancedOptimizationFrontend.Properties.Resources.SaveAll;
291      this.saveAllToolStripButton.ImageTransparentColor = System.Drawing.Color.Magenta;
292      this.saveAllToolStripButton.Name = "saveAllToolStripButton";
293      this.saveAllToolStripButton.Size = new System.Drawing.Size(23, 22);
294      this.saveAllToolStripButton.Text = "Save all";
295      this.saveAllToolStripButton.Click += new System.EventHandler(this.saveAllToolStripButton_Click);
296      //
297      // dockPanel
298      //
299      this.dockPanel.ActiveAutoHideContent = null;
300      this.dockPanel.Dock = System.Windows.Forms.DockStyle.Fill;
301      this.dockPanel.DockBottomPortion = 0.33;
302      this.dockPanel.DockLeftPortion = 0.33;
303      this.dockPanel.DockRightPortion = 0.33;
304      this.dockPanel.DockTopPortion = 0.33;
305      this.dockPanel.Location = new System.Drawing.Point(0, 49);
306      this.dockPanel.Name = "dockPanel";
307      this.dockPanel.RightToLeftLayout = true;
308      this.dockPanel.Size = new System.Drawing.Size(1016, 663);
309      this.dockPanel.TabIndex = 2;
310      //
311      // MainForm
312      //
313      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
314      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
315      this.ClientSize = new System.Drawing.Size(1016, 734);
316      this.Controls.Add(this.dockPanel);
317      this.Controls.Add(this.toolStrip);
318      this.Controls.Add(this.statusStrip);
319      this.Controls.Add(this.menuStrip);
320      this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
321      this.IsMdiContainer = true;
322      this.MainMenuStrip = this.menuStrip;
323      this.Name = "MainForm";
324      this.Text = "HeuristicLab";
325      this.MdiChildActivate += new System.EventHandler(this.MainForm_MdiChildActivate);
326      this.menuStrip.ResumeLayout(false);
327      this.menuStrip.PerformLayout();
328      this.toolStrip.ResumeLayout(false);
329      this.toolStrip.PerformLayout();
330      this.ResumeLayout(false);
331      this.PerformLayout();
332
333    }
334
335    #endregion
336
337    private System.Windows.Forms.MenuStrip menuStrip;
338    private System.Windows.Forms.ToolStripMenuItem fileToolStripMenuItem;
339    private System.Windows.Forms.ToolStripMenuItem exitToolStripMenuItem;
340    private System.Windows.Forms.StatusStrip statusStrip;
341    private System.Windows.Forms.ToolStripMenuItem newToolStripMenuItem;
342    private System.Windows.Forms.ToolStripSeparator toolStripMenuItem1;
343    private System.Windows.Forms.ToolStripMenuItem openToolStripMenuItem;
344    private System.Windows.Forms.ToolStripMenuItem helpToolStripMenuItem;
345    private System.Windows.Forms.ToolStripMenuItem aboutToolStripMenuItem;
346    private System.Windows.Forms.ToolStripMenuItem closeToolStripMenuItem;
347    private System.Windows.Forms.ToolStripMenuItem closeAllToolStripMenuItem;
348    private System.Windows.Forms.ToolStripMenuItem saveToolStripMenuItem;
349    private System.Windows.Forms.OpenFileDialog openFileDialog;
350    private System.Windows.Forms.SaveFileDialog saveFileDialog;
351    private System.Windows.Forms.ToolStripMenuItem saveAsToolStripMenuItem;
352    private System.Windows.Forms.ToolStripMenuItem saveAllToolStripMenuItem;
353    private System.Windows.Forms.ToolStripMenuItem toolsToolStripMenuItem;
354    private System.Windows.Forms.ToolStripMenuItem collectGarbageToolStripMenuItem;
355    private System.Windows.Forms.ToolStrip toolStrip;
356    private System.Windows.Forms.ToolStripDropDownButton newToolStripDropDownButton;
357    private System.Windows.Forms.ToolStripButton openToolStripButton;
358    private System.Windows.Forms.ToolStripButton saveToolStripButton;
359    private System.Windows.Forms.ToolStripButton saveAllToolStripButton;
360    private System.Windows.Forms.ToolStripMenuItem viewToolStripMenuItem;
361    private System.Windows.Forms.ToolStripMenuItem availableOperatorsToolStripMenuItem;
362    private WeifenLuo.WinFormsUI.Docking.DockPanel dockPanel;
363  }
364}
Note: See TracBrowser for help on using the repository browser.