X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxoptions.c;h=6c7784161ee27857392d7a4bcb9473fd60bd0f76;hb=336aafa3deed7607b7e4e3f40852fa42bee8104f;hp=c089c9e50d55df8c2747e55a0d993c474da02b33;hpb=784a0a8b299157e7bdb55c87ca05ba7c86b6fc95;p=xboard.git

diff --git a/gtk/xoptions.c b/gtk/xoptions.c
index c089c9e..6c77841 100644
--- a/gtk/xoptions.c
+++ b/gtk/xoptions.c
@@ -1549,7 +1549,9 @@ if(appData.debugMode) printf("n=%d, h=%d, w=%d\n",n,height,width);
 	  case DropDown:
 	    top--;
 	    msg = _(option[i].name); // write name on the menu button
-	    if(tinyLayout) { strncpy(def, msg, 1); msg = def; }
+#ifndef __APPLE__
+	    if(tinyLayout) { strcpy(def, msg); def[tinyLayout] = NULLCHAR; msg = def; } // clip menu text to keep menu bar small
+#endif
 //	    XtSetArg(args[j], XtNmenuName, XtNewString(option[i].name));  j++;
 //	    XtSetArg(args[j], XtNlabel, msg);  j++;
 	    option[i].handle = (void*)