X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxoptions.c;h=48da90bd6a1e2ae691f005dfba6870b44527a85a;hb=c10e83b937328313e82070f5714eea0337758a1e;hp=8c5bd269b5154a02de256413d13db1c904366c17;hpb=4740eede90bd690baa1d623f181b08a5ee2da43a;p=xboard.git

diff --git a/gtk/xoptions.c b/gtk/xoptions.c
index 8c5bd26..48da90b 100644
--- a/gtk/xoptions.c
+++ b/gtk/xoptions.c
@@ -1568,7 +1568,11 @@ if(appData.debugMode) printf("n=%d, h=%d, w=%d\n",n,height,width);
 	    top--;
 	    msg = _(option[i].name); // write name on the menu button
 #ifndef OSXAPP
-	    if(tinyLayout) { strcpy(def, msg); def[tinyLayout] = NULLCHAR; msg = def; } // clip menu text to keep menu bar small
+	    if(tinyLayout) { // clip menu text to keep menu bar small
+		int clip = tinyLayout + 1;
+		strcpy(def, msg + (msg[clip-1] == '_'));
+		def[clip] = NULLCHAR; msg = def;
+	    }
 #endif
 //	    XtSetArg(args[j], XtNmenuName, XtNewString(option[i].name));  j++;
 //	    XtSetArg(args[j], XtNlabel, msg);  j++;