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)
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


No differences found