[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 18:51:35 +0200 |
> Date: Mon, 27 Oct 2014 14:28:01 +0000
> Cc: Eli Zaretskii <address@hidden>, address@hidden
> From: Alan Mackenzie <address@hidden>
>
> > Please take a look at what jit-lock-defer does.
>
> It sets a non-nil fontified text-property without doing any
> fontification (yet). I think you're suggesting "binding"
> jit-lock-defer over the scroll operation, thus inhibiting fontification.
>
> I've had a simpler idea: bind fontification-functions to nil over the
> scroll operation. This avoids many of the pitfalls of my last patch, and
> can be perfectly specific to scrolling by whole screens and nothing else,
> and is much simpler and less intrusive. It works well.
>
> Here's a patch, which does precisely that. Comments welcome, as always:
If jit-lock-defer-time produces the desired effect, I see no need to
have yet another separate knob to achieve the same effect just during
scrolling.
- Re: 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 <=
- 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, 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