Changeset 6263 for branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Slave.Views/3.4/SlaveView.Designer.cs

Timestamp:

05/24/11 14:30:55 (13 years ago)

Author:

ascheibe

Message:

#1233

• added view for displaying jobs
• improved slave ui

File:

• branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Slave.Views/3.4/SlaveView.Designer.cs (modified) (7 diffs)

branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Slave.Views/3.4/SlaveView.Designer.cs

@@ -45 +45 @@
     /// </summary>
     private void InitializeComponent() {
-      System.Windows.Forms.DataVisualization.Charting.ChartArea chartArea3 = new System.Windows.Forms.DataVisualization.Charting.ChartArea();
-      System.Windows.Forms.DataVisualization.Charting.CustomLabel customLabel5 = new System.Windows.Forms.DataVisualization.Charting.CustomLabel();
-      System.Windows.Forms.DataVisualization.Charting.CustomLabel customLabel6 = new System.Windows.Forms.DataVisualization.Charting.CustomLabel();
-      System.Windows.Forms.DataVisualization.Charting.CustomLabel customLabel7 = new System.Windows.Forms.DataVisualization.Charting.CustomLabel();
-      System.Windows.Forms.DataVisualization.Charting.CustomLabel customLabel8 = new System.Windows.Forms.DataVisualization.Charting.CustomLabel();
-      System.Windows.Forms.DataVisualization.Charting.Legend legend3 = new System.Windows.Forms.DataVisualization.Charting.Legend();
+      System.Windows.Forms.DataVisualization.Charting.ChartArea chartArea1 = new System.Windows.Forms.DataVisualization.Charting.ChartArea();
+      System.Windows.Forms.DataVisualization.Charting.CustomLabel customLabel1 = new System.Windows.Forms.DataVisualization.Charting.CustomLabel();
+      System.Windows.Forms.DataVisualization.Charting.CustomLabel customLabel2 = new System.Windows.Forms.DataVisualization.Charting.CustomLabel();
+      System.Windows.Forms.DataVisualization.Charting.CustomLabel customLabel3 = new System.Windows.Forms.DataVisualization.Charting.CustomLabel();
+      System.Windows.Forms.DataVisualization.Charting.CustomLabel customLabel4 = new System.Windows.Forms.DataVisualization.Charting.CustomLabel();
+      System.Windows.Forms.DataVisualization.Charting.Legend legend1 = new System.Windows.Forms.DataVisualization.Charting.Legend();
+      System.Windows.Forms.DataVisualization.Charting.Series series1 = new System.Windows.Forms.DataVisualization.Charting.Series();
+      System.Windows.Forms.DataVisualization.Charting.Series series2 = new System.Windows.Forms.DataVisualization.Charting.Series();
+      System.Windows.Forms.DataVisualization.Charting.Series series3 = new System.Windows.Forms.DataVisualization.Charting.Series();
+      System.Windows.Forms.DataVisualization.Charting.Series series4 = new System.Windows.Forms.DataVisualization.Charting.Series();
+      System.Windows.Forms.DataVisualization.Charting.Series series5 = new System.Windows.Forms.DataVisualization.Charting.Series();
+      System.Windows.Forms.DataVisualization.Charting.ChartArea chartArea2 = new System.Windows.Forms.DataVisualization.Charting.ChartArea();
+      System.Windows.Forms.DataVisualization.Charting.Legend legend2 = new System.Windows.Forms.DataVisualization.Charting.Legend();
       System.Windows.Forms.DataVisualization.Charting.Series series6 = new System.Windows.Forms.DataVisualization.Charting.Series();
-      System.Windows.Forms.DataVisualization.Charting.Series series7 = new System.Windows.Forms.DataVisualization.Charting.Series();
-      System.Windows.Forms.DataVisualization.Charting.Series series8 = new System.Windows.Forms.DataVisualization.Charting.Series();
-      System.Windows.Forms.DataVisualization.Charting.Series series9 = new System.Windows.Forms.DataVisualization.Charting.Series();
-      System.Windows.Forms.DataVisualization.Charting.ChartArea chartArea4 = new System.Windows.Forms.DataVisualization.Charting.ChartArea();
-      System.Windows.Forms.DataVisualization.Charting.Legend legend4 = new System.Windows.Forms.DataVisualization.Charting.Legend();
-      System.Windows.Forms.DataVisualization.Charting.Series series10 = new System.Windows.Forms.DataVisualization.Charting.Series();
+      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(SlaveView));
       this.jobChart = new System.Windows.Forms.DataVisualization.Charting.Chart();
       this.coresChart = new System.Windows.Forms.DataVisualization.Charting.Chart();
