1 | namespace HeuristicLab.HiveEngine.Views {
|
---|
2 | partial class HiveEngineView {
|
---|
3 | /// <summary>
|
---|
4 | /// Required designer variable.
|
---|
5 | /// </summary>
|
---|
6 | private System.ComponentModel.IContainer components = null;
|
---|
7 |
|
---|
8 | /// <summary>
|
---|
9 | /// Clean up any resources being used.
|
---|
10 | /// </summary>
|
---|
11 | /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
|
---|
12 | protected override void Dispose(bool disposing) {
|
---|
13 | if (disposing && (components != null)) {
|
---|
14 | components.Dispose();
|
---|
15 | }
|
---|
16 | base.Dispose(disposing);
|
---|
17 | }
|
---|
18 |
|
---|
19 | #region Component Designer generated code
|
---|
20 |
|
---|
21 | /// <summary>
|
---|
22 | /// Required method for Designer support - do not modify
|
---|
23 | /// the contents of this method with the code editor.
|
---|
24 | /// </summary>
|
---|
25 | private void InitializeComponent() {
|
---|
26 | this.resourceIdsLabel = new System.Windows.Forms.Label();
|
---|
27 | this.resourceIdsTextBox = new System.Windows.Forms.TextBox();
|
---|
28 | this.priorityLabel = new System.Windows.Forms.Label();
|
---|
29 | this.priorityTextBox = new System.Windows.Forms.TextBox();
|
---|
30 | this.label1 = new System.Windows.Forms.Label();
|
---|
31 | this.executionTimeOnHiveTextBox = new System.Windows.Forms.TextBox();
|
---|
32 | this.SuspendLayout();
|
---|
33 | //
|
---|
34 | // executionTimeTextBox
|
---|
35 | //
|
---|
36 | this.executionTimeTextBox.Size = new System.Drawing.Size(623, 20);
|
---|
37 | //
|
---|
38 | // logView
|
---|
39 | //
|
---|
40 | this.logView.Location = new System.Drawing.Point(0, 78);
|
---|
41 | this.logView.Size = new System.Drawing.Size(715, 469);
|
---|
42 | //
|
---|
43 | // resourceIdsLabel
|
---|
44 | //
|
---|
45 | this.resourceIdsLabel.AutoSize = true;
|
---|
46 | this.resourceIdsLabel.Location = new System.Drawing.Point(113, 55);
|
---|
47 | this.resourceIdsLabel.Name = "resourceIdsLabel";
|
---|
48 | this.resourceIdsLabel.Size = new System.Drawing.Size(70, 13);
|
---|
49 | this.resourceIdsLabel.TabIndex = 3;
|
---|
50 | this.resourceIdsLabel.Text = "ResourceIds:";
|
---|
51 | //
|
---|
52 | // resourceIdsTextBox
|
---|
53 | //
|
---|
54 | this.resourceIdsTextBox.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.resourceIdsTextBox.Location = new System.Drawing.Point(189, 52);
|
---|
58 | this.resourceIdsTextBox.Name = "resourceIdsTextBox";
|
---|
59 | this.resourceIdsTextBox.Size = new System.Drawing.Size(526, 20);
|
---|
60 | this.resourceIdsTextBox.TabIndex = 4;
|
---|
61 | this.resourceIdsTextBox.Text = "HEAL";
|
---|
62 | this.resourceIdsTextBox.TextChanged += new System.EventHandler(this.resourceIdsTextBox_TextChanged);
|
---|
63 | //
|
---|
64 | // priorityLabel
|
---|
65 | //
|
---|
66 | this.priorityLabel.AutoSize = true;
|
---|
67 | this.priorityLabel.Location = new System.Drawing.Point(3, 55);
|
---|
68 | this.priorityLabel.Name = "priorityLabel";
|
---|
69 | this.priorityLabel.Size = new System.Drawing.Size(41, 13);
|
---|
70 | this.priorityLabel.TabIndex = 5;
|
---|
71 | this.priorityLabel.Text = "Priority:";
|
---|
72 | //
|
---|
73 | // priorityTextBox
|
---|
74 | //
|
---|
75 | this.priorityTextBox.Location = new System.Drawing.Point(50, 52);
|
---|
76 | this.priorityTextBox.Name = "priorityTextBox";
|
---|
77 | this.priorityTextBox.Size = new System.Drawing.Size(57, 20);
|
---|
78 | this.priorityTextBox.TabIndex = 6;
|
---|
79 | this.priorityTextBox.Text = "0";
|
---|
80 | this.priorityTextBox.TextChanged += new System.EventHandler(this.priorityTextBox_TextChanged);
|
---|
81 | //
|
---|
82 | // label1
|
---|
83 | //
|
---|
84 | this.label1.AutoSize = true;
|
---|
85 | this.label1.Location = new System.Drawing.Point(3, 29);
|
---|
86 | this.label1.Name = "label1";
|
---|
87 | this.label1.Size = new System.Drawing.Size(123, 13);
|
---|
88 | this.label1.TabIndex = 7;
|
---|
89 | this.label1.Text = "Execution Time on Hive:";
|
---|
90 | //
|
---|
91 | // executionTimeOnHiveTextBox
|
---|
92 | //
|
---|
93 | this.executionTimeOnHiveTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
94 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
95 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
96 | this.executionTimeOnHiveTextBox.Location = new System.Drawing.Point(129, 26);
|
---|
97 | this.executionTimeOnHiveTextBox.Name = "executionTimeOnHiveTextBox";
|
---|
98 | this.executionTimeOnHiveTextBox.ReadOnly = true;
|
---|
99 | this.executionTimeOnHiveTextBox.Size = new System.Drawing.Size(586, 20);
|
---|
100 | this.executionTimeOnHiveTextBox.TabIndex = 8;
|
---|
101 | //
|
---|
102 | // HiveEngineView
|
---|
103 | //
|
---|
104 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
---|
105 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
---|
106 | this.Controls.Add(this.label1);
|
---|
107 | this.Controls.Add(this.executionTimeOnHiveTextBox);
|
---|
108 | this.Controls.Add(this.priorityTextBox);
|
---|
109 | this.Controls.Add(this.priorityLabel);
|
---|
110 | this.Controls.Add(this.resourceIdsLabel);
|
---|
111 | this.Controls.Add(this.resourceIdsTextBox);
|
---|
112 | this.Name = "HiveEngineView";
|
---|
113 | this.Size = new System.Drawing.Size(715, 550);
|
---|
114 | this.Controls.SetChildIndex(this.resourceIdsTextBox, 0);
|
---|
115 | this.Controls.SetChildIndex(this.resourceIdsLabel, 0);
|
---|
116 | this.Controls.SetChildIndex(this.priorityLabel, 0);
|
---|
117 | this.Controls.SetChildIndex(this.priorityTextBox, 0);
|
---|
118 | this.Controls.SetChildIndex(this.logView, 0);
|
---|
119 | this.Controls.SetChildIndex(this.executionTimeLabel, 0);
|
---|
120 | this.Controls.SetChildIndex(this.executionTimeTextBox, 0);
|
---|
121 | this.Controls.SetChildIndex(this.executionTimeOnHiveTextBox, 0);
|
---|
122 | this.Controls.SetChildIndex(this.label1, 0);
|
---|
123 | this.ResumeLayout(false);
|
---|
124 | this.PerformLayout();
|
---|
125 |
|
---|
126 | }
|
---|
127 |
|
---|
128 | #endregion
|
---|
129 |
|
---|
130 | private System.Windows.Forms.Label resourceIdsLabel;
|
---|
131 | private System.Windows.Forms.TextBox resourceIdsTextBox;
|
---|
132 | private System.Windows.Forms.Label priorityLabel;
|
---|
133 | private System.Windows.Forms.TextBox priorityTextBox;
|
---|
134 | private System.Windows.Forms.Label label1;
|
---|
135 | protected System.Windows.Forms.TextBox executionTimeOnHiveTextBox;
|
---|
136 | }
|
---|
137 | }
|
---|