# HG changeset patch
# User moel.mich
# Date 1338150126 0
# Node ID 00d912b93ece2d020260ba605ac73f0885ddf5e1
# Parent  d8fa1e55acfa8a18a6ff1612a40f65842eab6f28
Added a missing menu label.

diff -r d8fa1e55acfa -r 00d912b93ece GUI/MainForm.Designer.cs
--- a/GUI/MainForm.Designer.cs	Sun May 27 20:15:32 2012 +0000
+++ b/GUI/MainForm.Designer.cs	Sun May 27 20:22:06 2012 +0000
@@ -373,6 +373,11 @@
 					this.runWebServerMenuItem,
 					this.serverPortMenuItem});
 			this.webMenuItem.Text = "Remote Web Server";
+      // 
+      // runWebServerMenuItem
+      // 
+      this.runWebServerMenuItem.Index = 0;
+      this.runWebServerMenuItem.Text = "Run";
 			// 
 			// serverPortMenuItem
 			//