Fix bold button fix
authorH.G.Muller <hgm@hgm-xboard.(none)>
Wed, 6 Apr 2016 12:08:23 +0000 (14:08 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Sun, 17 Apr 2016 08:24:58 +0000 (10:24 +0200)
commitd000054f49fe0bbe459eb28b18b7bc46049b8120
treede16df648d7e4c41278443611f472a5542c0e79a
parentb4f97ed2dd6c9d8e9d780211d8ebc54803d46403
Fix bold button fix
gtk/xoptions.c