]> code.delx.au - gnu-emacs/blob - lisp/jit-lock.el
(jit-lock-stealth-fontify): When calling sit-for,
[gnu-emacs] / lisp / jit-lock.el
1 ;;; jit-lock.el --- just-in-time fontification
2
3 ;; Copyright (C) 1998, 2000, 2001, 2004 Free Software Foundation, Inc.
4
5 ;; Author: Gerd Moellmann <gerd@gnu.org>
6 ;; Keywords: faces files
7
8 ;; This file is part of GNU Emacs.
9
10 ;; GNU Emacs is free software; you can redistribute it and/or modify
11 ;; it under the terms of the GNU General Public License as published by
12 ;; the Free Software Foundation; either version 2, or (at your option)
13 ;; any later version.
14
15 ;; GNU Emacs is distributed in the hope that it will be useful,
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 ;; GNU General Public License for more details.
19
20 ;; You should have received a copy of the GNU General Public License
21 ;; along with GNU Emacs; see the file COPYING. If not, write to the
22 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
23 ;; Boston, MA 02111-1307, USA.
24
25 ;;; Commentary:
26
27 ;; Just-in-time fontification, triggered by C redisplay code.
28
29 ;;; Code:
30
31
32 (eval-when-compile
33 (defmacro with-buffer-unmodified (&rest body)
34 "Eval BODY, preserving the current buffer's modified state."
35 (declare (debug t))
36 (let ((modified (make-symbol "modified")))
37 `(let ((,modified (buffer-modified-p)))
38 (unwind-protect
39 (progn ,@body)
40 (unless ,modified
41 (restore-buffer-modified-p nil))))))
42
43 (defmacro with-buffer-prepared-for-jit-lock (&rest body)
44 "Execute BODY in current buffer, overriding several variables.
45 Preserves the `buffer-modified-p' state of the current buffer."
46 (declare (debug t))
47 `(with-buffer-unmodified
48 (let ((buffer-undo-list t)
49 (inhibit-read-only t)
50 (inhibit-point-motion-hooks t)
51 (inhibit-modification-hooks t)
52 deactivate-mark
53 buffer-file-name
54 buffer-file-truename)
55 ,@body))))
56
57
58 \f
59 ;;; Customization.
60
61 (defgroup jit-lock nil
62 "Font Lock support mode to fontify just-in-time."
63 :version "21.1"
64 :group 'font-lock)
65
66 (defcustom jit-lock-chunk-size 500
67 "*Jit-lock chunks of this many characters, or smaller."
68 :type 'integer
69 :group 'jit-lock)
70
71
72 (defcustom jit-lock-stealth-time 3
73 "*Time in seconds to wait before beginning stealth fontification.
74 Stealth fontification occurs if there is no input within this time.
75 If nil, stealth fontification is never performed.
76
77 The value of this variable is used when JIT Lock mode is turned on."
78 :type '(choice (const :tag "never" nil)
79 (number :tag "seconds"))
80 :group 'jit-lock)
81
82
83 (defcustom jit-lock-stealth-nice 0.125
84 "*Time in seconds to pause between chunks of stealth fontification.
85 Each iteration of stealth fontification is separated by this amount of time,
86 thus reducing the demand that stealth fontification makes on the system.
87 If nil, means stealth fontification is never paused.
88 To reduce machine load during stealth fontification, at the cost of stealth
89 taking longer to fontify, you could increase the value of this variable.
90 See also `jit-lock-stealth-load'."
91 :type '(choice (const :tag "never" nil)
92 (number :tag "seconds"))
93 :group 'jit-lock)
94
95
96 (defcustom jit-lock-stealth-load
97 (if (condition-case nil (load-average) (error)) 200)
98 "*Load in percentage above which stealth fontification is suspended.
99 Stealth fontification pauses when the system short-term load average (as
100 returned by the function `load-average' if supported) goes above this level,
101 thus reducing the demand that stealth fontification makes on the system.
102 If nil, means stealth fontification is never suspended.
103 To reduce machine load during stealth fontification, at the cost of stealth
104 taking longer to fontify, you could reduce the value of this variable.
105 See also `jit-lock-stealth-nice'."
106 :type (if (condition-case nil (load-average) (error))
107 '(choice (const :tag "never" nil)
108 (integer :tag "load"))
109 '(const :format "%t: unsupported\n" nil))
110 :group 'jit-lock)
111
112
113 (defcustom jit-lock-stealth-verbose nil
114 "*If non-nil, means stealth fontification should show status messages."
115 :type 'boolean
116 :group 'jit-lock)
117
118
119 (defvaralias 'jit-lock-defer-contextually 'jit-lock-contextually)
120 (defcustom jit-lock-contextually 'syntax-driven
121 "*If non-nil, means fontification should be syntactically true.
122 If nil, means fontification occurs only on those lines modified. This
123 means where modification on a line causes syntactic change on subsequent lines,
124 those subsequent lines are not refontified to reflect their new context.
125 If t, means fontification occurs on those lines modified and all
126 subsequent lines. This means those subsequent lines are refontified to reflect
127 their new syntactic context, after `jit-lock-context-time' seconds.
128 If any other value, e.g., `syntax-driven', means syntactically true
129 fontification occurs only if syntactic fontification is performed using the
130 buffer mode's syntax table, i.e., only if `font-lock-keywords-only' is nil.
131
132 The value of this variable is used when JIT Lock mode is turned on."
133 :type '(choice (const :tag "never" nil)
134 (const :tag "always" t)
135 (other :tag "syntax-driven" syntax-driven))
136 :group 'jit-lock)
137
138 (defcustom jit-lock-context-time 0.5
139 "Idle time after which text is contextually refontified, if applicable."
140 :type '(number :tag "seconds"))
141
142 (defcustom jit-lock-defer-time nil ;; 0.25
143 "Idle time after which deferred fontification should take place.
144 If nil, fontification is not deferred."
145 :group 'jit-lock
146 :type '(choice (const :tag "never" nil)
147 (number :tag "seconds")))
148 \f
149 ;;; Variables that are not customizable.
150
151 (defvar jit-lock-mode nil
152 "Non-nil means Just-in-time Lock mode is active.")
153 (make-variable-buffer-local 'jit-lock-mode)
154
155 (defvar jit-lock-functions nil
156 "Functions to do the actual fontification.
157 They are called with two arguments: the START and END of the region to fontify.")
158 (make-variable-buffer-local 'jit-lock-functions)
159
160 (defvar jit-lock-context-unfontify-pos nil
161 "Consider text after this position as contextually unfontified.
162 If nil, contextual fontification is disabled.")
163 (make-variable-buffer-local 'jit-lock-context-unfontify-pos)
164
165
166 (defvar jit-lock-stealth-timer nil
167 "Timer for stealth fontification in Just-in-time Lock mode.")
168 (defvar jit-lock-context-timer nil
169 "Timer for context fontification in Just-in-time Lock mode.")
170 (defvar jit-lock-defer-timer nil
171 "Timer for deferred fontification in Just-in-time Lock mode.")
172
173 (defvar jit-lock-defer-buffers nil
174 "List of buffers with pending deferred fontification.")
175 \f
176 ;;; JIT lock mode
177
178 (defun jit-lock-mode (arg)
179 "Toggle Just-in-time Lock mode.
180 Turn Just-in-time Lock mode on if and only if ARG is non-nil.
181 Enable it automatically by customizing group `font-lock'.
182
183 When Just-in-time Lock mode is enabled, fontification is different in the
184 following ways:
185
186 - Demand-driven buffer fontification triggered by Emacs C code.
187 This means initial fontification of the whole buffer does not occur.
188 Instead, fontification occurs when necessary, such as when scrolling
189 through the buffer would otherwise reveal unfontified areas. This is
190 useful if buffer fontification is too slow for large buffers.
191
192 - Stealthy buffer fontification if `jit-lock-stealth-time' is non-nil.
193 This means remaining unfontified areas of buffers are fontified if Emacs has
194 been idle for `jit-lock-stealth-time' seconds, while Emacs remains idle.
195 This is useful if any buffer has any deferred fontification.
196
197 - Deferred context fontification if `jit-lock-contextually' is
198 non-nil. This means fontification updates the buffer corresponding to
199 true syntactic context, after `jit-lock-context-time' seconds of Emacs
200 idle time, while Emacs remains idle. Otherwise, fontification occurs
201 on modified lines only, and subsequent lines can remain fontified
202 corresponding to previous syntactic contexts. This is useful where
203 strings or comments span lines.
204
205 Stealth fontification only occurs while the system remains unloaded.
206 If the system load rises above `jit-lock-stealth-load' percent, stealth
207 fontification is suspended. Stealth fontification intensity is controlled via
208 the variable `jit-lock-stealth-nice'."
209 (setq jit-lock-mode arg)
210 (cond (;; Turn Just-in-time Lock mode on.
211 jit-lock-mode
212
213 ;; Mark the buffer for refontification.
214 (jit-lock-refontify)
215
216 ;; Install an idle timer for stealth fontification.
217 (when (and jit-lock-stealth-time (null jit-lock-stealth-timer))
218 (setq jit-lock-stealth-timer
219 (run-with-idle-timer jit-lock-stealth-time t
220 'jit-lock-stealth-fontify)))
221
222 ;; Init deferred fontification timer.
223 (when (and jit-lock-defer-time (null jit-lock-defer-timer))
224 (setq jit-lock-defer-timer
225 (run-with-idle-timer jit-lock-defer-time t
226 'jit-lock-deferred-fontify)))
227
228 ;; Initialize contextual fontification if requested.
229 (when (eq jit-lock-contextually t)
230 (unless jit-lock-context-timer
231 (setq jit-lock-context-timer
232 (run-with-idle-timer jit-lock-context-time t
233 'jit-lock-context-fontify)))
234 (setq jit-lock-context-unfontify-pos
235 (or jit-lock-context-unfontify-pos (point-max))))
236
237 ;; Setup our hooks.
238 (add-hook 'after-change-functions 'jit-lock-after-change nil t)
239 (add-hook 'fontification-functions 'jit-lock-function))
240
241 ;; Turn Just-in-time Lock mode off.
242 (t
243 ;; Cancel our idle timers.
244 (when (and (or jit-lock-stealth-timer jit-lock-defer-timer
245 jit-lock-context-timer)
246 ;; Only if there's no other buffer using them.
247 (not (catch 'found
248 (dolist (buf (buffer-list))
249 (with-current-buffer buf
250 (when jit-lock-mode (throw 'found t)))))))
251 (when jit-lock-stealth-timer
252 (cancel-timer jit-lock-stealth-timer)
253 (setq jit-lock-stealth-timer nil))
254 (when jit-lock-context-timer
255 (cancel-timer jit-lock-context-timer)
256 (setq jit-lock-context-timer nil))
257 (when jit-lock-defer-timer
258 (cancel-timer jit-lock-defer-timer)
259 (setq jit-lock-defer-timer nil)))
260
261 ;; Remove hooks.
262 (remove-hook 'after-change-functions 'jit-lock-after-change t)
263 (remove-hook 'fontification-functions 'jit-lock-function))))
264
265 ;;;###autoload
266 (defun jit-lock-register (fun &optional contextual)
267 "Register FUN as a fontification function to be called in this buffer.
268 FUN will be called with two arguments START and END indicating the region
269 that needs to be (re)fontified.
270 If non-nil, CONTEXTUAL means that a contextual fontification would be useful."
271 (add-hook 'jit-lock-functions fun nil t)
272 (when (and contextual jit-lock-contextually)
273 (set (make-local-variable 'jit-lock-contextually) t))
274 (jit-lock-mode t))
275
276 (defun jit-lock-unregister (fun)
277 "Unregister FUN as a fontification function.
278 Only applies to the current buffer."
279 (remove-hook 'jit-lock-functions fun t)
280 (unless jit-lock-functions (jit-lock-mode nil)))
281
282 ;; This function is used to prevent font-lock-fontify-buffer from
283 ;; fontifying eagerly the whole buffer. This is important for
284 ;; things like CWarn mode which adds/removes a few keywords and
285 ;; does a refontify (which takes ages on large files).
286 (defun jit-lock-refontify (&optional beg end)
287 "Force refontification of the region BEG..END (default whole buffer)."
288 (with-buffer-prepared-for-jit-lock
289 (save-restriction
290 (widen)
291 (put-text-property (or beg (point-min)) (or end (point-max))
292 'fontified nil))))
293 \f
294 ;;; On demand fontification.
295
296 (defun jit-lock-function (start)
297 "Fontify current buffer starting at position START.
298 This function is added to `fontification-functions' when `jit-lock-mode'
299 is active."
300 (when jit-lock-mode
301 (if (null jit-lock-defer-time)
302 ;; No deferral.
303 (jit-lock-fontify-now start (+ start jit-lock-chunk-size))
304 ;; Record the buffer for later fontification.
305 (unless (memq (current-buffer) jit-lock-defer-buffers)
306 (push (current-buffer) jit-lock-defer-buffers))
307 ;; Mark the area as defer-fontified so that the redisplay engine
308 ;; is happy and so that the idle timer can find the places to fontify.
309 (with-buffer-prepared-for-jit-lock
310 (put-text-property start
311 (next-single-property-change
312 start 'fontified nil
313 (min (point-max) (+ start jit-lock-chunk-size)))
314 'fontified 'defer)))))
315
316 (defun jit-lock-fontify-now (&optional start end)
317 "Fontify current buffer from START to END.
318 Defaults to the whole buffer. END can be out of bounds."
319 (with-buffer-prepared-for-jit-lock
320 (save-excursion
321 (unless start (setq start (point-min)))
322 (setq end (if end (min end (point-max)) (point-max)))
323 ;; This did bind `font-lock-beginning-of-syntax-function' to
324 ;; nil at some point, for an unknown reason. Don't do this; it
325 ;; can make highlighting slow due to expensive calls to
326 ;; `parse-partial-sexp' in function
327 ;; `font-lock-fontify-syntactically-region'. Example: paging
328 ;; from the end of a buffer to its start, can do repeated
329 ;; `parse-partial-sexp' starting from `point-min', which can
330 ;; take a long time in a large buffer.
331 (let (next)
332 (save-match-data
333 ;; Fontify chunks beginning at START. The end of a
334 ;; chunk is either `end', or the start of a region
335 ;; before `end' that has already been fontified.
336 (while start
337 ;; Determine the end of this chunk.
338 (setq next (or (text-property-any start end 'fontified t)
339 end))
340
341 ;; Decide which range of text should be fontified.
342 ;; The problem is that START and NEXT may be in the
343 ;; middle of something matched by a font-lock regexp.
344 ;; Until someone has a better idea, let's start
345 ;; at the start of the line containing START and
346 ;; stop at the start of the line following NEXT.
347 (goto-char next) (setq next (line-beginning-position 2))
348 (goto-char start) (setq start (line-beginning-position))
349
350 ;; Fontify the chunk, and mark it as fontified.
351 ;; We mark it first, to make sure that we don't indefinitely
352 ;; re-execute this fontification if an error occurs.
353 (put-text-property start next 'fontified t)
354 (condition-case err
355 (run-hook-with-args 'jit-lock-functions start next)
356 ;; If the user quits (which shouldn't happen in normal on-the-fly
357 ;; jit-locking), make sure the fontification will be performed
358 ;; before displaying the block again.
359 (quit (put-text-property start next 'fontified nil)
360 (funcall 'signal (car err) (cdr err))))
361
362 ;; Find the start of the next chunk, if any.
363 (setq start (text-property-any next end 'fontified nil))))))))
364
365 \f
366 ;;; Stealth fontification.
367
368 (defsubst jit-lock-stealth-chunk-start (around)
369 "Return the start of the next chunk to fontify around position AROUND..
370 Value is nil if there is nothing more to fontify."
371 (if (zerop (buffer-size))
372 nil
373 (save-restriction
374 (widen)
375 (let* ((next (text-property-not-all around (point-max) 'fontified t))
376 (prev (previous-single-property-change around 'fontified))
377 (prop (get-text-property (max (point-min) (1- around))
378 'fontified))
379 (start (cond
380 ((null prev)
381 ;; There is no property change between AROUND
382 ;; and the start of the buffer. If PROP is
383 ;; non-nil, everything in front of AROUND is
384 ;; fontified, otherwise nothing is fontified.
385 (if (eq prop t)
386 nil
387 (max (point-min)
388 (- around (/ jit-lock-chunk-size 2)))))
389 ((eq prop t)
390 ;; PREV is the start of a region of fontified
391 ;; text containing AROUND. Start fontifying a
392 ;; chunk size before the end of the unfontified
393 ;; region in front of that.
394 (max (or (previous-single-property-change prev 'fontified)
395 (point-min))
396 (- prev jit-lock-chunk-size)))
397 (t
398 ;; PREV is the start of a region of unfontified
399 ;; text containing AROUND. Start at PREV or
400 ;; chunk size in front of AROUND, whichever is
401 ;; nearer.
402 (max prev (- around jit-lock-chunk-size)))))
403 (result (cond ((null start) next)
404 ((null next) start)
405 ((< (- around start) (- next around)) start)
406 (t next))))
407 result))))
408
409
410 (defun jit-lock-stealth-fontify ()
411 "Fontify buffers stealthily.
412 This functions is called after Emacs has been idle for
413 `jit-lock-stealth-time' seconds."
414 ;; I used to check `inhibit-read-only' here, but I can't remember why. -stef
415 (unless (or executing-kbd-macro
416 (window-minibuffer-p (selected-window)))
417 (let ((buffers (buffer-list))
418 (outer-buffer (current-buffer))
419 minibuffer-auto-raise
420 message-log-max)
421 (with-local-quit
422 (while (and buffers (not (input-pending-p)))
423 (with-current-buffer (pop buffers)
424 (when jit-lock-mode
425 ;; This is funny. Calling sit-for with 3rd arg non-nil
426 ;; so that it doesn't redisplay, internally calls
427 ;; wait_reading_process_input also with a parameter
428 ;; saying "don't redisplay." Since this function here
429 ;; is called periodically, this effectively leads to
430 ;; process output not being redisplayed at all because
431 ;; redisplay_internal is never called. (That didn't
432 ;; work in the old redisplay either.) So, we learn that
433 ;; we mustn't call sit-for that way here. But then, we
434 ;; have to be cautious not to call sit-for in a widened
435 ;; buffer, since this could display hidden parts of that
436 ;; buffer. This explains the seemingly weird use of
437 ;; save-restriction/widen here.
438
439 (with-temp-message (if jit-lock-stealth-verbose
440 (concat "JIT stealth lock "
441 (buffer-name)))
442
443 ;; In the following code, the `sit-for' calls cause a
444 ;; redisplay, so it's required that the
445 ;; buffer-modified flag of a buffer that is displayed
446 ;; has the right value---otherwise the mode line of
447 ;; an unmodified buffer would show a `*'.
448 (let (start
449 (nice (or jit-lock-stealth-nice 0))
450 (point (point-min)))
451 (while (and (setq start
452 (jit-lock-stealth-chunk-start point))
453 ;; In case sit-for runs any timers,
454 ;; give them the expected current buffer.
455 (with-current-buffer outer-buffer
456 (sit-for nice)))
457
458 ;; fontify a block.
459 (jit-lock-fontify-now start (+ start jit-lock-chunk-size))
460 ;; If stealth jit-locking is done backwards, this leads to
461 ;; excessive O(n^2) refontification. -stef
462 ;; (when (>= jit-lock-context-unfontify-pos start)
463 ;; (setq jit-lock-context-unfontify-pos end))
464
465 ;; Wait a little if load is too high.
466 (when (and jit-lock-stealth-load
467 (> (car (load-average)) jit-lock-stealth-load))
468 ;; In case sit-for runs any timers,
469 ;; give them the expected current buffer.
470 (with-current-buffer outer-buffer
471 (sit-for (or jit-lock-stealth-time 30))))))))))))))
472
473
474 \f
475 ;;; Deferred fontification.
476
477 (defun jit-lock-deferred-fontify ()
478 "Fontify what was deferred."
479 (when jit-lock-defer-buffers
480 ;; Mark the deferred regions back to `fontified = nil'
481 (dolist (buffer jit-lock-defer-buffers)
482 (when (buffer-live-p buffer)
483 (with-current-buffer buffer
484 ;; (message "Jit-Defer %s" (buffer-name))
485 (with-buffer-prepared-for-jit-lock
486 (let ((pos (point-min)))
487 (while
488 (progn
489 (when (eq (get-text-property pos 'fontified) 'defer)
490 (put-text-property
491 pos (setq pos (next-single-property-change
492 pos 'fontified nil (point-max)))
493 'fontified nil))
494 (setq pos (next-single-property-change pos 'fontified)))))))))
495 (setq jit-lock-defer-buffers nil)
496 ;; Force fontification of the visible parts.
497 (let ((jit-lock-defer-time nil))
498 ;; (message "Jit-Defer Now")
499 (sit-for 0)
500 ;; (message "Jit-Defer Done")
501 )))
502
503
504 (defun jit-lock-context-fontify ()
505 "Refresh fontification to take new context into account."
506 (dolist (buffer (buffer-list))
507 (with-current-buffer buffer
508 (when jit-lock-context-unfontify-pos
509 ;; (message "Jit-Context %s" (buffer-name))
510 (save-restriction
511 (widen)
512 (when (and (>= jit-lock-context-unfontify-pos (point-min))
513 (< jit-lock-context-unfontify-pos (point-max)))
514 ;; If we're in text that matches a complex multi-line
515 ;; font-lock pattern, make sure the whole text will be
516 ;; redisplayed eventually.
517 ;; Despite its name, we treat jit-lock-defer-multiline here
518 ;; rather than in jit-lock-defer since it has to do with multiple
519 ;; lines, i.e. with context.
520 (when (get-text-property jit-lock-context-unfontify-pos
521 'jit-lock-defer-multiline)
522 (setq jit-lock-context-unfontify-pos
523 (or (previous-single-property-change
524 jit-lock-context-unfontify-pos
525 'jit-lock-defer-multiline)
526 (point-min))))
527 (with-buffer-prepared-for-jit-lock
528 ;; Force contextual refontification.
529 (remove-text-properties
530 jit-lock-context-unfontify-pos (point-max)
531 '(fontified nil jit-lock-defer-multiline nil)))
532 (setq jit-lock-context-unfontify-pos (point-max))))))))
533
534 (defun jit-lock-after-change (start end old-len)
535 "Mark the rest of the buffer as not fontified after a change.
536 Installed on `after-change-functions'.
537 START and END are the start and end of the changed text. OLD-LEN
538 is the pre-change length.
539 This function ensures that lines following the change will be refontified
540 in case the syntax of those lines has changed. Refontification
541 will take place when text is fontified stealthily."
542 (when jit-lock-mode
543 (save-excursion
544 (with-buffer-prepared-for-jit-lock
545 ;; It's important that the `fontified' property be set from the
546 ;; beginning of the line, else font-lock will properly change the
547 ;; text's face, but the display will have been done already and will
548 ;; be inconsistent with the buffer's content.
549 (goto-char start)
550 (setq start (line-beginning-position))
551
552 ;; If we're in text that matches a multi-line font-lock pattern,
553 ;; make sure the whole text will be redisplayed.
554 ;; I'm not sure this is ever necessary and/or sufficient. -stef
555 (when (get-text-property start 'font-lock-multiline)
556 (setq start (or (previous-single-property-change
557 start 'font-lock-multiline)
558 (point-min))))
559
560 ;; Make sure we change at least one char (in case of deletions).
561 (setq end (min (max end (1+ start)) (point-max)))
562 ;; Request refontification.
563 (put-text-property start end 'fontified nil))
564 ;; Mark the change for deferred contextual refontification.
565 (when jit-lock-context-unfontify-pos
566 (setq jit-lock-context-unfontify-pos
567 (min jit-lock-context-unfontify-pos start))))))
568
569 (provide 'jit-lock)
570
571 ;;; arch-tag: 56b5de6e-f581-453b-bb97-49c39372ff9e
572 ;;; jit-lock.el ends here