On Mon, Apr 21, 2003 at 05:46:40PM -0700, Guy Harris wrote: > It may be that the way that we set the sensitivity on menu items doesn't > work for items with submenus.
It doesn't. I've checked in a fix, at least for GTK+ 1.2[.x]. I don't have GTK+ 2.x handy to test it; the code might work with 2.x as well, or it might require some change.
