[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#10459: Overlay keymaps ignored until point is moved when overlay is
From: |
Toby Cubitt |
Subject: |
bug#10459: Overlay keymaps ignored until point is moved when overlay is created from timer |
Date: |
Mon, 16 Jan 2012 12:48:11 +0100 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
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?
Toby
--
Dr T. S. Cubitt
Mathematics and Quantum Information group
Department of Mathematics
Complutense University
Madrid, Spain
email: tsc25@cantab.net
web: www.dr-qubit.org