Mercurial > emacs
annotate lisp/jit-lock.el @ 28861:bab7620d1466
(log-view-goto-rev): New function for the new VC.
(log-view-minor-wrap): Use mark-active.
author | Stefan Monnier <monnier@iro.umontreal.ca> |
---|---|
date | Wed, 10 May 2000 22:22:21 +0000 |
parents | e564d806233e |
children | dbb0996702bd |
rev | line source |
---|---|
25003 | 1 ;;; jit-lock.el --- just-in-time fontification. |
2 | |
3 ;; Copyright (C) 1998 Free Software Foundation, Inc. | |
4 | |
5 ;; Author: Gerd Moellmann <gerd@gnu.org> | |
6 ;; Keywords: faces files | |
7 ;; Version: 1.0 | |
8 | |
9 ;; This file is part of GNU Emacs. | |
10 | |
11 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
12 ;; it under the terms of the GNU General Public License as published by | |
13 ;; the Free Software Foundation; either version 2, or (at your option) | |
14 ;; any later version. | |
15 | |
16 ;; GNU Emacs is distributed in the hope that it will be useful, | |
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 ;; GNU General Public License for more details. | |
20 | |
21 ;; You should have received a copy of the GNU General Public License | |
22 ;; along with GNU Emacs; see the file COPYING. If not, write to the | |
23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
24 ;; Boston, MA 02111-1307, USA. | |
25 | |
26 ;;; Commentary: | |
27 | |
28 ;; Just-in-time fontification, triggered by C redisplay code. | |
29 | |
30 ;;; Code: | |
31 | |
32 | |
33 (require 'font-lock) | |
34 | |
35 (eval-when-compile | |
28501
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
36 (defmacro with-buffer-unmodified (&rest body) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
37 "Eval BODY, preserving the current buffer's modified state." |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
38 (let ((modified (make-symbol "modified"))) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
39 `(let ((,modified (buffer-modified-p))) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
40 ,@body |
28533
e564d806233e
(with-buffer-unmodified): Fix bug introduced by `)'
Gerd Moellmann <gerd@gnu.org>
parents:
28521
diff
changeset
|
41 (unless ,modified |
e564d806233e
(with-buffer-unmodified): Fix bug introduced by `)'
Gerd Moellmann <gerd@gnu.org>
parents:
28521
diff
changeset
|
42 (restore-buffer-modified-p nil))))) |
28501
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
43 |
25003 | 44 (defmacro with-buffer-prepared-for-font-lock (&rest body) |
45 "Execute BODY in current buffer, overriding several variables. | |
46 Preserves the `buffer-modified-p' state of the current buffer." | |
28521
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
47 `(with-buffer-unmodified |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
48 (let ((buffer-undo-list t) |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
49 (inhibit-read-only t) |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
50 (inhibit-point-motion-hooks t) |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
51 before-change-functions |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
52 after-change-functions |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
53 deactivate-mark |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
54 buffer-file-name |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
55 buffer-file-truename) |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
56 ,@body)))) |
28501
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
57 |
25003 | 58 |
59 | |
60 ;;; Customization. | |
61 | |
62 (defcustom jit-lock-chunk-size 500 | |
63 "*Font-lock chunks of this many characters, or smaller." | |
64 :type 'integer | |
65 :group 'jit-lock) | |
66 | |
67 | |
68 (defcustom jit-lock-stealth-time 3 | |
69 "*Time in seconds to wait before beginning stealth fontification. | |
70 Stealth fontification occurs if there is no input within this time. | |
71 If nil, means stealth fontification is never performed. | |
72 | |
73 The value of this variable is used when JIT Lock mode is turned on." | |
74 :type '(choice (const :tag "never" nil) | |
75 (number :tag "seconds")) | |
76 :group 'jit-lock) | |
77 | |
78 | |
79 (defcustom jit-lock-stealth-nice 0.125 | |
80 "*Time in seconds to pause between chunks of stealth fontification. | |
81 Each iteration of stealth fontification is separated by this amount of time, | |
82 thus reducing the demand that stealth fontification makes on the system. | |
83 If nil, means stealth fontification is never paused. | |
84 To reduce machine load during stealth fontification, at the cost of stealth | |
85 taking longer to fontify, you could increase the value of this variable. | |
86 See also `jit-lock-stealth-load'." | |
87 :type '(choice (const :tag "never" nil) | |
88 (number :tag "seconds")) | |
89 :group 'jit-lock) | |
90 | |
91 | |
92 (defcustom jit-lock-stealth-load | |
93 (if (condition-case nil (load-average) (error)) 200) | |
94 "*Load in percentage above which stealth fontification is suspended. | |
95 Stealth fontification pauses when the system short-term load average (as | |
96 returned by the function `load-average' if supported) goes above this level, | |
97 thus reducing the demand that stealth fontification makes on the system. | |
98 If nil, means stealth fontification is never suspended. | |
99 To reduce machine load during stealth fontification, at the cost of stealth | |
100 taking longer to fontify, you could reduce the value of this variable. | |
101 See also `jit-lock-stealth-nice'." | |
102 :type (if (condition-case nil (load-average) (error)) | |
103 '(choice (const :tag "never" nil) | |
104 (integer :tag "load")) | |
105 '(const :format "%t: unsupported\n" nil)) | |
106 :group 'jit-lock) | |
107 | |
108 | |
109 (defcustom jit-lock-stealth-verbose nil | |
110 "*If non-nil, means stealth fontification should show status messages." | |
111 :type 'boolean | |
112 :group 'jit-lock) | |
113 | |
114 | |
115 (defcustom jit-lock-defer-contextually 'syntax-driven | |
116 "*If non-nil, means deferred fontification should be syntactically true. | |
117 If nil, means deferred fontification occurs only on those lines modified. This | |
118 means where modification on a line causes syntactic change on subsequent lines, | |
119 those subsequent lines are not refontified to reflect their new context. | |
120 If t, means deferred fontification occurs on those lines modified and all | |
121 subsequent lines. This means those subsequent lines are refontified to reflect | |
122 their new syntactic context, either immediately or when scrolling into them. | |
123 If any other value, e.g., `syntax-driven', means deferred syntactically true | |
124 fontification occurs only if syntactic fontification is performed using the | |
125 buffer mode's syntax table, i.e., only if `font-lock-keywords-only' is nil. | |
126 | |
127 The value of this variable is used when JIT Lock mode is turned on." | |
128 :type '(choice (const :tag "never" nil) | |
129 (const :tag "always" t) | |
130 (other :tag "syntax-driven" syntax-driven)) | |
131 :group 'jit-lock) | |
132 | |
133 | |
134 | |
135 ;;; Variables that are not customizable. | |
136 | |
137 (defvar jit-lock-mode nil | |
138 "Non-nil means Just-in-time Lock mode is active.") | |
139 (make-variable-buffer-local 'jit-lock-mode) | |
140 | |
141 | |
142 (defvar jit-lock-first-unfontify-pos nil | |
143 "Consider text after this position as unfontified.") | |
144 (make-variable-buffer-local 'jit-lock-first-unfontify-pos) | |
145 | |
146 | |
147 (defvar jit-lock-stealth-timer nil | |
148 "Timer for stealth fontification in Just-in-time Lock mode.") | |
149 | |
150 | |
151 | |
152 ;;; JIT lock mode | |
153 | |
154 ;;;###autoload | |
155 (defun jit-lock-mode (arg) | |
156 "Toggle Just-in-time Lock mode. | |
157 With arg, turn Just-in-time Lock mode on if and only if arg is positive. | |
158 Enable it automatically by customizing group `font-lock'. | |
159 | |
160 When Just-in-time Lock mode is enabled, fontification is different in the | |
161 following ways: | |
162 | |
163 - Demand-driven buffer fontification triggered by Emacs C code. | |
164 This means initial fontification of the whole buffer does not occur. | |
165 Instead, fontification occurs when necessary, such as when scrolling | |
166 through the buffer would otherwise reveal unfontified areas. This is | |
167 useful if buffer fontification is too slow for large buffers. | |
168 | |
169 - Stealthy buffer fontification if `jit-lock-stealth-time' is non-nil. | |
170 This means remaining unfontified areas of buffers are fontified if Emacs has | |
171 been idle for `jit-lock-stealth-time' seconds, while Emacs remains idle. | |
172 This is useful if any buffer has any deferred fontification. | |
173 | |
174 - Deferred context fontification if `jit-lock-defer-contextually' is | |
175 non-nil. This means fontification updates the buffer corresponding to | |
176 true syntactic context, after `jit-lock-stealth-time' seconds of Emacs | |
177 idle time, while Emacs remains idle. Otherwise, fontification occurs | |
178 on modified lines only, and subsequent lines can remain fontified | |
179 corresponding to previous syntactic contexts. This is useful where | |
180 strings or comments span lines. | |
181 | |
182 Stealth fontification only occurs while the system remains unloaded. | |
183 If the system load rises above `jit-lock-stealth-load' percent, stealth | |
184 fontification is suspended. Stealth fontification intensity is controlled via | |
185 the variable `jit-lock-stealth-nice' and `jit-lock-stealth-lines'." | |
186 (interactive "P") | |
187 (setq jit-lock-mode (if arg | |
188 (> (prefix-numeric-value arg) 0) | |
189 (not jit-lock-mode))) | |
190 (cond ((and jit-lock-mode | |
191 (or (not (boundp 'font-lock-mode)) | |
192 (not font-lock-mode))) | |
193 ;; If font-lock is not on, turn it on, with Just-in-time | |
194 ;; Lock mode as support mode; font-lock will call us again. | |
195 (let ((font-lock-support-mode 'jit-lock-mode)) | |
196 (font-lock-mode t))) | |
197 | |
198 ;; Turn Just-in-time Lock mode on. | |
199 (jit-lock-mode | |
200 ;; Setting `font-lock-fontified' makes font-lock believe the | |
201 ;; buffer is already fontified, so that it won't highlight | |
202 ;; the whole buffer. | |
203 (make-local-variable 'font-lock-fontified) | |
204 (setq font-lock-fontified t) | |
205 | |
206 (setq jit-lock-first-unfontify-pos nil) | |
207 | |
208 ;; Install an idle timer for stealth fontification. | |
209 (when (and jit-lock-stealth-time | |
210 (null jit-lock-stealth-timer)) | |
211 (setq jit-lock-stealth-timer | |
212 (run-with-idle-timer jit-lock-stealth-time | |
213 jit-lock-stealth-time | |
214 'jit-lock-stealth-fontify))) | |
215 | |
216 ;; Add a hook for deferred contectual fontification. | |
217 (when (or (eq jit-lock-defer-contextually 'always) | |
218 (and (not (eq jit-lock-defer-contextually 'never)) | |
219 (null font-lock-keywords-only))) | |
220 (add-hook 'after-change-functions 'jit-lock-after-change)) | |
221 | |
222 ;; Install the fontification hook. | |
223 (add-hook 'fontification-functions 'jit-lock-function)) | |
224 | |
225 ;; Turn Just-in-time Lock mode off. | |
226 (t | |
227 ;; Cancel our idle timer. | |
228 (when jit-lock-stealth-timer | |
229 (cancel-timer jit-lock-stealth-timer) | |
230 (setq jit-lock-stealth-timer nil)) | |
231 | |
232 ;; Remove hooks. | |
233 (remove-hook 'after-change-functions 'jit-lock-after-change) | |
234 (remove-hook 'fontification-functions 'jit-lock-function)))) | |
235 | |
236 | |
237 ;;;###autoload | |
238 (defun turn-on-jit-lock () | |
239 "Unconditionally turn on Just-in-time Lock mode." | |
240 (jit-lock-mode 1)) | |
241 | |
242 | |
243 | |
244 ;;; On demand fontification. | |
245 | |
246 (defun jit-lock-function (start) | |
247 "Fontify current buffer starting at position START. | |
248 This function is added to `fontification-functions' when `jit-lock-mode' | |
249 is active." | |
250 (when jit-lock-mode | |
28521
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
251 (jit-lock-function-1 start))) |
28501
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
252 |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
253 |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
254 (defun jit-lock-function-1 (start) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
255 "Fontify current buffer starting at position START. |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
256 This function is added to `fontification-functions' when `jit-lock-mode' |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
257 is active." |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
258 (with-buffer-prepared-for-font-lock |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
259 (save-excursion |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
260 (save-restriction |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
261 (widen) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
262 (let ((end (min (point-max) (+ start jit-lock-chunk-size))) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
263 (parse-sexp-lookup-properties font-lock-syntactic-keywords) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
264 (font-lock-beginning-of-syntax-function nil) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
265 (old-syntax-table (syntax-table)) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
266 next font-lock-start font-lock-end) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
267 (when font-lock-syntax-table |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
268 (set-syntax-table font-lock-syntax-table)) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
269 (save-match-data |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
270 (condition-case error |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
271 ;; Fontify chunks beginning at START. The end of a |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
272 ;; chunk is either `end', or the start of a region |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
273 ;; before `end' that has already been fontified. |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
274 (while start |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
275 ;; Determine the end of this chunk. |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
276 (setq next (or (text-property-any start end 'fontified t) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
277 end)) |
25395
9d8fff117316
(jit-lock-function): Extend the fontified range
Gerd Moellmann <gerd@gnu.org>
parents:
25341
diff
changeset
|
278 |
28501
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
279 ;; Decide which range of text should be fontified. |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
280 ;; The problem is that START and NEXT may be in the |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
281 ;; middle of something matched by a font-lock regexp. |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
282 ;; Until someone has a better idea, let's start |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
283 ;; at the start of the line containing START and |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
284 ;; stop at the start of the line following NEXT. |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
285 (goto-char next) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
286 (setq font-lock-end (line-beginning-position 2)) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
287 (goto-char start) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
288 (setq font-lock-start (line-beginning-position)) |
25003 | 289 |
28501
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
290 ;; Fontify the chunk, and mark it as fontified. |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
291 (font-lock-fontify-region font-lock-start font-lock-end nil) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
292 (add-text-properties start next '(fontified t)) |
25003 | 293 |
28501
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
294 ;; Find the start of the next chunk, if any. |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
295 (setq start (text-property-any next end 'fontified nil))) |
25003 | 296 |
28501
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
297 ((error quit) |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
298 (message "Fontifying region...%s" error)))) |
25003 | 299 |
28501
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
300 ;; Restore previous buffer settings. |
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
301 (set-syntax-table old-syntax-table)))))) |
25003 | 302 |
303 | |
304 (defun jit-lock-after-fontify-buffer () | |
305 "Mark the current buffer as fontified. | |
306 Called from `font-lock-after-fontify-buffer." | |
307 (with-buffer-prepared-for-font-lock | |
308 (add-text-properties (point-min) (point-max) '(fontified t)))) | |
309 | |
310 | |
311 (defun jit-lock-after-unfontify-buffer () | |
312 "Mark the current buffer as unfontified. | |
313 Called from `font-lock-after-fontify-buffer." | |
314 (with-buffer-prepared-for-font-lock | |
315 (remove-text-properties (point-min) (point-max) '(fontified nil)))) | |
316 | |
317 | |
318 | |
319 ;;; Stealth fontification. | |
320 | |
321 (defsubst jit-lock-stealth-chunk-start (around) | |
322 "Return the start of the next chunk to fontify around position AROUND.. | |
323 Value is nil if there is nothing more to fontify." | |
27537
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
324 (if (zerop (buffer-size)) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
325 nil |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
326 (save-restriction |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
327 (widen) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
328 (let* ((next (text-property-any around (point-max) 'fontified nil)) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
329 (prev (previous-single-property-change around 'fontified)) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
330 (prop (get-text-property (max (point-min) (1- around)) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
331 'fontified)) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
332 (start (cond |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
333 ((null prev) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
334 ;; There is no property change between AROUND |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
335 ;; and the start of the buffer. If PROP is |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
336 ;; non-nil, everything in front of AROUND is |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
337 ;; fontified, otherwise nothing is fontified. |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
338 (if prop |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
339 nil |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
340 (max (point-min) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
341 (- around (/ jit-lock-chunk-size 2))))) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
342 (prop |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
343 ;; PREV is the start of a region of fontified |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
344 ;; text containing AROUND. Start fontfifying a |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
345 ;; chunk size before the end of the unfontified |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
346 ;; region in front of that. |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
347 (max (or (previous-single-property-change prev 'fontified) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
348 (point-min)) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
349 (- prev jit-lock-chunk-size))) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
350 (t |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
351 ;; PREV is the start of a region of unfontified |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
352 ;; text containing AROUND. Start at PREV or |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
353 ;; chunk size in front of AROUND, whichever is |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
354 ;; nearer. |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
355 (max prev (- around jit-lock-chunk-size))))) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
356 (result (cond ((null start) next) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
357 ((null next) start) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
358 ((< (- around start) (- next around)) start) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
359 (t next)))) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
360 result)))) |
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
361 |
25003 | 362 |
363 (defun jit-lock-stealth-fontify () | |
364 "Fontify buffers stealthily. | |
365 This functions is called after Emacs has been idle for | |
366 `jit-lock-stealth-time' seconds." | |
367 (unless (or executing-kbd-macro | |
368 (window-minibuffer-p (selected-window))) | |
369 (let ((buffers (buffer-list)) | |
370 minibuffer-auto-raise | |
371 message-log-max) | |
27537
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
372 (while (and buffers (not (input-pending-p))) |
25003 | 373 (let ((buffer (car buffers))) |
374 (setq buffers (cdr buffers)) | |
27537
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
375 |
25003 | 376 (with-current-buffer buffer |
377 (when jit-lock-mode | |
378 ;; This is funny. Calling sit-for with 3rd arg non-nil | |
379 ;; so that it doesn't redisplay, internally calls | |
380 ;; wait_reading_process_input also with a parameter | |
381 ;; saying "don't redisplay." Since this function here | |
382 ;; is called periodically, this effectively leads to | |
383 ;; process output not being redisplayed at all because | |
384 ;; redisplay_internal is never called. (That didn't | |
385 ;; work in the old redisplay either.) So, we learn that | |
386 ;; we mustn't call sit-for that way here. But then, we | |
387 ;; have to be cautious not to call sit-for in a widened | |
388 ;; buffer, since this could display hidden parts of that | |
389 ;; buffer. This explains the seemingly weird use of | |
390 ;; save-restriction/widen here. | |
391 | |
392 (with-temp-message (if jit-lock-stealth-verbose | |
393 (concat "JIT stealth lock " | |
394 (buffer-name))) | |
27537
d04b7ce72b4a
(jit-lock-function): Widen before calculating end
Gerd Moellmann <gerd@gnu.org>
parents:
25395
diff
changeset
|
395 |
28521
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
396 ;; Perform deferred unfontification, if any. |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
397 (when jit-lock-first-unfontify-pos |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
398 (save-restriction |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
399 (widen) |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
400 (when (and (>= jit-lock-first-unfontify-pos (point-min)) |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
401 (< jit-lock-first-unfontify-pos (point-max))) |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
402 (with-buffer-prepared-for-font-lock |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
403 (put-text-property jit-lock-first-unfontify-pos |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
404 (point-max) 'fontified nil)) |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
405 (setq jit-lock-first-unfontify-pos nil)))) |
28501
030a9790d290
(with-buffer-unmodified): New macro.
Gerd Moellmann <gerd@gnu.org>
parents:
28208
diff
changeset
|
406 |
28521
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
407 ;; In the following code, the `sit-for' calls cause a |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
408 ;; redisplay, so it's required that the |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
409 ;; buffer-modified flag of a buffer that is displayed |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
410 ;; has the right value---otherwise the mode line of |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
411 ;; an unmodified buffer would show a `*'. |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
412 (let (start |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
413 (nice (or jit-lock-stealth-nice 0)) |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
414 (point (point))) |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
415 (while (and (setq start |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
416 (jit-lock-stealth-chunk-start point)) |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
417 (sit-for nice)) |
25003 | 418 |
28521
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
419 ;; Wait a little if load is too high. |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
420 (when (and jit-lock-stealth-load |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
421 (> (car (load-average)) jit-lock-stealth-load)) |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
422 (sit-for (or jit-lock-stealth-time 30))) |
25003 | 423 |
28521
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
424 ;; Unless there's input pending now, fontify. |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
425 (unless (input-pending-p) |
73d4caf44d53
(with-buffer-unmodified): Use
Gerd Moellmann <gerd@gnu.org>
parents:
28501
diff
changeset
|
426 (jit-lock-function-1 start)))))))))))) |
25003 | 427 |
428 | |
429 | |
430 ;;; Deferred fontification. | |
431 | |
432 (defun jit-lock-after-change (start end old-len) | |
433 "Mark the rest of the buffer as not fontified after a change. | |
434 Installed on `after-change-functions'. | |
435 START and END are the start and end of the changed text. OLD-LEN | |
436 is the pre-change length. | |
437 This function ensures that lines following the change will be refontified | |
438 in case the syntax of those lines has changed. Refontification | |
439 will take place when text is fontified stealthily." | |
440 ;; Don't do much here---removing text properties is too slow for | |
441 ;; fast typers, giving them the impression of Emacs not being | |
442 ;; very responsive. | |
443 (when jit-lock-mode | |
444 (setq jit-lock-first-unfontify-pos | |
445 (if jit-lock-first-unfontify-pos | |
446 (min jit-lock-first-unfontify-pos start) | |
447 start)))) | |
448 | |
449 | |
450 (provide 'jit-lock) | |
451 | |
452 ;; jit-lock.el ends here |