X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=blobdiff_plain;f=gtk%2Fxboard.c;h=eb7457d182b209a09a1d4dbb5ab359694291cbe5;hp=5029495d72e846269dcc005f73c0098391ec989d;hb=945cd7a8c01737a506fcb7c304dfdc71d6fab144;hpb=85728f96bfa1f6bccef9c920fa3eccd4dd3c518e diff --git a/gtk/xboard.c b/gtk/xboard.c index 5029495..eb7457d 100644 --- a/gtk/xboard.c +++ b/gtk/xboard.c @@ -1690,7 +1690,7 @@ ReSize (WindowPlacement *wp) lg = sqx < 37 ? 1 : sqx < 59 ? 2 : sqx < 116 ? 3 : 4; if(sqx == oldSqx + 1 && lg == lineGap + 1) sqx = oldSqx, squareSize = 0; // prevent oscillations, force resize by kludge } - for(h=0; sizeDefaults[h].name && sizeDefaults[h].squareSize > sqx; h++) {} + for(h=0; sizeDefaults[h].name && sizeDefaults[h].squareSize*8 > sqx*BOARD_WIDTH; h++) {} if(!strchr(appData.boardSize, ',')) { ASSIGN(appData.boardSize, sizeDefaults[h].name); initialSquareSize = sizeDefaults[h].squareSize; // used for saving font