Currently, menus specified with type "radio" or "checkbox" both use the same icon -- a checkmark. Radio menus should not use checkmarks because they seem to denote that the options are not mutually exclusive, i.e. they can both be on (checked) or off (unchecked) at the same time. To counter this indication, most applications (on win32, anyways) use bullets rather than checkboxes to denote that only one option may be checked, and that at least one option _must_ be checked. I feel we should also use bullets (this also makes it easier to distinguish between radio and checkbox menus -- right now they're identical in appearance).

This is actually bug #16849, although that bug has largely gone into hibernation since last November without any real resolution (to do it or not). Perhaps, you could comment on that bug, Blake. Thanks. *** This bug has been marked as a duplicate of 16849 ***

oops; missed that bug, thanks. will comment there