X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=blobdiff_plain;f=gtk%2Fxboard.c;h=96889c85ce241b6791d605b23c94295fb36445dd;hp=e8d5178cf20b7a1f65d445dcac8645182ac7cef1;hb=14b8ba6e96505b24eb49b28c10444c027e43f5b5;hpb=b43ae6d0c5d6e3f89236153b0f61c908dd86f551 diff --git a/gtk/xboard.c b/gtk/xboard.c index e8d5178..96889c8 100644 --- a/gtk/xboard.c +++ b/gtk/xboard.c @@ -666,7 +666,7 @@ ResizeBoardWindow (int w, int h, int inhibit) // h += marginH + a.height + 1; gtk_window_resize(GTK_WINDOW(shellWidget), w, 10); DoEvents(); - gtk_widget_set_size_request(optList[W_BOARD].handle, -1, -1); // liberate board again + gtk_widget_set_size_request(optList[W_BOARD].handle, 100, 100); // liberate board again } int @@ -1701,7 +1701,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*8 > sqx*BOARD_WIDTH; h++) {} + for(h=0; sizeDefaults[h+1].name && sizeDefaults[h].squareSize*8 > sqx*BOARD_WIDTH; h++) {} if(initialSquareSize != sizeDefaults[h].squareSize) { // boardSize changed initialSquareSize = sizeDefaults[h].squareSize; // used for saving font ChangeFont(1, &appData.clockFont, CLOCK_FONT, initialSquareSize, CLOCK_FONT_NAME, 2*(sizeDefaults[h].clockFontPxlSize+1)/3);