[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.