From 36c7e09704a7ef2229f316e8e70e423d4f0fa93b Mon Sep 17 00:00:00 2001 From: H.G. Muller Date: Mon, 18 Feb 2013 10:48:53 +0100 Subject: [PATCH] Add new vertical pixel fudge With the new GTK window type the board is 13 pixels too small. --- gtk/xboard.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) 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); } -- 1.7.0.4