[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Unfreezing the display during auto-repeated scrolling. Simpler appro
From: |
Eli Zaretskii |
Subject: |
Re: Unfreezing the display during auto-repeated scrolling. Simpler approach. |
Date: |
Mon, 27 Oct 2014 21:26:45 +0200 |
> 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.
- Unfreezing the display during auto-repeated scrolling. [ Was: Aborting display. Is this possible? ], (continued)
- 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? ], 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 <=
- 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., 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