I checked bug 673302 and indeed that is the bug I am experiencing. Same symptoms, different cause. Thanks Krzysztof.
-- Karmic: emacs22-gtk generated menus do not update (GTK only) https://bugs.launchpad.net/bugs/415101 You received this bug notification because you are a member of Registry Administrators, which is the registrant for Debian. _______________________________________________ Mailing list: https://launchpad.net/~registry Post to : [email protected] Unsubscribe : https://launchpad.net/~registry More help : https://help.launchpad.net/ListHelp
