GNU bug report logs - #10459
Overlay keymaps ignored until point is moved when overlay is created from timer

Previous Next

Full log

View this message in rfc822 format

From: Toby Cubitt <toby-predictive-dated-1327924137.9ab140 <at> dr-qubit.org>
To: Stefan Monnier <monnier <at> IRO.UMontreal.CA>
Cc: 10459 <at> debbugs.gnu.org
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

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 <at> cantab.net
web:   www.dr-qubit.org

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.