diff options
| author | Alan Mackenzie | 2020-04-11 21:04:50 +0000 |
|---|---|---|
| committer | Alan Mackenzie | 2020-04-11 21:04:50 +0000 |
| commit | cf57663f2ab80814d17eee0f21b498262f933d89 (patch) | |
| tree | 383b6cb81ab010bab3219d8f4ff979e3b5d74333 | |
| parent | fd27685c1e68e742abf1698573dac53743f15e48 (diff) | |
| download | emacs-cf57663f2ab80814d17eee0f21b498262f933d89.tar.gz emacs-cf57663f2ab80814d17eee0f21b498262f933d89.zip | |
Mention jit-lock deferred as an alternative to fast-but-imprecise-scrolling
* doc/emacs/display.texi (Scrolling): Add a paragraph on using jit-lock
deferred fontification as a way of obviating Emacs hanging after
auto-repeated scrolling.
| -rw-r--r-- | doc/emacs/display.texi | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/emacs/display.texi b/doc/emacs/display.texi index 8444aef3bdd..4273357995f 100644 --- a/doc/emacs/display.texi +++ b/doc/emacs/display.texi | |||
| @@ -141,6 +141,15 @@ default face. This can cause Emacs to scroll to somewhat wrong buffer | |||
| 141 | positions when the faces in use are not all the same size, even with | 141 | positions when the faces in use are not all the same size, even with |
| 142 | single (i.e., without auto-repeat) scrolling operations. | 142 | single (i.e., without auto-repeat) scrolling operations. |
| 143 | 143 | ||
| 144 | @vindex jit-lock-defer-time | ||
| 145 | As an alternative to setting @code{fast-but-imprecise-scrolling} you | ||
| 146 | might prefer to enable jit-lock deferred fontification (@pxref{Font | ||
| 147 | Lock}). To do this, customize @code{jit-lock-defer-time} to a small | ||
| 148 | positive number such as 0.25, or even 0.1 if you type quickly. This | ||
| 149 | gives you less jerky scrolling when you hold down @kbd{C-v}, but the | ||
| 150 | window contents after any action which scrolls into a fresh portion of | ||
| 151 | the buffer will be momentarily unfontified. | ||
| 152 | |||
| 144 | @vindex scroll-up | 153 | @vindex scroll-up |
| 145 | @vindex scroll-down | 154 | @vindex scroll-down |
| 146 | @findex scroll-up-line | 155 | @findex scroll-up-line |