Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.OptimizationFrontend/MainForm.Designer.cs @ 246

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

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