[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Info menu item bugs

From: Richard Stallman
Subject: Re: Info menu item bugs
Date: Sat, 22 Mar 2003 21:54:14 -0500

    No, it is caused by the change to `easy-menu-add-item' to default MAP
    to the current-global-map.  We can back out like so, but it would be
    nice to fix it instead.

It would be best to back it out, to start with.  Would someone please
do that?  (I am working thru a phone line from here.)

Then Stefan can tell us what case this was meant to fix, and he or
others can look for a better way to fix it.

It is supposed to be easy-menu-get-map that decides which map
to use.  I suggest fixing the problem there.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]