From: H.G. Muller <h.g.muller@hccnet.nl>
Date: Mon, 18 Feb 2013 09:48:53 +0000 (+0100)
Subject: Add new vertical pixel fudge
X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=36c7e09704a7ef2229f316e8e70e423d4f0fa93b;p=xboard.git

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
--- 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);
     }