Add new vertical pixel fudge
authorH.G. Muller <h.g.muller@hccnet.nl>
Mon, 18 Feb 2013 09:48:53 +0000 (10:48 +0100)
committerH.G. Muller <h.g.muller@hccnet.nl>
Mon, 18 Feb 2013 10:39:54 +0000 (11:39 +0100)
commit36c7e09704a7ef2229f316e8e70e423d4f0fa93b
tree20da98d190ea2367559f657042da1342a6fd8c13
parent1bb92a334cb80297755d51dcbb3847273b49226e
Add new vertical pixel fudge

With the new GTK window type the board is 13 pixels too small.
gtk/xboard.c