[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: read_char() does not detect, handle special-event-map buffer changes
From: |
Michael Albinus |
Subject: |
Re: read_char() does not detect, handle special-event-map buffer changes |
Date: |
Fri, 08 Feb 2013 08:35:13 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
Derek Upham <address@hidden> writes:
> This removes a flawed optimization and returns a documented value. It
> doesn't touch read_key_sequence, so that risk goes away. If we were
> getting special events at a high rate of speed this /might/ cause a
> slowdown, but nothing in the special events table seems to be used that
> way---and I expect that the extra time spent popping back up to
> read_key_sequence for the retry will still be very fast compared to the
> time spent in the Emacs Lisp callback.
I don't know what you mean with "high rate of speed", but special events
are used for D-Bus and for file notifications. There could be a burst of
incoming events, temporarily.
> Derek
Best regards, Michael.
- read_char() does not detect, handle special-event-map buffer changes, Derek Upham, 2013/02/04
- Re: read_char() does not detect, handle special-event-map buffer changes, Derek Upham, 2013/02/07
- Re: read_char() does not detect, handle special-event-map buffer changes, Derek Upham, 2013/02/07
- Re: read_char() does not detect, handle special-event-map buffer changes, Stefan Monnier, 2013/02/07
- Re: read_char() does not detect, handle special-event-map buffer changes, Derek Upham, 2013/02/07
- Re: read_char() does not detect, handle special-event-map buffer changes,
Michael Albinus <=
- Re: read_char() does not detect, handle special-event-map buffer changes, Derek Upham, 2013/02/08
- Re: read_char() does not detect, handle special-event-map buffer changes, Michael Albinus, 2013/02/08
- Re: read_char() does not detect, handle special-event-map buffer changes, Derek Upham, 2013/02/09
- Re: read_char() does not detect, handle special-event-map buffer changes, Stefan Monnier, 2013/02/11
- Re: read_char() does not detect, handle special-event-map buffer changes, Derek Upham, 2013/02/12
- Re: read_char() does not detect, handle special-event-map buffer changes, Stefan Monnier, 2013/02/12