Re: What happened to the key-menu patch?

[Miles Bader]

Richard Stallman <address@hidden> writes:
> It may not be necessary to do anything special for menu bindings, or
> perhaps it is necessary to strip off the cached shortcut info.

Of course, if we switch to using a hash-table to hold the cached
shortcut info, this problem goes away.

-Miles
-- 
"Most attacks seem to take place at night, during a rainstorm, uphill,
 where four map sheets join."   -- Anon. British Officer in WW I