1 | using System.Windows.Forms;
|
---|
2 | using HeuristicLab.MainForm.WindowsForms;
|
---|
3 |
|
---|
4 | namespace HeuristicLab.Problems.GPDL.Views {
|
---|
5 | partial class GpdlEditor {
|
---|
6 | /// <summary>
|
---|
7 | /// Required designer variable.
|
---|
8 | /// </summary>
|
---|
9 | private System.ComponentModel.IContainer components = null;
|
---|
10 |
|
---|
11 | /// <summary>
|
---|
12 | /// Clean up any resources being used.
|
---|
13 | /// </summary>
|
---|
14 | /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
|
---|
15 | protected override void Dispose(bool disposing) {
|
---|
16 | if (disposing && (components != null)) {
|
---|
17 | components.Dispose();
|
---|
18 | }
|
---|
19 | base.Dispose(disposing);
|
---|
20 | }
|
---|
21 |
|
---|
22 | #region Component Designer generated code
|
---|
23 |
|
---|
24 | /// <summary>
|
---|
25 | /// Required method for Designer support - do not modify
|
---|
26 | /// the contents of this method with the code editor.
|
---|
27 | /// </summary>
|
---|
28 | private void InitializeComponent() {
|
---|
29 | this.compileButton = new System.Windows.Forms.Button();
|
---|
30 | this.gpdlTextBox = new System.Windows.Forms.TextBox();
|
---|
31 | this.splitContainer = new System.Windows.Forms.SplitContainer();
|
---|
32 | this.viewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
|
---|
33 | ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).BeginInit();
|
---|
34 | this.splitContainer.Panel1.SuspendLayout();
|
---|
35 | this.splitContainer.Panel2.SuspendLayout();
|
---|
36 | this.splitContainer.SuspendLayout();
|
---|
37 | this.SuspendLayout();
|
---|
38 | //
|
---|
39 | // compileButton
|
---|
40 | //
|
---|
41 | this.compileButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
|
---|
42 | this.compileButton.Location = new System.Drawing.Point(583, 431);
|
---|
43 | this.compileButton.Name = "compileButton";
|
---|
44 | this.compileButton.Size = new System.Drawing.Size(75, 23);
|
---|
45 | this.compileButton.TabIndex = 0;
|
---|
46 | this.compileButton.Text = "Compile";
|
---|
47 | this.compileButton.UseVisualStyleBackColor = true;
|
---|
48 | this.compileButton.Click += new System.EventHandler(this.compileButton_Click);
|
---|
49 | //
|
---|
50 | // gpdlTextBox
|
---|
51 | //
|
---|
52 | this.gpdlTextBox.AcceptsReturn = true;
|
---|
53 | this.gpdlTextBox.AcceptsTab = true;
|
---|
54 | this.gpdlTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
55 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
56 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
57 | this.gpdlTextBox.Font = new System.Drawing.Font("Courier New", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
|
---|
58 | this.gpdlTextBox.Location = new System.Drawing.Point(3, 3);
|
---|
59 | this.gpdlTextBox.Multiline = true;
|
---|
60 | this.gpdlTextBox.Name = "gpdlTextBox";
|
---|
61 | this.gpdlTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Both;
|
---|
62 | this.gpdlTextBox.Size = new System.Drawing.Size(655, 422);
|
---|
63 | this.gpdlTextBox.TabIndex = 1;
|
---|
64 | //
|
---|
65 | // splitContainer
|
---|
66 | //
|
---|
67 | this.splitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
|
---|
68 | this.splitContainer.IsSplitterFixed = true;
|
---|
69 | this.splitContainer.Location = new System.Drawing.Point(0, 0);
|
---|
70 | this.splitContainer.Name = "splitContainer";
|
---|
71 | this.splitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
|
---|
72 | //
|
---|
73 | // splitContainer.Panel1
|
---|
74 | //
|
---|
75 | this.splitContainer.Panel1.Controls.Add(this.viewHost);
|
---|
76 | //
|
---|
77 | // splitContainer.Panel2
|
---|
78 | //
|
---|
79 | this.splitContainer.Panel2.Controls.Add(this.compileButton);
|
---|
80 | this.splitContainer.Panel2.Controls.Add(this.gpdlTextBox);
|
---|
81 | this.splitContainer.Size = new System.Drawing.Size(661, 487);
|
---|
82 | this.splitContainer.SplitterDistance = 26;
|
---|
83 | this.splitContainer.TabIndex = 2;
|
---|
84 | //
|
---|
85 | // viewHost
|
---|
86 | //
|
---|
87 | this.viewHost.Caption = "View";
|
---|
88 | this.viewHost.Content = null;
|
---|
89 | this.viewHost.Dock = System.Windows.Forms.DockStyle.Fill;
|
---|
90 | this.viewHost.Enabled = false;
|
---|
91 | this.viewHost.Location = new System.Drawing.Point(0, 0);
|
---|
92 | this.viewHost.Name = "viewHost";
|
---|
93 | this.viewHost.ReadOnly = false;
|
---|
94 | this.viewHost.Size = new System.Drawing.Size(661, 26);
|
---|
95 | this.viewHost.TabIndex = 0;
|
---|
96 | this.viewHost.ViewsLabelVisible = true;
|
---|
97 | this.viewHost.ViewType = null;
|
---|
98 | //
|
---|
99 | // GpdlEditor
|
---|
100 | //
|
---|
101 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
---|
102 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
---|
103 | this.Controls.Add(this.splitContainer);
|
---|
104 | this.Name = "GpdlEditor";
|
---|
105 | this.Size = new System.Drawing.Size(661, 487);
|
---|
106 | this.splitContainer.Panel1.ResumeLayout(false);
|
---|
107 | this.splitContainer.Panel2.ResumeLayout(false);
|
---|
108 | this.splitContainer.Panel2.PerformLayout();
|
---|
109 | ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).EndInit();
|
---|
110 | this.splitContainer.ResumeLayout(false);
|
---|
111 | this.ResumeLayout(false);
|
---|
112 |
|
---|
113 | }
|
---|
114 |
|
---|
115 | #endregion
|
---|
116 |
|
---|
117 | private ViewHost viewHost;
|
---|
118 | private System.Windows.Forms.Button compileButton;
|
---|
119 | private System.Windows.Forms.TextBox gpdlTextBox;
|
---|
120 | private System.Windows.Forms.SplitContainer splitContainer;
|
---|
121 | }
|
---|
122 | }
|
---|