X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xboard.c;h=863119e58d0b6182ff85fa213eae4714f01e8bac;hb=45bea0f2fdd5d1e938b0b8c0c2044e4d7bd2e0d2;hp=4935dea8352497cb8347c3178517709563b51ef5;hpb=e131fadbb0f396098fb300283227bdf042c71d45;p=xboard.git

diff --git a/xboard.c b/xboard.c
index 4935dea..863119e 100644
--- a/xboard.c
+++ b/xboard.c
@@ -3121,6 +3121,12 @@ ManInner (Widget w, XEvent *event, String *prms, Cardinal *nprms)
 }
 
 void
+ManProc ()
+{   // called from menu
+    ManInner(NULL, NULL, NULL, NULL);
+}
+
+void
 SetWindowTitle (char *text, char *title, char *icon)
 {
     Arg args[16];