Add new vertical pixel fudge

With the new GTK window type the board is 13 pixels too small.

diff --git a/gtk/xboard.c b/gtk/xboard.c
index daf49d6..88d6557 100644 (file)
--- 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);
     }