@@ -71 +73 @@
       // jobChart
       // 
+      this.jobChart.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
+                  | System.Windows.Forms.AnchorStyles.Left)
+                  | System.Windows.Forms.AnchorStyles.Right)));
       this.jobChart.BackgroundImageLayout = System.Windows.Forms.ImageLayout.None;
-      customLabel5.Text = "Jobs";
-      customLabel6.Text = "Aborted Jobs";
-      customLabel7.Text = "Finished Jobs";
-      customLabel8.Text = "Fetched Jobs";
-      chartArea3.AxisX.CustomLabels.Add(customLabel5);
-      chartArea3.AxisX.CustomLabels.Add(customLabel6);
-      chartArea3.AxisX.CustomLabels.Add(customLabel7);
-      chartArea3.AxisX.CustomLabels.Add(customLabel8);
-      chartArea3.AxisX.Enabled = System.Windows.Forms.DataVisualization.Charting.AxisEnabled.True;
-      chartArea3.AxisX.MajorGrid.Enabled = false;
-      chartArea3.AxisX.MajorTickMark.Enabled = false;
-      chartArea3.Name = "ChartArea1";
-      this.jobChart.ChartAreas.Add(chartArea3);
-      legend3.Name = "Legend1";
-      this.jobChart.Legends.Add(legend3);
-      this.jobChart.Location = new System.Drawing.Point(0, 3);
+      customLabel1.Text = "Jobs";
+      customLabel2.Text = "Aborted Jobs";
+      customLabel3.Text = "Finished Jobs";
+      customLabel4.Text = "Fetched Jobs";
+      chartArea1.AxisX.CustomLabels.Add(customLabel1);
+      chartArea1.AxisX.CustomLabels.Add(customLabel2);
+      chartArea1.AxisX.CustomLabels.Add(customLabel3);
+      chartArea1.AxisX.CustomLabels.Add(customLabel4);
+      chartArea1.AxisX.Enabled = System.Windows.Forms.DataVisualization.Charting.AxisEnabled.True;
+      chartArea1.AxisX.MajorGrid.Enabled = false;
+      chartArea1.AxisX.MajorTickMark.Enabled = false;
+      chartArea1.Name = "ChartArea1";
+      this.jobChart.ChartAreas.Add(chartArea1);
+      legend1.Name = "Legend1";
+      this.jobChart.Legends.Add(legend1);
+      this.jobChart.Location = new System.Drawing.Point(3, 121);
       this.jobChart.Name = "jobChart";
+      series1.ChartArea = "ChartArea1";
+      series1.Legend = "Legend1";
+      series1.Name = "Series1";
+      series2.ChartArea = "ChartArea1";
+      series2.Legend = "Legend1";
+      series2.Name = "Series2";
+      series3.ChartArea = "ChartArea1";
+      series3.Legend = "Legend1";
+      series3.Name = "Series3";
+      series4.ChartArea = "ChartArea1";
+      series4.Legend = "Legend1";
+      series4.Name = "Series4";
+      series5.ChartArea = "ChartArea1";
+      series5.Legend = "Legend1";
+      series5.Name = "Series5";
+      this.jobChart.Series.Add(series1);
+      this.jobChart.Series.Add(series2);
+      this.jobChart.Series.Add(series3);
+      this.jobChart.Series.Add(series4);
+      this.jobChart.Series.Add(series5);
+      this.jobChart.Size = new System.Drawing.Size(412, 189);
+      this.jobChart.TabIndex = 7;
+      // 
+      // coresChart
+      // 
+      this.coresChart.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
+      chartArea2.Name = "ChartArea1";
+      this.coresChart.ChartAreas.Add(chartArea2);
+      legend2.Name = "Legend1";
+      this.coresChart.Legends.Add(legend2);
+      this.coresChart.Location = new System.Drawing.Point(186, 3);
+      this.coresChart.Name = "coresChart";
       series6.ChartArea = "ChartArea1";
