X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxboard.c;h=f02762e3ce8febcf2ee329acec53fd2270a9c8f0;hb=28620a5398a51fe9e4105958b1c61164e852d67f;hp=88550f75898a11ffba85c9789b0498a385ee49e3;hpb=d58346a35018c656365a89714b2496a562062aa9;p=xboard.git

diff --git a/gtk/xboard.c b/gtk/xboard.c
index 88550f7..f02762e 100644
--- a/gtk/xboard.c
+++ b/gtk/xboard.c
@@ -650,9 +650,11 @@ ResizeBoardWindow (int w, int h, int inhibit)
     gtk_widget_get_allocation(shellWidget, &a);
     marginW = a.width - bw;
     gtk_widget_get_allocation(optList[W_WHITE].handle, &a);
+    gtk_widget_set_size_request(optList[W_BOARD].handle, w, h);   // protect board widget
     w += marginW + 1; // [HGM] not sure why the +1 is (sometimes) needed...
     h += marginH + a.height + 1;
     gtk_window_resize(GTK_WINDOW(shellWidget), w, h);
+    gtk_widget_set_size_request(optList[W_BOARD].handle, -1, -1); // liberate board again
 }
 
 int