Fix clipping of board GTK
authorH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 7 Oct 2014 16:53:50 +0000 (18:53 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Wed, 8 Oct 2014 16:38:11 +0000 (18:38 +0200)
commite199c3a38e21db763c429cc79e4a47f3dfdcc2a5
tree866dfb14ccdd074a8b86ef61bcd689cfee715b89
parent7a9e8a6260d9b6be62e80f2250d211f30a1e50fb
Fix clipping of board GTK

ResizeBoardWindow now measures the with of the window dressing by
brute force, interrogating GTK both for the width of the top-level
window and the board widget, and subtracting the two.
gtk/xboard.c