[3349] | 1 | namespace HeuristicLab.Optimization.Views {
|
---|
| 2 | partial class RunCollectionBubbleChartView {
|
---|
| 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() {
|
---|
[3487] | 26 | this.components = new System.ComponentModel.Container();
|
---|
| 27 | System.Windows.Forms.DataVisualization.Charting.ChartArea chartArea1 = new System.Windows.Forms.DataVisualization.Charting.ChartArea();
|
---|
| 28 | System.Windows.Forms.DataVisualization.Charting.Series series1 = new System.Windows.Forms.DataVisualization.Charting.Series();
|
---|
[3349] | 29 | this.yJitterLabel = new System.Windows.Forms.Label();
|
---|
| 30 | this.xJitterlabel = new System.Windows.Forms.Label();
|
---|
| 31 | this.xTrackBar = new System.Windows.Forms.TrackBar();
|
---|
| 32 | this.xAxisLabel = new System.Windows.Forms.Label();
|
---|
| 33 | this.xAxisComboBox = new System.Windows.Forms.ComboBox();
|
---|
| 34 | this.yAxisLabel = new System.Windows.Forms.Label();
|
---|
| 35 | this.yAxisComboBox = new System.Windows.Forms.ComboBox();
|
---|
| 36 | this.yTrackBar = new System.Windows.Forms.TrackBar();
|
---|
| 37 | this.sizeComboBox = new System.Windows.Forms.ComboBox();
|
---|
| 38 | this.sizeLabel = new System.Windows.Forms.Label();
|
---|
| 39 | this.chart = new System.Windows.Forms.DataVisualization.Charting.Chart();
|
---|
| 40 | this.zoomButton = new System.Windows.Forms.RadioButton();
|
---|
| 41 | this.selectButton = new System.Windows.Forms.RadioButton();
|
---|
| 42 | this.radioButtonGroup = new System.Windows.Forms.GroupBox();
|
---|
| 43 | this.colorButton = new System.Windows.Forms.Button();
|
---|
| 44 | this.colorDialog = new System.Windows.Forms.ColorDialog();
|
---|
[3487] | 45 | this.tooltip = new System.Windows.Forms.ToolTip(this.components);
|
---|
[3543] | 46 | this.noRunsLabel = new System.Windows.Forms.Label();
|
---|
[3349] | 47 | ((System.ComponentModel.ISupportInitialize)(this.xTrackBar)).BeginInit();
|
---|
| 48 | ((System.ComponentModel.ISupportInitialize)(this.yTrackBar)).BeginInit();
|
---|
| 49 | ((System.ComponentModel.ISupportInitialize)(this.chart)).BeginInit();
|
---|
| 50 | this.radioButtonGroup.SuspendLayout();
|
---|
| 51 | this.SuspendLayout();
|
---|
| 52 | //
|
---|
| 53 | // yJitterLabel
|
---|
| 54 | //
|
---|
| 55 | this.yJitterLabel.AutoSize = true;
|
---|
| 56 | this.yJitterLabel.Location = new System.Drawing.Point(257, 6);
|
---|
| 57 | this.yJitterLabel.Name = "yJitterLabel";
|
---|
[3482] | 58 | this.yJitterLabel.Size = new System.Drawing.Size(32, 13);
|
---|
[3349] | 59 | this.yJitterLabel.TabIndex = 13;
|
---|
[3482] | 60 | this.yJitterLabel.Text = "Jitter:";
|
---|
[3349] | 61 | //
|
---|
| 62 | // xJitterlabel
|
---|
| 63 | //
|
---|
| 64 | this.xJitterlabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 65 | this.xJitterlabel.AutoSize = true;
|
---|
[3543] | 66 | this.xJitterlabel.Location = new System.Drawing.Point(539, 295);
|
---|
[3349] | 67 | this.xJitterlabel.Name = "xJitterlabel";
|
---|
[3482] | 68 | this.xJitterlabel.Size = new System.Drawing.Size(32, 13);
|
---|
[3349] | 69 | this.xJitterlabel.TabIndex = 12;
|
---|
[3482] | 70 | this.xJitterlabel.Text = "Jitter:";
|
---|
[3349] | 71 | //
|
---|
| 72 | // xTrackBar
|
---|
| 73 | //
|
---|
| 74 | this.xTrackBar.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
|
---|
[3543] | 75 | this.xTrackBar.Location = new System.Drawing.Point(577, 292);
|
---|
[3349] | 76 | this.xTrackBar.Maximum = 100;
|
---|
| 77 | this.xTrackBar.Name = "xTrackBar";
|
---|
| 78 | this.xTrackBar.Size = new System.Drawing.Size(64, 45);
|
---|
| 79 | this.xTrackBar.TabIndex = 11;
|
---|
| 80 | this.xTrackBar.TickStyle = System.Windows.Forms.TickStyle.None;
|
---|
[3411] | 81 | this.xTrackBar.ValueChanged += new System.EventHandler(this.jitterTrackBar_ValueChanged);
|
---|
[3349] | 82 | //
|
---|
| 83 | // xAxisLabel
|
---|
| 84 | //
|
---|
| 85 | this.xAxisLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 86 | this.xAxisLabel.AutoSize = true;
|
---|
[3543] | 87 | this.xAxisLabel.Location = new System.Drawing.Point(290, 294);
|
---|
[3349] | 88 | this.xAxisLabel.Name = "xAxisLabel";
|
---|
| 89 | this.xAxisLabel.Size = new System.Drawing.Size(15, 13);
|
---|
| 90 | this.xAxisLabel.TabIndex = 8;
|
---|
| 91 | this.xAxisLabel.Text = "x:";
|
---|
| 92 | //
|
---|
| 93 | // xAxisComboBox
|
---|
| 94 | //
|
---|
| 95 | this.xAxisComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 96 | this.xAxisComboBox.BackColor = System.Drawing.SystemColors.ControlLightLight;
|
---|
| 97 | this.xAxisComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
|
---|
| 98 | this.xAxisComboBox.FormattingEnabled = true;
|
---|
[3543] | 99 | this.xAxisComboBox.Location = new System.Drawing.Point(311, 292);
|
---|
[3349] | 100 | this.xAxisComboBox.Name = "xAxisComboBox";
|
---|
| 101 | this.xAxisComboBox.Size = new System.Drawing.Size(221, 21);
|
---|
| 102 | this.xAxisComboBox.TabIndex = 7;
|
---|
| 103 | this.xAxisComboBox.SelectedIndexChanged += new System.EventHandler(this.AxisComboBox_SelectedIndexChanged);
|
---|
| 104 | //
|
---|
| 105 | // yAxisLabel
|
---|
| 106 | //
|
---|
| 107 | this.yAxisLabel.AutoSize = true;
|
---|
| 108 | this.yAxisLabel.Location = new System.Drawing.Point(3, 6);
|
---|
| 109 | this.yAxisLabel.Name = "yAxisLabel";
|
---|
| 110 | this.yAxisLabel.Size = new System.Drawing.Size(15, 13);
|
---|
| 111 | this.yAxisLabel.TabIndex = 6;
|
---|
| 112 | this.yAxisLabel.Text = "y:";
|
---|
| 113 | //
|
---|
| 114 | // yAxisComboBox
|
---|
| 115 | //
|
---|
| 116 | this.yAxisComboBox.BackColor = System.Drawing.SystemColors.ControlLightLight;
|
---|
| 117 | this.yAxisComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
|
---|
| 118 | this.yAxisComboBox.FormattingEnabled = true;
|
---|
| 119 | this.yAxisComboBox.Location = new System.Drawing.Point(24, 3);
|
---|
| 120 | this.yAxisComboBox.Name = "yAxisComboBox";
|
---|
| 121 | this.yAxisComboBox.Size = new System.Drawing.Size(221, 21);
|
---|
| 122 | this.yAxisComboBox.TabIndex = 5;
|
---|
| 123 | this.yAxisComboBox.SelectedIndexChanged += new System.EventHandler(this.AxisComboBox_SelectedIndexChanged);
|
---|
| 124 | //
|
---|
| 125 | // yTrackBar
|
---|
| 126 | //
|
---|
[3482] | 127 | this.yTrackBar.Location = new System.Drawing.Point(295, 3);
|
---|
[3349] | 128 | this.yTrackBar.Maximum = 100;
|
---|
| 129 | this.yTrackBar.Name = "yTrackBar";
|
---|
| 130 | this.yTrackBar.Size = new System.Drawing.Size(59, 45);
|
---|
| 131 | this.yTrackBar.TabIndex = 10;
|
---|
| 132 | this.yTrackBar.TickStyle = System.Windows.Forms.TickStyle.None;
|
---|
[3411] | 133 | this.yTrackBar.ValueChanged += new System.EventHandler(this.jitterTrackBar_ValueChanged);
|
---|
[3349] | 134 | //
|
---|
| 135 | // sizeComboBox
|
---|
| 136 | //
|
---|
| 137 | this.sizeComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 138 | this.sizeComboBox.BackColor = System.Drawing.SystemColors.ControlLightLight;
|
---|
| 139 | this.sizeComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
|
---|
| 140 | this.sizeComboBox.FormattingEnabled = true;
|
---|
[3543] | 141 | this.sizeComboBox.Location = new System.Drawing.Point(418, 3);
|
---|
[3349] | 142 | this.sizeComboBox.Name = "sizeComboBox";
|
---|
[3524] | 143 | this.sizeComboBox.Size = new System.Drawing.Size(221, 21);
|
---|
[3349] | 144 | this.sizeComboBox.TabIndex = 14;
|
---|
[3411] | 145 | this.sizeComboBox.SelectedIndexChanged += new System.EventHandler(this.AxisComboBox_SelectedIndexChanged);
|
---|
[3349] | 146 | //
|
---|
| 147 | // sizeLabel
|
---|
| 148 | //
|
---|
| 149 | this.sizeLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 150 | this.sizeLabel.AutoSize = true;
|
---|
[3543] | 151 | this.sizeLabel.Location = new System.Drawing.Point(348, 6);
|
---|
[3349] | 152 | this.sizeLabel.Name = "sizeLabel";
|
---|
[3482] | 153 | this.sizeLabel.Size = new System.Drawing.Size(66, 13);
|
---|
[3349] | 154 | this.sizeLabel.TabIndex = 15;
|
---|
[3482] | 155 | this.sizeLabel.Text = "Bubble Size:";
|
---|
[3349] | 156 | //
|
---|
| 157 | // chart
|
---|
| 158 | //
|
---|
| 159 | this.chart.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 160 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 161 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
[3487] | 162 | chartArea1.Name = "ChartArea1";
|
---|
| 163 | this.chart.ChartAreas.Add(chartArea1);
|
---|
[3349] | 164 | this.chart.Location = new System.Drawing.Point(6, 30);
|
---|
| 165 | this.chart.Name = "chart";
|
---|
[3487] | 166 | series1.ChartArea = "ChartArea1";
|
---|
| 167 | series1.ChartType = System.Windows.Forms.DataVisualization.Charting.SeriesChartType.Bubble;
|
---|
[3524] | 168 | series1.CustomProperties = "BubbleMinSize=2, BubbleMaxSize=7";
|
---|
[3487] | 169 | series1.IsVisibleInLegend = false;
|
---|
| 170 | series1.MarkerStyle = System.Windows.Forms.DataVisualization.Charting.MarkerStyle.Circle;
|
---|
| 171 | series1.Name = "Bubbles";
|
---|
| 172 | series1.YValuesPerPoint = 2;
|
---|
| 173 | this.chart.Series.Add(series1);
|
---|
[3543] | 174 | this.chart.Size = new System.Drawing.Size(633, 248);
|
---|
[3349] | 175 | this.chart.TabIndex = 16;
|
---|
[3524] | 176 | this.chart.Text = "chart";
|
---|
[3428] | 177 | this.chart.MouseUp += new System.Windows.Forms.MouseEventHandler(this.chart_MouseUp);
|
---|
[3411] | 178 | this.chart.MouseMove += new System.Windows.Forms.MouseEventHandler(this.chart_MouseMove);
|
---|
| 179 | this.chart.MouseDown += new System.Windows.Forms.MouseEventHandler(this.chart_MouseDown);
|
---|
[3349] | 180 | //
|
---|
| 181 | // zoomButton
|
---|
| 182 | //
|
---|
| 183 | this.zoomButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
---|
| 184 | this.zoomButton.AutoSize = true;
|
---|
| 185 | this.zoomButton.Checked = true;
|
---|
| 186 | this.zoomButton.Location = new System.Drawing.Point(6, 10);
|
---|
| 187 | this.zoomButton.Name = "zoomButton";
|
---|
| 188 | this.zoomButton.Size = new System.Drawing.Size(52, 17);
|
---|
| 189 | this.zoomButton.TabIndex = 17;
|
---|
| 190 | this.zoomButton.TabStop = true;
|
---|
| 191 | this.zoomButton.Text = "Zoom";
|
---|
| 192 | this.zoomButton.UseVisualStyleBackColor = true;
|
---|
[3411] | 193 | this.zoomButton.CheckedChanged += new System.EventHandler(this.zoomButton_CheckedChanged);
|
---|
[3349] | 194 | //
|
---|
| 195 | // selectButton
|
---|
| 196 | //
|
---|
| 197 | this.selectButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
---|
| 198 | this.selectButton.AutoSize = true;
|
---|
| 199 | this.selectButton.Location = new System.Drawing.Point(64, 9);
|
---|
| 200 | this.selectButton.Name = "selectButton";
|
---|
| 201 | this.selectButton.Size = new System.Drawing.Size(55, 17);
|
---|
| 202 | this.selectButton.TabIndex = 18;
|
---|
| 203 | this.selectButton.Text = "Select";
|
---|
| 204 | this.selectButton.UseVisualStyleBackColor = true;
|
---|
| 205 | //
|
---|
| 206 | // radioButtonGroup
|
---|
| 207 | //
|
---|
| 208 | this.radioButtonGroup.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
---|
| 209 | this.radioButtonGroup.Controls.Add(this.zoomButton);
|
---|
| 210 | this.radioButtonGroup.Controls.Add(this.selectButton);
|
---|
[3543] | 211 | this.radioButtonGroup.Location = new System.Drawing.Point(3, 284);
|
---|
[3349] | 212 | this.radioButtonGroup.Name = "radioButtonGroup";
|
---|
| 213 | this.radioButtonGroup.Size = new System.Drawing.Size(135, 32);
|
---|
| 214 | this.radioButtonGroup.TabIndex = 19;
|
---|
| 215 | this.radioButtonGroup.TabStop = false;
|
---|
| 216 | //
|
---|
| 217 | // colorButton
|
---|
| 218 | //
|
---|
| 219 | this.colorButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
---|
| 220 | this.colorButton.Enabled = false;
|
---|
| 221 | this.colorButton.ImageAlign = System.Drawing.ContentAlignment.MiddleLeft;
|
---|
[3543] | 222 | this.colorButton.Location = new System.Drawing.Point(144, 292);
|
---|
[3349] | 223 | this.colorButton.Name = "colorButton";
|
---|
[3482] | 224 | this.colorButton.Size = new System.Drawing.Size(64, 21);
|
---|
[3349] | 225 | this.colorButton.TabIndex = 20;
|
---|
| 226 | this.colorButton.Text = "Color";
|
---|
| 227 | this.colorButton.TextAlign = System.Drawing.ContentAlignment.MiddleRight;
|
---|
| 228 | this.colorButton.UseVisualStyleBackColor = true;
|
---|
[3411] | 229 | this.colorButton.Click += new System.EventHandler(this.colorButton_Click);
|
---|
[3349] | 230 | //
|
---|
| 231 | // colorDialog
|
---|
| 232 | //
|
---|
| 233 | this.colorDialog.FullOpen = true;
|
---|
| 234 | //
|
---|
[3543] | 235 | // noRunsLabel
|
---|
| 236 | //
|
---|
| 237 | this.noRunsLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
|
---|
| 238 | this.noRunsLabel.AutoSize = true;
|
---|
| 239 | this.noRunsLabel.Location = new System.Drawing.Point(261, 139);
|
---|
| 240 | this.noRunsLabel.Name = "noRunsLabel";
|
---|
| 241 | this.noRunsLabel.Size = new System.Drawing.Size(138, 13);
|
---|
| 242 | this.noRunsLabel.TabIndex = 21;
|
---|
| 243 | this.noRunsLabel.Text = "No runs could be displayed.";
|
---|
| 244 | //
|
---|
[3349] | 245 | // RunCollectionBubbleChartView
|
---|
| 246 | //
|
---|
| 247 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
---|
| 248 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
---|
[3482] | 249 | this.BackColor = System.Drawing.SystemColors.Window;
|
---|
| 250 | this.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
|
---|
[3543] | 251 | this.Controls.Add(this.noRunsLabel);
|
---|
[3349] | 252 | this.Controls.Add(this.colorButton);
|
---|
| 253 | this.Controls.Add(this.radioButtonGroup);
|
---|
| 254 | this.Controls.Add(this.chart);
|
---|
| 255 | this.Controls.Add(this.sizeLabel);
|
---|
| 256 | this.Controls.Add(this.sizeComboBox);
|
---|
| 257 | this.Controls.Add(this.yJitterLabel);
|
---|
| 258 | this.Controls.Add(this.xJitterlabel);
|
---|
| 259 | this.Controls.Add(this.xTrackBar);
|
---|
| 260 | this.Controls.Add(this.xAxisLabel);
|
---|
| 261 | this.Controls.Add(this.xAxisComboBox);
|
---|
| 262 | this.Controls.Add(this.yAxisLabel);
|
---|
| 263 | this.Controls.Add(this.yAxisComboBox);
|
---|
| 264 | this.Controls.Add(this.yTrackBar);
|
---|
| 265 | this.Name = "RunCollectionBubbleChartView";
|
---|
[3543] | 266 | this.Size = new System.Drawing.Size(644, 319);
|
---|
[3349] | 267 | ((System.ComponentModel.ISupportInitialize)(this.xTrackBar)).EndInit();
|
---|
| 268 | ((System.ComponentModel.ISupportInitialize)(this.yTrackBar)).EndInit();
|
---|
| 269 | ((System.ComponentModel.ISupportInitialize)(this.chart)).EndInit();
|
---|
| 270 | this.radioButtonGroup.ResumeLayout(false);
|
---|
| 271 | this.radioButtonGroup.PerformLayout();
|
---|
| 272 | this.ResumeLayout(false);
|
---|
| 273 | this.PerformLayout();
|
---|
| 274 |
|
---|
| 275 | }
|
---|
| 276 |
|
---|
| 277 | #endregion
|
---|
| 278 |
|
---|
| 279 | private System.Windows.Forms.Label xAxisLabel;
|
---|
| 280 | private System.Windows.Forms.ComboBox xAxisComboBox;
|
---|
| 281 | private System.Windows.Forms.Label yAxisLabel;
|
---|
| 282 | private System.Windows.Forms.ComboBox yAxisComboBox;
|
---|
| 283 | private System.Windows.Forms.TrackBar yTrackBar;
|
---|
| 284 | private System.Windows.Forms.TrackBar xTrackBar;
|
---|
| 285 | private System.Windows.Forms.Label xJitterlabel;
|
---|
| 286 | private System.Windows.Forms.Label yJitterLabel;
|
---|
| 287 | private System.Windows.Forms.ComboBox sizeComboBox;
|
---|
| 288 | private System.Windows.Forms.Label sizeLabel;
|
---|
| 289 | private System.Windows.Forms.DataVisualization.Charting.Chart chart;
|
---|
| 290 | private System.Windows.Forms.RadioButton zoomButton;
|
---|
| 291 | private System.Windows.Forms.RadioButton selectButton;
|
---|
| 292 | private System.Windows.Forms.GroupBox radioButtonGroup;
|
---|
| 293 | private System.Windows.Forms.Button colorButton;
|
---|
| 294 | private System.Windows.Forms.ColorDialog colorDialog;
|
---|
[3487] | 295 | private System.Windows.Forms.ToolTip tooltip;
|
---|
[3543] | 296 | private System.Windows.Forms.Label noRunsLabel;
|
---|
[3349] | 297 | }
|
---|
| 298 | }
|
---|