From: H.G. Muller <h.g.muller@hccnet.nl>
Date: Thu, 19 Apr 2012 22:01:08 +0000 (+0200)
Subject: Fix key binding of DebugProc
X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=commitdiff_plain;h=95a3acfcf5abc2debd959a6afd7ddc7e3cfc1b75

Fix key binding of DebugProc

The name used for binding was DebugProc, while the ite was named Debug.
---

diff --git a/menus.c b/menus.c
index 42e0d9a..1af89f3 100644
--- a/menus.c
+++ b/menus.c
@@ -844,7 +844,7 @@ MenuItem noMenu[] = {
     { "", "TestLegality", TestLegalityProc },
 #endif
     { "", "AboutGame", AboutGameEvent },
-    { "", "Debug", DebugProc },
+    { "", "DebugProc", DebugProc },
     { "", "Nothing", NothingProc },
     {NULL, NULL, NULL}
 };