X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=blobdiff_plain;f=gtk%2Fxboard.c;h=c68d85f2e58b05cfa777f44bd60802ef23eb40d7;hp=3cac488ffabf68a84ad661e1edb155570af4f6d3;hb=1bcd7e1d10ede3c8116f5b2009283875321a8d48;hpb=92ba67a9fbaf66d42f78ff0cdd36164d4369cc16

diff --git a/gtk/xboard.c b/gtk/xboard.c
index 3cac488..c68d85f 100644
--- a/gtk/xboard.c
+++ b/gtk/xboard.c
@@ -1704,6 +1704,7 @@ ReSize (WindowPlacement *wp)
 	if(!strchr(appData.boardSize, ',')) {
 	    ASSIGN(appData.boardSize, sizeDefaults[h].name);
 	}
+#ifndef OSXAPP
 	if(sizeDefaults[h].tinyLayout != tinyLayout) { // alter clipping of menu names to conform to board width
 	    int clip = (tinyLayout = sizeDefaults[h].tinyLayout) + 1;
 	    char text[MSG_SIZ];
@@ -1713,6 +1714,7 @@ ReSize (WindowPlacement *wp)
 		gtk_menu_item_set_label((GtkMenuItem *) mainOptions[h].handle, text);
 	    }
 	}
+#endif
 	if(sqx != squareSize && !first) {
 	    squareSize = sqx; // adopt new square size
 	    CreatePNGPieces(); // make newly scaled pieces