From 95858c3944a53cafd1a16a7ba7d61857c561a84b Mon Sep 17 00:00:00 2001
From: david <david>
Date: Tue, 21 Jan 2003 02:13:02 +0000
Subject: [PATCH] Added "Debug" menu, with entry to reload the GUI.

---
 gui/menubar.xml | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/gui/menubar.xml b/gui/menubar.xml
index 0bd3391b8..4cbe27118 100644
--- a/gui/menubar.xml
+++ b/gui/menubar.xml
@@ -219,12 +219,26 @@
 
  </menu>
 
+ <menu>
+  <label>Debug</label>
+
+  <item>
+   <label>Reload GUI</label>
+   <binding>
+    <command>reinit</command>
+    <subsystem>gui</subsystem>
+   </binding>
+  </item>
+ </menu>
+
  <menu>
   <label>Help</label>
 
   <item>
    <label>Help</label>
-   <command>old-help-dialog</command>
+   <binding>
+    <command>old-help-dialog</command>
+   </binding>
   </item>
 
  </menu>