+      series6.ChartType = System.Windows.Forms.DataVisualization.Charting.SeriesChartType.Pie;
       series6.Legend = "Legend1";
       series6.Name = "Series1";
-      series7.ChartArea = "ChartArea1";
-      series7.Legend = "Legend1";
-      series7.Name = "Series2";
-      series8.ChartArea = "ChartArea1";
-      series8.Legend = "Legend1";
-      series8.Name = "Series3";
-      series9.ChartArea = "ChartArea1";
-      series9.Legend = "Legend1";
-      series9.Name = "Series4";
-      this.jobChart.Series.Add(series6);
-      this.jobChart.Series.Add(series7);
-      this.jobChart.Series.Add(series8);
-      this.jobChart.Series.Add(series9);
-      this.jobChart.Size = new System.Drawing.Size(280, 156);
-      this.jobChart.TabIndex = 7;
-      // 
-      // coresChart
-      // 
-      chartArea4.Name = "ChartArea1";
-      this.coresChart.ChartAreas.Add(chartArea4);
-      legend4.Name = "Legend1";
-      this.coresChart.Legends.Add(legend4);
-      this.coresChart.Location = new System.Drawing.Point(3, 165);
-      this.coresChart.Name = "coresChart";
-      series10.ChartArea = "ChartArea1";
-      series10.ChartType = System.Windows.Forms.DataVisualization.Charting.SeriesChartType.Pie;
-      series10.Legend = "Legend1";
-      series10.Name = "Series1";
-      this.coresChart.Series.Add(series10);
-      this.coresChart.Size = new System.Drawing.Size(277, 135);
+      this.coresChart.Series.Add(series6);
+      this.coresChart.Size = new System.Drawing.Size(229, 80);
       this.coresChart.TabIndex = 9;
       // 
       // btnStart
       // 
-      this.btnStart.Location = new System.Drawing.Point(467, 111);
+      this.btnStart.Image = ((System.Drawing.Image)(resources.GetObject("btnStart.Image")));
+      this.btnStart.ImageAlign = System.Drawing.ContentAlignment.MiddleLeft;
+      this.btnStart.Location = new System.Drawing.Point(10, 89);
       this.btnStart.Name = "btnStart";
       this.btnStart.Size = new System.Drawing.Size(75, 23);
@@ -136 +148 @@
       // btnStop
       // 
-      this.btnStop.Location = new System.Drawing.Point(467, 82);
+      this.btnStop.Image = ((System.Drawing.Image)(resources.GetObject("btnStop.Image")));
+      this.btnStop.ImageAlign = System.Drawing.ContentAlignment.MiddleLeft;
+      this.btnStop.Location = new System.Drawing.Point(10, 60);
       this.btnStop.Name = "btnStop";
       this.btnStop.Size = new System.Drawing.Size(75, 23);
@@ -146 +160 @@
       // btnKill
       // 
-      this.btnKill.Location = new System.Drawing.Point(467, 53);
+      this.btnKill.Location = new System.Drawing.Point(10, 31);
       this.btnKill.Name = "btnKill";
       this.btnKill.Size = new System.Drawing.Size(75, 23);
@@ -156 +170 @@
       // lblSlaveState
       // 
-      this.lblSlaveState.Location = new System.Drawing.Point(370, 3);
+      this.lblSlaveState.Location = new System.Drawing.Point(75, 5);
       this.lblSlaveState.Name = "lblSlaveState";
-      this.lblSlaveState.Size = new System.Drawing.Size(100, 23);
+      this.lblSlaveState.Size = new System.Drawing.Size(78, 13);
       this.lblSlaveState.TabIndex = 13;
       // 
@@ -164 +178 @@
       // 
       this.label1.AutoSize = true;
-      this.label1.Location = new System.Drawing.Point(286, 3);
+      this.label1.Location = new System.Drawing.Point(7, 5);
       this.label1.Name = "label1";
       this.label1.Size = new System.Drawing.Size(62, 13);
@@ -182 +196 @@
       this.Controls.Add(this.jobChart);
       this.Name = "SlaveView";
-      this.Size = new System.Drawing.Size(590, 313);
+      this.Size = new System.Drawing.Size(418, 313);
       ((System.ComponentModel.ISupportInitialize)(this.jobChart)).EndInit();
       ((System.ComponentModel.ISupportInitialize)(this.coresChart)).EndInit();