chiark / gitweb /
Patch from Mark Wooding: when I did r7980 I had completely failed to
authorSimon Tatham <anakin@pobox.com>
Sun, 21 Jun 2009 13:49:09 +0000 (13:49 +0000)
committerSimon Tatham <anakin@pobox.com>
Sun, 21 Jun 2009 13:49:09 +0000 (13:49 +0000)
commit652f03a8aefa3267bd0acad64eadcdcd23cdf507
treec1aa8be71695030d06b0e39902a19a6b99c309cb
parent93cd7ae62c4e65e11aac070661146379ac7f7f08
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.

[originally from svn r8601]
[r7980 == ae6c7381272f84c0fd398f6d3e496f571ba42ec8]
gtk.c