[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#10459: Overlay keymaps ignored until point is moved when overlay is
bug#10459: Overlay keymaps ignored until point is moved when overlay is created from timer
Mon, 16 Jan 2012 12:48:11 +0100
On Sun, Jan 08, 2012 at 10:52:54PM -0500, Stefan Monnier wrote:
> Yes, this is a known limitation: the set of active keymaps is computed
> before waiting for the next key sequence.
> You might be able to get around this problem by pushing some dummy event
> (which you then bind to `ignore' in some keymap) onto
> unread-command-event from your timer, just to force a refresh.
I've tested this, and it does indeed work. Thanks Stefan.
At the moment, for the dummy event, I'm using a keyboard event for an
unlikely unicode character with every modifier set. Is there some better
choice than this?
Dr T. S. Cubitt
Mathematics and Quantum Information group
Department of Mathematics