[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Unfreezing the display during auto-repeated scrolling. Simpler appro
From: |
David Engster |
Subject: |
Re: Unfreezing the display during auto-repeated scrolling. Simpler approach. |
Date: |
Mon, 27 Oct 2014 20:36:08 +0100 |
User-agent: |
Gnus/5.13001 (Ma Gnus v0.10) Emacs/24.3.91 (gnu/linux) |
Eli Zaretskii writes:
>> From: David Engster <address@hidden>
>> Cc: Alan Mackenzie <address@hidden>, address@hidden, address@hidden
>> Date: Mon, 27 Oct 2014 20:13:19 +0100
>>
>> I worked with a small value for jit-lock-defer-time for a while, but
>> found that this does not play well with buffers that capture process
>> output, like compilation or grep. They are not fontified until you press
>> a key.
>
> That warrants a bug report, I would think.
OK, it's now filed as #18856.
-David
- Re: Unfreezing the display during auto-repeated scrolling. [ Was: Aborting display. Is this possible? ], (continued)
- Re: Unfreezing the display during auto-repeated scrolling. [ Was: Aborting display. Is this possible? ], Eli Zaretskii, 2014/10/26
- Re: Unfreezing the display during auto-repeated scrolling. [ Was: Aborting display. Is this possible? ], Alan Mackenzie, 2014/10/26
- Re: Unfreezing the display during auto-repeated scrolling. [ Was: Aborting display. Is this possible? ], Eli Zaretskii, 2014/10/26
- Re: Unfreezing the display during auto-repeated scrolling. [ Was: Aborting display. Is this possible? ], Stefan Monnier, 2014/10/26
- Re: Unfreezing the display during auto-repeated scrolling., Alan Mackenzie, 2014/10/26
- Re: Unfreezing the display during auto-repeated scrolling., Stefan Monnier, 2014/10/26
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Alan Mackenzie, 2014/10/27
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Eli Zaretskii, 2014/10/27
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., David Engster, 2014/10/27
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Eli Zaretskii, 2014/10/27
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach.,
David Engster <=
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Alan Mackenzie, 2014/10/27
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Stefan Monnier, 2014/10/27
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Alan Mackenzie, 2014/10/28
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Stefan Monnier, 2014/10/28
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Eli Zaretskii, 2014/10/29
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Alan Mackenzie, 2014/10/29
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Eli Zaretskii, 2014/10/29
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Stefan Monnier, 2014/10/29
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Alan Mackenzie, 2014/10/29
- Re: Unfreezing the display during auto-repeated scrolling. Simpler approach., Stefan Monnier, 2014/10/29