Force GTK logo size to quarter board width
authorH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 9 Oct 2014 21:25:26 +0000 (23:25 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Sat, 11 Oct 2014 07:45:53 +0000 (09:45 +0200)
commit6fa08d95b0e050b67be49eae458b3ef8744cebb9
tree138a7d73be847da2e6fbcce1b952d0931a72c070
parent6b19d6b88b12d1e1493d778d140e99c4f751faff
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