From: H.G.Muller <hgm@hgm-xboard.(none)>
Date: Thu, 9 Oct 2014 21:25:26 +0000 (+0200)
Subject: Force GTK logo size to quarter board width
X-Git-Url: http://hgm.nubati.net/cgi-bin/gitweb.cgi?p=xboard.git;a=commitdiff_plain;h=6fa08d95b0e050b67be49eae458b3ef8744cebb9

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.
---

diff --git a/gtk/xboard.c b/gtk/xboard.c
index 8179fa15..20b55c58 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