X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxboard.c;h=b1f7103b57798d72bcf0c57d053ce56973aacaf5;hb=e199c3a38e21db763c429cc79e4a47f3dfdcc2a5;hp=78fa0f60097f89d287cf8f437b6596bbb5366128;hpb=7a9e8a6260d9b6be62e80f2250d211f30a1e50fb;p=xboard.git

diff --git a/gtk/xboard.c b/gtk/xboard.c
index 78fa0f6..b1f7103 100644
--- a/gtk/xboard.c
+++ b/gtk/xboard.c
@@ -639,7 +639,12 @@ void
 ResizeBoardWindow (int w, int h, int inhibit)
 {
     GtkAllocation a;
+    int bw;
 //    if(clockKludge) return; // ignore as long as clock does not have final height
+    gtk_widget_get_allocation(optList[W_BOARD].handle, &a);
+    bw = a.width;
+    gtk_widget_get_allocation(shellWidget, &a);
+    marginW = a.width - bw;
     gtk_widget_get_allocation(optList[W_WHITE].handle, &a);
     w += marginW + 1; // [HGM] not sure why the +1 is (sometimes) needed...
     h += marginH + a.height + 1;
@@ -1179,7 +1184,7 @@ main (int argc, char **argv)
 	gtk_widget_get_allocation(optList[W_WHITE].handle, &a);
 	clockKludge = hc = a.height;
 	gtk_widget_get_allocation(boardWidget, &a);
-	marginW =  w - boardWidth; // [HGM] needed to set new shellWidget size when we resize board
+//	marginW =  w - boardWidth; // [HGM] needed to set new shellWidget size when we resize board
 	marginH =  h - a.height - hc; // subtract current clock height, so it can be added back dynamically
     }