[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What happened to the key-menu patch?
From: |
Richard Stallman |
Subject: |
Re: What happened to the key-menu patch? |
Date: |
Wed, 10 Jul 2002 13:20:10 -0600 (MDT) |
> 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.
I agree. It would be nice for someone to implement that and see
how well it works.
- Re: What happened to the key-menu patch?, (continued)
- Re: What happened to the key-menu patch?, Stefan Monnier, 2002/07/10
- Re: What happened to the key-menu patch?, Richard Stallman, 2002/07/10
- Re: What happened to the key-menu patch?, Stefan Monnier, 2002/07/11
- Re: What happened to the key-menu patch?, Richard Stallman, 2002/07/12
- Re: What happened to the key-menu patch?, Stefan Monnier, 2002/07/12
- Re: What happened to the key-menu patch?, Richard Stallman, 2002/07/13
- Re: What happened to the key-menu patch?, Stefan Monnier, 2002/07/13
- Re: What happened to the key-menu patch?, Richard Stallman, 2002/07/14
Re: What happened to the key-menu patch?, Richard Stallman, 2002/07/09