Changeset 4042 for branches/3.2/sources/HeuristicLab.Hive.Server/3.2/MainForm.Designer.cs

Timestamp:

07/18/10 22:16:04 (14 years ago)

Author:

kgrading

Message:

#828 added various improvements to the plugin cache manager, the execution engine, the transaction handling on the serverside and the server console

File:

• branches/3.2/sources/HeuristicLab.Hive.Server/3.2/MainForm.Designer.cs (modified) (4 diffs)

branches/3.2/sources/HeuristicLab.Hive.Server/3.2/MainForm.Designer.cs

@@ -37 +37 @@
           this.toolStripSeparator1 = new System.Windows.Forms.ToolStripSeparator();
           this.tsExit = new System.Windows.Forms.ToolStripMenuItem();
-          this.btnClose = new System.Windows.Forms.Button();
           this.ctxNotifyMenu.SuspendLayout();
           this.SuspendLayout();
@@ -72 +71 @@
             this.tsExit});
           this.ctxNotifyMenu.Name = "ctxNotifyMenu";
-          this.ctxNotifyMenu.Size = new System.Drawing.Size(106, 54);
+          this.ctxNotifyMenu.Size = new System.Drawing.Size(96, 54);
           // 
           // tsShowInfo
           // 
           this.tsShowInfo.Name = "tsShowInfo";
-          this.tsShowInfo.Size = new System.Drawing.Size(105, 22);
+          this.tsShowInfo.Size = new System.Drawing.Size(95, 22);
           this.tsShowInfo.Text = "&Info";
           this.tsShowInfo.Click += new System.EventHandler(this.ShowInfo);
@@ -84 +83 @@
           // 
           this.toolStripSeparator1.Name = "toolStripSeparator1";
-          this.toolStripSeparator1.Size = new System.Drawing.Size(102, 6);
+          this.toolStripSeparator1.Size = new System.Drawing.Size(92, 6);
           // 
           // tsExit
           // 
           this.tsExit.Name = "tsExit";
-          this.tsExit.Size = new System.Drawing.Size(105, 22);
+          this.tsExit.Size = new System.Drawing.Size(95, 22);
           this.tsExit.Text = "E&xit";
           this.tsExit.Click += new System.EventHandler(this.CloseApp);
           // 
-          // btnClose
-          // 
-          this.btnClose.DialogResult = System.Windows.Forms.DialogResult.Cancel;
-          this.btnClose.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
-          this.btnClose.Location = new System.Drawing.Point(279, 1);
-          this.btnClose.Name = "btnClose";
-          this.btnClose.Size = new System.Drawing.Size(22, 21);
-          this.btnClose.TabIndex = 2;
-          this.btnClose.Text = "X";
-          this.btnClose.UseVisualStyleBackColor = true;
-          this.btnClose.Click += new System.EventHandler(this.btnClose_Click);
-          // 
           // MainForm
           // 
-          this.AcceptButton = this.btnClose;
           this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
           this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
-          this.CancelButton = this.btnClose;
           this.ClientSize = new System.Drawing.Size(304, 166);
-          this.ControlBox = false;
-          this.Controls.Add(this.btnClose);
           this.Controls.Add(this.rtfServices);
           this.Controls.Add(this.label1);
-          this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedToolWindow;
+          this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedSingle;
           this.Name = "MainForm";
-          this.ShowInTaskbar = false;
           this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
           this.Text = "Hive Server";
-          this.TopMost = true;
+          this.FormClosing += new System.Windows.Forms.FormClosingEventHandler(this.MainForm_FormClosing);
           this.ctxNotifyMenu.ResumeLayout(false);
           this.ResumeLayout(false);
@@ -137 +119 @@
         private System.Windows.Forms.ToolStripSeparator toolStripSeparator1;
         private System.Windows.Forms.ToolStripMenuItem tsExit;
-        private System.Windows.Forms.Button btnClose;
     }
 }