Patch from Mark Wooding: when I did r7980 I had completely failed to
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sun, 21 Jun 2009 13:49:09 +0000 (13:49 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sun, 21 Jun 2009 13:49:09 +0000 (13:49 +0000)
commit98488ab92877f83b7727ed2571c6da991e1783c1
treec1aa8be71695030d06b0e39902a19a6b99c309cb
parent4a59b80c3a79bcce58273dd81242c88b4815c996
Patch from Mark Wooding: when I did r7980 I had completely failed to
notice that there was an _official_ way to have menu items marked as
selected or unselected, which is the GtkRadioMenuItem class. Replace
my ad-hoc use of bullet characters with that.

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@8601 cda61777-01e9-0310-a592-d414129be87e
gtk.c