Hi, 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.
-Jonathan