X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxboard.c;h=88d6557a040899cf5d44f96336ceba648f303473;hb=c7f8df124;hp=b3a76bdad58431b1fecb5df8a2a5bec8e15083fb;hpb=3c6dcc05075c5073aac635c4ec6145f99730b325;p=xboard.git

diff --git a/gtk/xboard.c b/gtk/xboard.c
index b3a76bd..88d6557 100644
--- a/gtk/xboard.c
+++ b/gtk/xboard.c
@@ -976,7 +976,7 @@ main (int argc, char **argv)
 //printf("start size (%d,%d), %dx%d\n", a.x, a.y, w, h);
 	gtk_widget_get_allocation(boardWidget, &a);
 	marginW =  w - boardWidth; // [HGM] needed to set new shellWidget size when we resize board
-	marginH =  h - a.height - 25; // subtract 25, because GTK seems to insert this amount of extra empty space
+	marginH =  h - a.height + 13;
 	gtk_window_resize(GTK_WINDOW(shellWidget), marginW + boardWidth, marginH + boardHeight);
 //printf("margins h=%d v=%d\n", marginW, marginH);
     }