diff -r 119693c3b7d1 -r eda3e3458cf4 GUI/MainForm.Designer.cs
--- a/GUI/MainForm.Designer.cs	Sat Jul 24 20:15:49 2010 +0000
+++ b/GUI/MainForm.Designer.cs	Tue Jul 27 18:38:11 2010 +0000
@@ -440,7 +440,7 @@
       // 
       this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
       this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
-      this.ClientSize = new System.Drawing.Size(418, 596);
+      this.ClientSize = new System.Drawing.Size(418, 554);
       this.Controls.Add(this.splitContainer);
       this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
       this.Menu = this.mainMenu;