1.1 --- a/GUI/MainForm.Designer.cs	Sat Jul 24 20:15:49 2010 +0000
     1.2 +++ b/GUI/MainForm.Designer.cs	Tue Jul 27 18:38:11 2010 +0000
     1.3 @@ -440,7 +440,7 @@
     1.4        // 
     1.5        this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
     1.6        this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
     1.7 -      this.ClientSize = new System.Drawing.Size(418, 596);
     1.8 +      this.ClientSize = new System.Drawing.Size(418, 554);
     1.9        this.Controls.Add(this.splitContainer);
    1.10        this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
    1.11        this.Menu = this.mainMenu;