From 6fa08d95b0e050b67be49eae458b3ef8744cebb9 Mon Sep 17 00:00:00 2001
From: H.G.Muller <hgm@hgm-xboard.(none)>
Date: Thu, 9 Oct 2014 23:25:26 +0200
Subject: [PATCH] Force GTK logo size to quarter board width

This is what GTK will do anyway, because clocks and logos are in a hbox
that equally divides space, so telling XBoard different just misinforms it.
---
 gtk/xboard.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/gtk/xboard.c b/gtk/xboard.c
index 8179fa1..20b55c5 100644
--- a/gtk/xboard.c
+++ b/gtk/xboard.c
@@ -1111,6 +1111,7 @@ main (int argc, char **argv)
 	layoutName = "normalLayout";
     }
 
+    if(appData.logoSize) appData.logoSize = boardWidth/4-3;
     wpMain.width = -1; // prevent popup sizes window
     optList = BoardPopUp(squareSize, lineGap, (void*)
 #ifdef TODO_GTK
-- 
1.7.0.4