Mercurial > emacs
annotate lisp/jit-lock.el @ 28923:dcafe3c9cd6c
(sh-while-getopts) <sh>: Handle case that
user-specified option string is empty.
| author | Gerd Moellmann <gerd@gnu.org> |
|---|---|
| date | Mon, 15 May 2000 20:14:39 +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 |
