Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.AdvancedOptimizationFrontend/3.2/MainForm.Designer.cs @ 3440

Last change on this file since 3440 was 2142, checked in by swagner, 15 years ago

Adapted shortcuts of "Save all" and "Save as" in AdvancedOptimizationFrontend and OptimizationFrontend (#618)
File size: 23.6 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.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() {
[2142]47      WeifenLuo.WinFormsUI.Docking.DockPanelSkin dockPanelSkin1 = new WeifenLuo.WinFormsUI.Docking.DockPanelSkin();
48      WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin autoHideStripSkin1 = new WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin();
49      WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
50      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient1 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
51      WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin dockPaneStripSkin1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin();
52      WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient dockPaneStripGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient();
53      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient2 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
54      WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient2 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
55      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient3 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
56      WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient dockPaneStripToolWindowGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient();
57      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient4 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
58      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient5 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
59      WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient3 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
60      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient6 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
61      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient7 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
[2]62      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(MainForm));
63      this.menuStrip = new System.Windows.Forms.MenuStrip();
64      this.fileToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
65      this.newToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
66      this.openToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
67      this.saveToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
68      this.saveAsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
69      this.saveAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
70      this.closeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
71      this.closeAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
72      this.toolStripMenuItem1 = new System.Windows.Forms.ToolStripSeparator();
73      this.exitToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
74      this.viewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
75      this.availableOperatorsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
76      this.toolsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
77      this.collectGarbageToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
78      this.helpToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
79      this.aboutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
80      this.statusStrip = new System.Windows.Forms.StatusStrip();
81      this.openFileDialog = new System.Windows.Forms.OpenFileDialog();
82      this.saveFileDialog = new System.Windows.Forms.SaveFileDialog();
83      this.toolStrip = new System.Windows.Forms.ToolStrip();
84      this.newToolStripDropDownButton = new System.Windows.Forms.ToolStripDropDownButton();
85      this.openToolStripButton = new System.Windows.Forms.ToolStripButton();
86      this.saveToolStripButton = new System.Windows.Forms.ToolStripButton();
87      this.saveAllToolStripButton = new System.Windows.Forms.ToolStripButton();
88      this.dockPanel = new WeifenLuo.WinFormsUI.Docking.DockPanel();
89      this.menuStrip.SuspendLayout();
90      this.toolStrip.SuspendLayout();
91      this.SuspendLayout();
92      //
93      // menuStrip
94      //
95      this.menuStrip.AllowMerge = false;
96      this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
97            this.fileToolStripMenuItem,
98            this.viewToolStripMenuItem,
99            this.toolsToolStripMenuItem,
100            this.helpToolStripMenuItem});
101      this.menuStrip.Location = new System.Drawing.Point(0, 0);
102      this.menuStrip.Name = "menuStrip";
103      this.menuStrip.ShowItemToolTips = true;
104      this.menuStrip.Size = new System.Drawing.Size(1016, 24);
105      this.menuStrip.TabIndex = 0;
106      //
107      // fileToolStripMenuItem
108      //
109      this.fileToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
110            this.newToolStripMenuItem,
111            this.openToolStripMenuItem,
112            this.saveToolStripMenuItem,
113            this.saveAsToolStripMenuItem,
114            this.saveAllToolStripMenuItem,
115            this.closeToolStripMenuItem,
116            this.closeAllToolStripMenuItem,
117            this.toolStripMenuItem1,
118            this.exitToolStripMenuItem});
119      this.fileToolStripMenuItem.Name = "fileToolStripMenuItem";
[2142]120      this.fileToolStripMenuItem.Size = new System.Drawing.Size(37, 20);
[2]121      this.fileToolStripMenuItem.Text = "&File";
122      //
123      // newToolStripMenuItem
124      //
125      this.newToolStripMenuItem.Name = "newToolStripMenuItem";
[2142]126      this.newToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[2]127      this.newToolStripMenuItem.Text = "&New";
128      //
129      // openToolStripMenuItem
130      //
131      this.openToolStripMenuItem.Name = "openToolStripMenuItem";
132      this.openToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.O)));
[2142]133      this.openToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[2]134      this.openToolStripMenuItem.Text = "&Open...";
135      this.openToolStripMenuItem.Click += new System.EventHandler(this.openToolStripMenuItem_Click);
136      //
137      // saveToolStripMenuItem
138      //
139      this.saveToolStripMenuItem.Enabled = false;
140      this.saveToolStripMenuItem.Name = "saveToolStripMenuItem";
141      this.saveToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.S)));
[2142]142      this.saveToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[2]143      this.saveToolStripMenuItem.Text = "&Save";
144      this.saveToolStripMenuItem.Click += new System.EventHandler(this.saveToolStripMenuItem_Click);
145      //
146      // saveAsToolStripMenuItem
147      //
148      this.saveAsToolStripMenuItem.Enabled = false;
149      this.saveAsToolStripMenuItem.Name = "saveAsToolStripMenuItem";
[2142]150      this.saveAsToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)(((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Shift)
151                  | System.Windows.Forms.Keys.S)));
152      this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[2]153      this.saveAsToolStripMenuItem.Text = "Save &As...";
154      this.saveAsToolStripMenuItem.Click += new System.EventHandler(this.saveAsToolStripMenuItem_Click);
155      //
156      // saveAllToolStripMenuItem
157      //
158      this.saveAllToolStripMenuItem.Enabled = false;
159      this.saveAllToolStripMenuItem.Name = "saveAllToolStripMenuItem";
[2142]160      this.saveAllToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[2]161      this.saveAllToolStripMenuItem.Text = "Save Al&l";
162      this.saveAllToolStripMenuItem.Click += new System.EventHandler(this.saveAllToolStripMenuItem_Click);
163      //
164      // closeToolStripMenuItem
165      //
166      this.closeToolStripMenuItem.Enabled = false;
167      this.closeToolStripMenuItem.Name = "closeToolStripMenuItem";
[2142]168      this.closeToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[2]169      this.closeToolStripMenuItem.Text = "&Close";
170      this.closeToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
171      //
172      // closeAllToolStripMenuItem
173      //
174      this.closeAllToolStripMenuItem.Enabled = false;
175      this.closeAllToolStripMenuItem.Name = "closeAllToolStripMenuItem";
[2142]176      this.closeAllToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[2]177      this.closeAllToolStripMenuItem.Text = "Clos&e All";
178      this.closeAllToolStripMenuItem.Click += new System.EventHandler(this.closeAllToolStripMenuItem_Click);
179      //
180      // toolStripMenuItem1
181      //
182      this.toolStripMenuItem1.Name = "toolStripMenuItem1";
[2142]183      this.toolStripMenuItem1.Size = new System.Drawing.Size(192, 6);
[2]184      //
185      // exitToolStripMenuItem
186      //
187      this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
[2142]188      this.exitToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[2]189      this.exitToolStripMenuItem.Text = "E&xit";
190      this.exitToolStripMenuItem.Click += new System.EventHandler(this.exitToolStripMenuItem_Click);
191      //
192      // viewToolStripMenuItem
193      //
194      this.viewToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
195            this.availableOperatorsToolStripMenuItem});
196      this.viewToolStripMenuItem.Name = "viewToolStripMenuItem";
[2142]197      this.viewToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
[2]198      this.viewToolStripMenuItem.Text = "&View";
199      //
200      // availableOperatorsToolStripMenuItem
201      //
202      this.availableOperatorsToolStripMenuItem.Name = "availableOperatorsToolStripMenuItem";
[2142]203      this.availableOperatorsToolStripMenuItem.Size = new System.Drawing.Size(186, 22);
[2]204      this.availableOperatorsToolStripMenuItem.Text = "Available &Operators...";
205      this.availableOperatorsToolStripMenuItem.Click += new System.EventHandler(this.availableOperatorsToolStripMenuItem_Click);
206      //
207      // toolsToolStripMenuItem
208      //
209      this.toolsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
210            this.collectGarbageToolStripMenuItem});
211      this.toolsToolStripMenuItem.Name = "toolsToolStripMenuItem";
[2142]212      this.toolsToolStripMenuItem.Size = new System.Drawing.Size(48, 20);
[2]213      this.toolsToolStripMenuItem.Text = "&Tools";
214      //
215      // collectGarbageToolStripMenuItem
216      //
217      this.collectGarbageToolStripMenuItem.Name = "collectGarbageToolStripMenuItem";
[2142]218      this.collectGarbageToolStripMenuItem.Size = new System.Drawing.Size(158, 22);
[2]219      this.collectGarbageToolStripMenuItem.Text = "Collect &Garbage";
220      this.collectGarbageToolStripMenuItem.Click += new System.EventHandler(this.collectGarbageToolStripMenuItem_Click);
221      //
222      // helpToolStripMenuItem
223      //
224      this.helpToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
225            this.aboutToolStripMenuItem});
226      this.helpToolStripMenuItem.Name = "helpToolStripMenuItem";
[2142]227      this.helpToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
[2]228      this.helpToolStripMenuItem.Text = "&Help";
229      //
230      // aboutToolStripMenuItem
231      //
232      this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
[2142]233      this.aboutToolStripMenuItem.Size = new System.Drawing.Size(107, 22);
[2]234      this.aboutToolStripMenuItem.Text = "&About";
235      this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
236      //
237      // statusStrip
238      //
239      this.statusStrip.Location = new System.Drawing.Point(0, 712);
240      this.statusStrip.Name = "statusStrip";
241      this.statusStrip.Size = new System.Drawing.Size(1016, 22);
242      this.statusStrip.TabIndex = 3;
243      //
244      // openFileDialog
245      //
246      this.openFileDialog.DefaultExt = "hl";
247      this.openFileDialog.FileName = "item";
248      this.openFileDialog.Filter = "HeuristicLab files|*.hl|All files|*.*";
249      this.openFileDialog.Title = "Open file ...";
250      //
251      // saveFileDialog
252      //
253      this.saveFileDialog.DefaultExt = "hl";
254      this.saveFileDialog.FileName = "item";
255      this.saveFileDialog.Filter = "HeuristicLab files|*.hl|All files|*.*";
256      this.saveFileDialog.Title = "Save file as ...";
257      //
258      // toolStrip
259      //
260      this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
261            this.newToolStripDropDownButton,
262            this.openToolStripButton,
263            this.saveToolStripButton,
264            this.saveAllToolStripButton});
265      this.toolStrip.Location = new System.Drawing.Point(0, 24);
266      this.toolStrip.Name = "toolStrip";
267      this.toolStrip.Size = new System.Drawing.Size(1016, 25);
268      this.toolStrip.TabIndex = 1;
269      this.toolStrip.Text = "toolStrip";
270      //
271      // newToolStripDropDownButton
272      //
273      this.newToolStripDropDownButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
274      this.newToolStripDropDownButton.Image = global::HeuristicLab.AdvancedOptimizationFrontend.Properties.Resources.New;
275      this.newToolStripDropDownButton.ImageTransparentColor = System.Drawing.Color.Magenta;
276      this.newToolStripDropDownButton.Name = "newToolStripDropDownButton";
277      this.newToolStripDropDownButton.Size = new System.Drawing.Size(29, 22);
278      this.newToolStripDropDownButton.Text = "New...";
279      //
280      // openToolStripButton
281      //
282      this.openToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
283      this.openToolStripButton.Image = global::HeuristicLab.AdvancedOptimizationFrontend.Properties.Resources.Open;
284      this.openToolStripButton.ImageTransparentColor = System.Drawing.Color.Magenta;
285      this.openToolStripButton.Name = "openToolStripButton";
286      this.openToolStripButton.Size = new System.Drawing.Size(23, 22);
287      this.openToolStripButton.Text = "Open...";
288      this.openToolStripButton.Click += new System.EventHandler(this.openToolStripButton_Click);
289      //
290      // saveToolStripButton
291      //
292      this.saveToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
293      this.saveToolStripButton.Enabled = false;
294      this.saveToolStripButton.Image = global::HeuristicLab.AdvancedOptimizationFrontend.Properties.Resources.Save;
295      this.saveToolStripButton.ImageTransparentColor = System.Drawing.Color.Magenta;
296      this.saveToolStripButton.Name = "saveToolStripButton";
297      this.saveToolStripButton.Size = new System.Drawing.Size(23, 22);
298      this.saveToolStripButton.Text = "Save";
299      this.saveToolStripButton.Click += new System.EventHandler(this.saveToolStripButton_Click);
300      //
301      // saveAllToolStripButton
302      //
303      this.saveAllToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
304      this.saveAllToolStripButton.Enabled = false;
305      this.saveAllToolStripButton.Image = global::HeuristicLab.AdvancedOptimizationFrontend.Properties.Resources.SaveAll;
306      this.saveAllToolStripButton.ImageTransparentColor = System.Drawing.Color.Magenta;
307      this.saveAllToolStripButton.Name = "saveAllToolStripButton";
308      this.saveAllToolStripButton.Size = new System.Drawing.Size(23, 22);
309      this.saveAllToolStripButton.Text = "Save all";
310      this.saveAllToolStripButton.Click += new System.EventHandler(this.saveAllToolStripButton_Click);
311      //
312      // dockPanel
313      //
314      this.dockPanel.ActiveAutoHideContent = null;
315      this.dockPanel.Dock = System.Windows.Forms.DockStyle.Fill;
[2142]316      this.dockPanel.DockBackColor = System.Drawing.SystemColors.Control;
[2]317      this.dockPanel.DockBottomPortion = 0.33;
318      this.dockPanel.DockLeftPortion = 0.33;
319      this.dockPanel.DockRightPortion = 0.33;
320      this.dockPanel.DockTopPortion = 0.33;
321      this.dockPanel.Location = new System.Drawing.Point(0, 49);
322      this.dockPanel.Name = "dockPanel";
323      this.dockPanel.RightToLeftLayout = true;
324      this.dockPanel.Size = new System.Drawing.Size(1016, 663);
[2142]325      dockPanelGradient1.EndColor = System.Drawing.SystemColors.ControlLight;
326      dockPanelGradient1.StartColor = System.Drawing.SystemColors.ControlLight;
327      autoHideStripSkin1.DockStripGradient = dockPanelGradient1;
328      tabGradient1.EndColor = System.Drawing.SystemColors.Control;
329      tabGradient1.StartColor = System.Drawing.SystemColors.Control;
330      tabGradient1.TextColor = System.Drawing.SystemColors.ControlDarkDark;
331      autoHideStripSkin1.TabGradient = tabGradient1;
332      dockPanelSkin1.AutoHideStripSkin = autoHideStripSkin1;
333      tabGradient2.EndColor = System.Drawing.SystemColors.ControlLightLight;
334      tabGradient2.StartColor = System.Drawing.SystemColors.ControlLightLight;
335      tabGradient2.TextColor = System.Drawing.SystemColors.ControlText;
336      dockPaneStripGradient1.ActiveTabGradient = tabGradient2;
337      dockPanelGradient2.EndColor = System.Drawing.SystemColors.Control;
338      dockPanelGradient2.StartColor = System.Drawing.SystemColors.Control;
339      dockPaneStripGradient1.DockStripGradient = dockPanelGradient2;
340      tabGradient3.EndColor = System.Drawing.SystemColors.ControlLight;
341      tabGradient3.StartColor = System.Drawing.SystemColors.ControlLight;
342      tabGradient3.TextColor = System.Drawing.SystemColors.ControlText;
343      dockPaneStripGradient1.InactiveTabGradient = tabGradient3;
344      dockPaneStripSkin1.DocumentGradient = dockPaneStripGradient1;
345      tabGradient4.EndColor = System.Drawing.SystemColors.ActiveCaption;
346      tabGradient4.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
347      tabGradient4.StartColor = System.Drawing.SystemColors.GradientActiveCaption;
348      tabGradient4.TextColor = System.Drawing.SystemColors.ActiveCaptionText;
349      dockPaneStripToolWindowGradient1.ActiveCaptionGradient = tabGradient4;
350      tabGradient5.EndColor = System.Drawing.SystemColors.Control;
351      tabGradient5.StartColor = System.Drawing.SystemColors.Control;
352      tabGradient5.TextColor = System.Drawing.SystemColors.ControlText;
353      dockPaneStripToolWindowGradient1.ActiveTabGradient = tabGradient5;
354      dockPanelGradient3.EndColor = System.Drawing.SystemColors.ControlLight;
355      dockPanelGradient3.StartColor = System.Drawing.SystemColors.ControlLight;
356      dockPaneStripToolWindowGradient1.DockStripGradient = dockPanelGradient3;
357      tabGradient6.EndColor = System.Drawing.SystemColors.GradientInactiveCaption;
358      tabGradient6.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
359      tabGradient6.StartColor = System.Drawing.SystemColors.GradientInactiveCaption;
360      tabGradient6.TextColor = System.Drawing.SystemColors.ControlText;
361      dockPaneStripToolWindowGradient1.InactiveCaptionGradient = tabGradient6;
362      tabGradient7.EndColor = System.Drawing.Color.Transparent;
363      tabGradient7.StartColor = System.Drawing.Color.Transparent;
364      tabGradient7.TextColor = System.Drawing.SystemColors.ControlDarkDark;
365      dockPaneStripToolWindowGradient1.InactiveTabGradient = tabGradient7;
366      dockPaneStripSkin1.ToolWindowGradient = dockPaneStripToolWindowGradient1;
367      dockPanelSkin1.DockPaneStripSkin = dockPaneStripSkin1;
368      this.dockPanel.Skin = dockPanelSkin1;
[2]369      this.dockPanel.TabIndex = 2;
370      //
371      // MainForm
372      //
373      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
374      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
375      this.ClientSize = new System.Drawing.Size(1016, 734);
376      this.Controls.Add(this.dockPanel);
377      this.Controls.Add(this.toolStrip);
378      this.Controls.Add(this.statusStrip);
379      this.Controls.Add(this.menuStrip);
380      this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
381      this.IsMdiContainer = true;
382      this.MainMenuStrip = this.menuStrip;
383      this.Name = "MainForm";
384      this.Text = "HeuristicLab";
385      this.MdiChildActivate += new System.EventHandler(this.MainForm_MdiChildActivate);
386      this.menuStrip.ResumeLayout(false);
387      this.menuStrip.PerformLayout();
388      this.toolStrip.ResumeLayout(false);
389      this.toolStrip.PerformLayout();
390      this.ResumeLayout(false);
391      this.PerformLayout();
392
393    }
394
395    #endregion
396
397    private System.Windows.Forms.MenuStrip menuStrip;
398    private System.Windows.Forms.ToolStripMenuItem fileToolStripMenuItem;
399    private System.Windows.Forms.ToolStripMenuItem exitToolStripMenuItem;
400    private System.Windows.Forms.StatusStrip statusStrip;
401    private System.Windows.Forms.ToolStripMenuItem newToolStripMenuItem;
402    private System.Windows.Forms.ToolStripSeparator toolStripMenuItem1;
403    private System.Windows.Forms.ToolStripMenuItem openToolStripMenuItem;
404    private System.Windows.Forms.ToolStripMenuItem helpToolStripMenuItem;
405    private System.Windows.Forms.ToolStripMenuItem aboutToolStripMenuItem;
406    private System.Windows.Forms.ToolStripMenuItem closeToolStripMenuItem;
407    private System.Windows.Forms.ToolStripMenuItem closeAllToolStripMenuItem;
408    private System.Windows.Forms.ToolStripMenuItem saveToolStripMenuItem;
409    private System.Windows.Forms.OpenFileDialog openFileDialog;
410    private System.Windows.Forms.SaveFileDialog saveFileDialog;
411    private System.Windows.Forms.ToolStripMenuItem saveAsToolStripMenuItem;
412    private System.Windows.Forms.ToolStripMenuItem saveAllToolStripMenuItem;
413    private System.Windows.Forms.ToolStripMenuItem toolsToolStripMenuItem;
414    private System.Windows.Forms.ToolStripMenuItem collectGarbageToolStripMenuItem;
415    private System.Windows.Forms.ToolStrip toolStrip;
416    private System.Windows.Forms.ToolStripDropDownButton newToolStripDropDownButton;
417    private System.Windows.Forms.ToolStripButton openToolStripButton;
418    private System.Windows.Forms.ToolStripButton saveToolStripButton;
419    private System.Windows.Forms.ToolStripButton saveAllToolStripButton;
420    private System.Windows.Forms.ToolStripMenuItem viewToolStripMenuItem;
421    private System.Windows.Forms.ToolStripMenuItem availableOperatorsToolStripMenuItem;
422    private WeifenLuo.WinFormsUI.Docking.DockPanel dockPanel;
423  }
424}
Note: See TracBrowser for help on using the repository browser.