Hmm, I think the grey85 was an attempt to match the default menu
background. I don't quite remember. It seems to have no effect on
Mac OS X. I'd be fine with black or default, I suppose.
On Jul 31, 2011, at 1:12 AM, Jonathan Wilkes wrote:
What is the reason the "Editmode" menu checkbutton is changed
to green on TRUE and has option "-selectcolor grey85" instead of
just a default black check?
I tried making a demo menu with a checkbutton in wish (8.5) and
didn't see any obvious bugs in MacOS Lion, WinXP, or Fedora15 with
Gnome Shell. Additionally I could just set the variable associated
with the widget, and the menu checkbutton would update correctly.