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 8179fa1..20b55c5 100644 (file)
--- a/gtk/xboard.c
+++ b/gtk/xboard.c
@@ -1111,6 +1111,7 @@ main (int argc, char **argv)
        layoutName = "normalLayout";
     }
 
        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
     wpMain.width = -1; // prevent popup sizes window
     optList = BoardPopUp(squareSize, lineGap, (void*)
 #ifdef TODO_GTK