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

diff --git a/gtk/xboard.c b/gtk/xboard.c
index daf49d6..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;
+	marginH =  h - a.height + 13;
 	gtk_window_resize(GTK_WINDOW(shellWidget), marginW + boardWidth, marginH + boardHeight);
 //printf("margins h=%d v=%d\n", marginW, marginH);
     }