annotate lisp/lazy-lock.el @ 49506:ac9e2eeeb03d

New format of AUTHORS file; list each author name once followed by contributed and changed files. Improve selection of entries to include in list, and generate list of unrecognized entries indicating syntax errors in ChangeLog files. (authors-coding-system): New variable. (authors-many-files): Update doc string. (authors-aliases): Change format. Now one entry with multiple aliases per author. (authors-valid-file-names, authors-renamed-files-alist) (authors-renamed-files-regexps): New variables. (authors-canonical-file-name): New function. Validates that file exists or occurs in one of the above lists. Record unrecognized file names in global authors-invalid-file-names list. (authors-add): Change to record per-change counts. (authors-canonical-author-name): Handle new format of authors-aliases list. (authors-scan-change-log): Rename FILE arg to LOG-FILE. Change doc string to describe new entry format. Only add author entries for valid file names. (authors-print): Replace by authors-add-to-author-list. (authors-add-to-author-list): New function which reorders per-file entries and adds them to global authors-author-list. (authors): Instead of authors-print to insert in *Authors* buffer, use authors-add-to-author-list to reorder the list and then insert result in *Authors* buffer with new format. Generate *Authors Errors* compilation-mode buffer listing unrecognized ChangeLog entries.
author Kim F. Storm <storm@cua.dk>
date Wed, 29 Jan 2003 00:13:11 +0000
parents 7bb123117932
children e88404e8f2cf
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
38412
253f761ad37b Some fixes to follow coding conventions in files maintained by FSF.
Pavel Janík <Pavel@Janik.cz>
parents: 36393
diff changeset
1 ;;; lazy-lock.el --- lazy demand-driven fontification for fast Font Lock mode
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2
36393
05bbe56d446f (lazy-lock-fontify-after-idle): Make sure to
Gerd Moellmann <gerd@gnu.org>
parents: 33421
diff changeset
3 ;; Copyright (C) 1994, 1995, 1996, 1997, 1998, 2001
05bbe56d446f (lazy-lock-fontify-after-idle): Make sure to
Gerd Moellmann <gerd@gnu.org>
parents: 33421
diff changeset
4 ;; Free Software Foundation, Inc.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5
20191
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
6 ;; Author: Simon Marshall <simon@gnu.org>
27415
f46410ff7c5e Change maintainer to FSF.
Dave Love <fx@gnu.org>
parents: 25278
diff changeset
7 ;; Maintainer: FSF
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 ;; Keywords: faces files
23753
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
9 ;; Version: 2.11
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10
38412
253f761ad37b Some fixes to follow coding conventions in files maintained by FSF.
Pavel Janík <Pavel@Janik.cz>
parents: 36393
diff changeset
11 ;; This file is part of GNU Emacs.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; GNU Emacs is free software; you can redistribute it and/or modify
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; it under the terms of the GNU General Public License as published by
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;; the Free Software Foundation; either version 2, or (at your option)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; any later version.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; GNU Emacs is distributed in the hope that it will be useful,
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 ;; GNU General Public License for more details.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 ;; You should have received a copy of the GNU General Public License
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24 ;; along with GNU Emacs; see the file COPYING. If not, write to the
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26 ;; Boston, MA 02111-1307, USA.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 ;;; Commentary:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
30 ;; Purpose:
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
31 ;;
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
32 ;; Lazy Lock mode is a Font Lock support mode.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
33 ;; It makes visiting buffers in Font Lock mode faster by making fontification
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
34 ;; be demand-driven, deferred and stealthy, so that fontification only occurs
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
35 ;; when, and where, necessary.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 ;; See caveats and feedback below.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 ;; See also the fast-lock package. (But don't use them at the same time!)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 ;; Installation:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 ;; Put in your ~/.emacs:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 ;;
15499
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
44 ;; (setq font-lock-support-mode 'lazy-lock-mode)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 ;; Start up a new Emacs and use font-lock as usual (except that you can use the
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 ;; so-called "gaudier" fontification regexps on big files without frustration).
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 ;; In a buffer (which has `font-lock-mode' enabled) which is at least
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 ;; `lazy-lock-minimum-size' characters long, buffer fontification will not
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 ;; occur and only the visible portion of the buffer will be fontified. Motion
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 ;; around the buffer will fontify those visible portions not previously
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 ;; fontified. If stealth fontification is enabled, buffer fontification will
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 ;; occur in invisible parts of the buffer after `lazy-lock-stealth-time'
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 ;; seconds of idle time. If on-the-fly fontification is deferred, on-the-fly
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 ;; fontification will occur after `lazy-lock-defer-time' seconds of idle time.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 ;; User-visible differences with version 1:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 ;; - Version 2 can defer on-the-fly fontification. Therefore you need not, and
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 ;; should not, use defer-lock.el with this version of lazy-lock.el.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 ;; A number of variables have changed meaning:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 ;; - A value of nil for the variable `lazy-lock-minimum-size' means never turn
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 ;; on demand-driven fontification. In version 1 this meant always turn on
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 ;; demand-driven fontification. If you really want demand-driven fontification
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 ;; regardless of buffer size, set this variable to 0.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 ;; - The variable `lazy-lock-stealth-lines' cannot have a nil value. In
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 ;; version 1 this meant use `window-height' as the maximum number of lines to
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 ;; fontify as a stealth chunk. This makes no sense; stealth fontification is
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 ;; of a buffer, not a window.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 ;; Implementation differences with version 1:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 ;; - Version 1 of lazy-lock.el is a bit of a hack. Version 1 demand-driven
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 ;; fontification, the core feature of lazy-lock.el, is implemented by placing a
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 ;; function on `post-command-hook'. This function fontifies where necessary,
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80 ;; i.e., where a window scroll has occurred. However, there are a number of
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 ;; problems with using `post-command-hook':
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 ;; (a) As the name suggests, `post-command-hook' is run after every command,
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 ;; i.e., frequently and regardless of whether scrolling has occurred.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 ;; (b) Scrolling can occur during a command, when `post-command-hook' is not
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 ;; run, i.e., it is not necessarily run after scrolling has occurred.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 ;; (c) When `post-command-hook' is run, there is nothing to suggest where
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88 ;; scrolling might have occurred, i.e., which windows have scrolled.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 ;; Thus lazy-lock.el's function is called almost as often as possible, usually
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 ;; when it need not be called, yet it is not always called when it is needed.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 ;; Also, lazy-lock.el's function must check each window to see if a scroll has
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 ;; occurred there. Worse still, lazy-lock.el's function must fontify a region
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 ;; twice as large as necessary to make sure the window is completely fontified.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95 ;; Basically, `post-command-hook' is completely inappropriate for lazy-lock.el.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 ;; Ideally, we want to attach lazy-lock.el's function to a hook that is run
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 ;; only when scrolling occurs, e.g., `window-start' has changed, and tells us
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 ;; as much information as we need, i.e., the window and its new buffer region.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 ;; Richard Stallman implemented a `window-scroll-functions' for Emacs 19.30.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 ;; Functions on it are run when `window-start' has changed, and are supplied
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 ;; with the window and the window's new `window-start' position. (It would be
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 ;; better if it also supplied the window's new `window-end' position, but that
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 ;; is calculated as part of the redisplay process, and the functions on
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 ;; `window-scroll-functions' are run before redisplay has finished.) Thus, the
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 ;; hook deals with the above problems (a), (b) and (c).
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 ;; If only life was that easy. Version 2 demand-driven fontification is mostly
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 ;; implemented by placing a function on `window-scroll-functions'. However,
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 ;; not all scrolling occurs when `window-start' has changed. A change in
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 ;; window size, e.g., via C-x 1, or a significant deletion, e.g., of a number
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
112 ;; of lines, causes text previously invisible (i.e., after `window-end') to
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
113 ;; become visible without changing `window-start'. Arguably, these events are
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
114 ;; not scrolling events, but fontification must occur for lazy-lock.el to work.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
115 ;; Hooks `window-size-change-functions' and `redisplay-end-trigger-functions'
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
116 ;; were added for these circumstances.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 ;;
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
118 ;; (Ben Wing thinks these hooks are "horribly horribly kludgy", and implemented
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 ;; a `pre-idle-hook', a `mother-of-all-post-command-hooks', for XEmacs 19.14.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 ;; He then hacked up a version 1 lazy-lock.el to use `pre-idle-hook' rather
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 ;; than `post-command-hook'. Whereas functions on `post-command-hook' are
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 ;; called almost as often as possible, functions on `pre-idle-hook' really are
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 ;; called as often as possible, even when the mouse moves and, on some systems,
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 ;; while XEmacs is idle. Thus, the hook deals with the above problem (b), but
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 ;; unfortunately it makes (a) worse and does not address (c) at all.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 ;; I freely admit that `redisplay-end-trigger-functions' and, to a much lesser
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 ;; extent, `window-size-change-functions' are not pretty. However, I feel that
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 ;; a `window-scroll-functions' feature is cleaner than a `pre-idle-hook', and
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 ;; the result is faster and smaller, less intrusive and more targeted, code.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 ;; Since `pre-idle-hook' is pretty much like `post-command-hook', there is no
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 ;; point in making this version of lazy-lock.el work with it. Anyway, that's
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 ;; Lit 30 of my humble opinion.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 ;; - Version 1 stealth fontification is also implemented by placing a function
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 ;; on `post-command-hook'. This function waits for a given amount of time,
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137 ;; and, if Emacs remains idle, fontifies where necessary. Again, there are a
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 ;; number of problems with using `post-command-hook':
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 ;; (a) Functions on `post-command-hook' are run sequentially, so this function
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 ;; can interfere with other functions on the hook, and vice versa.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 ;; (b) This function waits for a given amount of time, so it can interfere with
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 ;; various features that are dealt with by Emacs after a command, e.g.,
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 ;; region highlighting, asynchronous updating and keystroke echoing.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 ;; (c) Fontification may be required during a command, when `post-command-hook'
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 ;; is not run. (Version 2 deferred fontification only.)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 ;; Again, `post-command-hook' is completely inappropriate for lazy-lock.el.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 ;; Richard Stallman and Morten Welinder implemented internal Timers and Idle
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 ;; Timers for Emacs 19.31. Functions can be run independently at given times
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 ;; or after given amounts of idle time. Thus, the feature deals with the above
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 ;; problems (a), (b) and (c). Version 2 deferral and stealth are implemented
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 ;; by functions on Idle Timers. (A function on XEmacs' `pre-idle-hook' is
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
154 ;; similar to an Emacs Idle Timer function with a fixed zero second timeout.)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
156 ;; - Version 1 has the following problems (relative to version 2):
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
157 ;;
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
158 ;; (a) It is slow when it does its job.
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
159 ;; (b) It does not always do its job when it should.
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
160 ;; (c) It slows all interaction (when it doesn't need to do its job).
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
161 ;; (d) It interferes with other package functions on `post-command-hook'.
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
162 ;; (e) It interferes with Emacs things within the read-eval loop.
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
163 ;;
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
164 ;; Ben's hacked-up lazy-lock.el 1.14 almost solved (b) but made (c) worse.
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
165 ;;
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
166 ;; - Version 2 has the following additional features (relative to version 1):
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
167 ;;
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
168 ;; (a) It can defer fontification (both on-the-fly and on-scrolling).
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
169 ;; (b) It can fontify contextually (syntactically true on-the-fly).
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
170
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 ;; Caveats:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 ;;
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
173 ;; Lazy Lock mode does not work efficiently with Outline mode.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
174 ;; This is because when in Outline mode, although text may be not visible to
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
175 ;; you in the window, the text is visible to Emacs Lisp code (not surprisingly)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
176 ;; and Lazy Lock fontifies it mercilessly. Maybe it will be fixed one day.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 ;; Because buffer text is not necessarily fontified, other packages that expect
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 ;; buffer text to be fontified in Font Lock mode either might not work as
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 ;; expected, or might not display buffer text as expected. An example of the
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 ;; latter is `occur', which copies lines of buffer text into another buffer.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 ;; In Emacs 19.30, Lazy Lock mode does not ensure that an existing buffer is
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 ;; fontified if it is made visible via a minibuffer-less command that replaces
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 ;; an existing window's buffer (e.g., via the Buffers menu). Upgrade!
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 ;; In Emacs 19.30, Lazy Lock mode does not work well with Transient Mark mode
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 ;; or modes based on Comint mode (e.g., Shell mode), and also interferes with
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 ;; the echoing of keystrokes in the minibuffer. This is because of the way
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 ;; deferral and stealth have to be implemented for Emacs 19.30. Upgrade!
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 ;;
15499
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
192 ;; Currently XEmacs does not have the features to support this version of
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
193 ;; lazy-lock.el. Maybe it will one day.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194
17587
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
195 ;; History:
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
196 ;;
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
197 ;; 1.15--2.00:
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
198 ;; - Rewrite for Emacs 19.30 and the features rms added to support lazy-lock.el
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
199 ;; so that it could work correctly and efficiently.
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
200 ;; - Many thanks to those who reported bugs, fixed bugs, made suggestions or
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
201 ;; otherwise contributed in the version 1 cycle; Jari Aalto, Kevin Broadey,
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
202 ;; Ulrik Dickow, Bill Dubuque, Bob Glickstein, Boris Goldowsky,
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
203 ;; Jonas Jarnestrom, David Karr, Michael Kifer, Erik Naggum, Rick Sladkey,
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
204 ;; Jim Thompson, Ben Wing, Ilya Zakharevich, and Richard Stallman.
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
205 ;; 2.00--2.01:
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
206 ;; - Made `lazy-lock-fontify-after-command' always `sit-for' and so redisplay
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
207 ;; - Use `buffer-name' not `buffer-live-p' (Bill Dubuque hint)
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
208 ;; - Made `lazy-lock-install' do `add-to-list' not `setq' of `current-buffer'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
209 ;; - Made `lazy-lock-fontify-after-install' loop over buffer list
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
210 ;; - Made `lazy-lock-arrange-before-change' to arrange `window-end' triggering
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
211 ;; - Made `lazy-lock-let-buffer-state' wrap both `befter-change-functions'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
212 ;; - Made `lazy-lock-fontify-region' do `condition-case' (Hyman Rosen report)
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
213 ;; 2.01--2.02:
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
214 ;; - Use `buffer-live-p' as `buffer-name' can barf (Richard Stanton report)
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
215 ;; - Made `lazy-lock-install' set `font-lock-fontified' (Kevin Davidson report)
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
216 ;; - Made `lazy-lock-install' add hooks only if needed
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
217 ;; - Made `lazy-lock-unstall' add `font-lock-after-change-function' if needed
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
218 ;; 2.02--2.03:
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
219 ;; - Made `lazy-lock-fontify-region' do `condition-case' for `quit' too
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
220 ;; - Made `lazy-lock-mode' respect the value of `font-lock-inhibit-thing-lock'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
221 ;; - Added `lazy-lock-after-unfontify-buffer'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
222 ;; - Removed `lazy-lock-fontify-after-install' hack
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
223 ;; - Made `lazy-lock-fontify-after-scroll' not `set-buffer' to `window-buffer'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
224 ;; - Made `lazy-lock-fontify-after-trigger' not `set-buffer' to `window-buffer'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
225 ;; - Made `lazy-lock-fontify-after-idle' be interruptible (Scott Burson hint)
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
226 ;; 2.03--2.04:
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
227 ;; - Rewrite for Emacs 19.31 idle timers
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
228 ;; - Renamed `buffer-windows' to `get-buffer-window-list'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
229 ;; - Removed `buffer-live-p'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
230 ;; - Made `lazy-lock-defer-after-change' always save `current-buffer'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
231 ;; - Made `lazy-lock-fontify-after-defer' just process buffers
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
232 ;; - Made `lazy-lock-install-hooks' add hooks correctly (Kevin Broadey report)
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
233 ;; - Made `lazy-lock-install' cope if `lazy-lock-defer-time' is a list
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
234 ;; 2.04--2.05:
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
235 ;; - Rewrite for Common Lisp macros
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
236 ;; - Added `do-while' macro
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
237 ;; - Renamed `lazy-lock-let-buffer-state' macro to `save-buffer-state'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
238 ;; - Returned `lazy-lock-fontify-after-install' hack (Darren Hall hint)
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
239 ;; - Added `lazy-lock-defer-on-scrolling' functionality (Scott Byer hint)
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
240 ;; - Made `lazy-lock-mode' wrap `font-lock-support-mode'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
241 ;; 2.05--2.06:
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
242 ;; - Made `lazy-lock-fontify-after-defer' swap correctly (Scott Byer report)
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
243 ;; 2.06--2.07:
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
244 ;; - Added `lazy-lock-stealth-load' functionality (Rob Hooft hint)
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
245 ;; - Made `lazy-lock-unstall' call `lazy-lock-fontify-region' if needed
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
246 ;; - Made `lazy-lock-mode' call `lazy-lock-unstall' only if needed
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
247 ;; - Made `lazy-lock-defer-after-scroll' do `set-window-redisplay-end-trigger'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
248 ;; - Added `lazy-lock-defer-contextually' functionality
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
249 ;; - Added `lazy-lock-defer-on-the-fly' from `lazy-lock-defer-time'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
250 ;; - Renamed `lazy-lock-defer-driven' to `lazy-lock-defer-on-scrolling'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
251 ;; - Removed `lazy-lock-submit-bug-report' and bade farewell
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
252 ;; 2.07--2.08:
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
253 ;; - Made `lazy-lock-fontify-conservatively' fontify around `window-point'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
254 ;; - Made `save-buffer-state' wrap `inhibit-point-motion-hooks'
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
255 ;; - Added Custom support
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
256 ;; 2.08--2.09:
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
257 ;; - Removed `byte-*' variables from `eval-when-compile' (Erik Naggum hint)
18464
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
258 ;; - Made various wrapping `inhibit-point-motion-hooks' (Vinicius Latorre hint)
18980
dec0f8a4fd02 Wrap minibuffer-auto-raise where nec. to stop frame raising.
Simon Marshall <simon@gnu.org>
parents: 18464
diff changeset
259 ;; - Made `lazy-lock-fontify-after-idle' wrap `minibuffer-auto-raise'
20191
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
260 ;; - Made `lazy-lock-fontify-after-defer' paranoid about deferred buffers
21285
a3d90bdad8f9 use new UPDATE window-end arg.
Simon Marshall <simon@gnu.org>
parents: 20357
diff changeset
261 ;; 2.09--2.10:
23753
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
262 ;; - Use `window-end' UPDATE arg for Emacs 20.4 and later.
22771
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
263 ;; - Made deferral `widen' before unfontifying (Dan Nicolaescu report)
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
264 ;; - Use `lazy-lock-fontify-after-visage' for hideshow.el (Dan Nicolaescu hint)
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
265 ;; - Use `other' widget where possible (Andreas Schwab fix)
23753
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
266 ;; 2.10--2.11:
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
267 ;; - Used `with-temp-message' where possible to make messages temporary.
17587
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
268
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
269 ;;; Code:
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
270
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271 (require 'font-lock)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273 (eval-when-compile
41608
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
274 ;; We don't do this at the top-level as we only use non-autoloaded macros.
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
275 (require 'cl)
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
276 ;;
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
277 ;; We use this to preserve or protect things when modifying text properties.
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
278 (defmacro save-buffer-state (varlist &rest body)
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
279 "Bind variables according to VARLIST and eval BODY restoring buffer state."
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
280 `(let* (,@(append varlist
43983
7bb123117932 (save-buffer-state):
Richard M. Stallman <rms@gnu.org>
parents: 42987
diff changeset
281 '((modified (buffer-modified-p))
7bb123117932 (save-buffer-state):
Richard M. Stallman <rms@gnu.org>
parents: 42987
diff changeset
282 (buffer-undo-list t)
7bb123117932 (save-buffer-state):
Richard M. Stallman <rms@gnu.org>
parents: 42987
diff changeset
283 (inhibit-read-only t)
7bb123117932 (save-buffer-state):
Richard M. Stallman <rms@gnu.org>
parents: 42987
diff changeset
284 (inhibit-point-motion-hooks t)
7bb123117932 (save-buffer-state):
Richard M. Stallman <rms@gnu.org>
parents: 42987
diff changeset
285 (inhibit-modification-hooks t)
7bb123117932 (save-buffer-state):
Richard M. Stallman <rms@gnu.org>
parents: 42987
diff changeset
286 deactivate-mark
7bb123117932 (save-buffer-state):
Richard M. Stallman <rms@gnu.org>
parents: 42987
diff changeset
287 buffer-file-name
7bb123117932 (save-buffer-state):
Richard M. Stallman <rms@gnu.org>
parents: 42987
diff changeset
288 buffer-file-truename)))
41608
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
289 ,@body
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
290 (when (and (not modified) (buffer-modified-p))
43983
7bb123117932 (save-buffer-state):
Richard M. Stallman <rms@gnu.org>
parents: 42987
diff changeset
291 (restore-buffer-modified-p nil))))
41608
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
292 (put 'save-buffer-state 'lisp-indent-function 1)
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
293 ;;
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
294 ;; We use this for clarity and speed. Naughty but nice.
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
295 (defmacro do-while (test &rest body)
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
296 "(do-while TEST BODY...): eval BODY... and repeat if TEST yields non-nil.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 The order of execution is thus BODY, TEST, BODY, TEST and so on
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 until TEST returns nil."
41608
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
299 `(while (progn ,@body ,test)))
45db352a0971 Converted backquote to the new style.
Sam Steingold <sds@gnu.org>
parents: 41289
diff changeset
300 (put 'do-while 'lisp-indent-function (get 'while 'lisp-indent-function)))
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
301
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
302 (defvar lazy-lock-mode nil) ; Whether we are turned on.
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
303 (defvar lazy-lock-buffers nil) ; For deferral.
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
304 (defvar lazy-lock-timers (cons nil nil)) ; For deferral and stealth.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 ;; User Variables:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307
23753
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
308 (defcustom lazy-lock-minimum-size 25600
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
309 "*Minimum size of a buffer for demand-driven fontification.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
310 On-demand fontification occurs if the buffer size is greater than this value.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
311 If nil, means demand-driven fontification is never performed.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
312 If a list, each element should be a cons pair of the form (MAJOR-MODE . SIZE),
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
313 where MAJOR-MODE is a symbol or t (meaning the default). For example:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
314 ((c-mode . 25600) (c++-mode . 25600) (rmail-mode . 1048576))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315 means that the minimum size is 25K for buffers in C or C++ modes, one megabyte
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
316 for buffers in Rmail mode, and size is irrelevant otherwise.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
317
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
318 The value of this variable is used when Lazy Lock mode is turned on."
17507
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
319 :type '(choice (const :tag "none" nil)
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
320 (integer :tag "size")
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
321 (repeat :menu-tag "mode specific" :tag "mode specific"
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
322 :value ((t . nil))
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
323 (cons :tag "Instance"
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
324 (radio :tag "Mode"
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
325 (const :tag "all" t)
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
326 (symbol :tag "name"))
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
327 (radio :tag "Size"
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
328 (const :tag "none" nil)
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
329 (integer :tag "size")))))
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
330 :group 'lazy-lock)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
331
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
332 (defcustom lazy-lock-defer-on-the-fly t
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
333 "*If non-nil, means fontification after a change should be deferred.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
334 If nil, means on-the-fly fontification is performed. This means when changes
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
335 occur in the buffer, those areas are immediately fontified.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
336 If a list, it should be a list of `major-mode' symbol names for which deferred
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
337 fontification should occur. The sense of the list is negated if it begins with
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
338 `not'. For example:
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
339 (c-mode c++-mode)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
340 means that on-the-fly fontification is deferred for buffers in C and C++ modes
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
341 only, and deferral does not occur otherwise.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
342
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
343 The value of this variable is used when Lazy Lock mode is turned on."
17507
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
344 :type '(choice (const :tag "never" nil)
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
345 (const :tag "always" t)
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
346 (set :menu-tag "mode specific" :tag "modes"
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
347 :value (not)
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
348 (const :tag "Except" not)
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
349 (repeat :inline t (symbol :tag "mode"))))
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
350 :group 'lazy-lock)
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
351
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
352 (defcustom lazy-lock-defer-on-scrolling nil
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
353 "*If non-nil, means fontification after a scroll should be deferred.
15499
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
354 If nil, means demand-driven fontification is performed. This means when
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
355 scrolling into unfontified areas of the buffer, those areas are immediately
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
356 fontified. Thus scrolling never presents unfontified areas. However, since
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
357 fontification occurs during scrolling, scrolling may be slow.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
358 If t, means defer-driven fontification is performed. This means fontification
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
359 of those areas is deferred. Thus scrolling may present momentarily unfontified
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
360 areas. However, since fontification does not occur during scrolling, scrolling
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
361 will be faster than demand-driven fontification.
15499
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
362 If any other value, e.g., `eventually', means demand-driven fontification is
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
363 performed until the buffer is fontified, then buffer fontification becomes
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
364 defer-driven. Thus scrolling never presents unfontified areas until the buffer
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
365 is first fontified, after which subsequent scrolling may present future buffer
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
366 insertions momentarily unfontified. However, since fontification does not
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
367 occur during scrolling after the buffer is first fontified, scrolling will
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
368 become faster. (But, since contextual changes continually occur, such a value
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
369 makes little sense if `lazy-lock-defer-contextually' is non-nil.)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
370
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
371 The value of this variable is used when Lazy Lock mode is turned on."
17507
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
372 :type '(choice (const :tag "never" nil)
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
373 (const :tag "always" t)
22589
08ff5fd1e950 (lazy-lock-defer-on-scrolling,
Andreas Schwab <schwab@suse.de>
parents: 21285
diff changeset
374 (other :tag "eventually" eventually))
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
375 :group 'lazy-lock)
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
376
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
377 (defcustom lazy-lock-defer-contextually 'syntax-driven
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
378 "*If non-nil, means deferred fontification should be syntactically true.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
379 If nil, means deferred fontification occurs only on those lines modified. This
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
380 means where modification on a line causes syntactic change on subsequent lines,
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
381 those subsequent lines are not refontified to reflect their new context.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
382 If t, means deferred fontification occurs on those lines modified and all
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
383 subsequent lines. This means those subsequent lines are refontified to reflect
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
384 their new syntactic context, either immediately or when scrolling into them.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
385 If any other value, e.g., `syntax-driven', means deferred syntactically true
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
386 fontification occurs only if syntactic fontification is performed using the
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
387 buffer mode's syntax table, i.e., only if `font-lock-keywords-only' is nil.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
388
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
389 The value of this variable is used when Lazy Lock mode is turned on."
17507
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
390 :type '(choice (const :tag "never" nil)
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
391 (const :tag "always" t)
22589
08ff5fd1e950 (lazy-lock-defer-on-scrolling,
Andreas Schwab <schwab@suse.de>
parents: 21285
diff changeset
392 (other :tag "syntax-driven" syntax-driven))
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
393 :group 'lazy-lock)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
394
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
395 (defcustom lazy-lock-defer-time
18464
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
396 (if (featurep 'lisp-float-type) (/ (float 1) (float 4)) 1)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
397 "*Time in seconds to delay before beginning deferred fontification.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
398 Deferred fontification occurs if there is no input within this time.
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
399 If nil, means fontification is never deferred, regardless of the values of the
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
400 variables `lazy-lock-defer-on-the-fly', `lazy-lock-defer-on-scrolling' and
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
401 `lazy-lock-defer-contextually'.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
402
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
403 The value of this variable is used when Lazy Lock mode is turned on."
17507
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
404 :type '(choice (const :tag "never" nil)
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
405 (number :tag "seconds"))
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
406 :group 'lazy-lock)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
407
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
408 (defcustom lazy-lock-stealth-time 30
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
409 "*Time in seconds to delay before beginning stealth fontification.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
410 Stealth fontification occurs if there is no input within this time.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
411 If nil, means stealth fontification is never performed.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
412
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
413 The value of this variable is used when Lazy Lock mode is turned on."
17507
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
414 :type '(choice (const :tag "never" nil)
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
415 (number :tag "seconds"))
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
416 :group 'lazy-lock)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
417
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
418 (defcustom lazy-lock-stealth-lines (if font-lock-maximum-decoration 100 250)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
419 "*Maximum size of a chunk of stealth fontification.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
420 Each iteration of stealth fontification can fontify this number of lines.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
421 To speed up input response during stealth fontification, at the cost of stealth
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
422 taking longer to fontify, you could reduce the value of this variable."
17507
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
423 :type '(integer :tag "lines")
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
424 :group 'lazy-lock)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
425
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
426 (defcustom lazy-lock-stealth-load
17508
1c2392208ad9 Don't use cl forms in defcustom declarations.
Simon Marshall <simon@gnu.org>
parents: 17507
diff changeset
427 (if (condition-case nil (load-average) (error)) 200)
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
428 "*Load in percentage above which stealth fontification is suspended.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
429 Stealth fontification pauses when the system short-term load average (as
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
430 returned by the function `load-average' if supported) goes above this level,
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
431 thus reducing the demand that stealth fontification makes on the system.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
432 If nil, means stealth fontification is never suspended.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
433 To reduce machine load during stealth fontification, at the cost of stealth
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
434 taking longer to fontify, you could reduce the value of this variable.
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
435 See also `lazy-lock-stealth-nice'."
17507
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
436 :type (if (condition-case nil (load-average) (error))
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
437 '(choice (const :tag "never" nil)
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
438 (integer :tag "load"))
17587
fd8de684f5c7 Version 2.08.01 from author; defgroup happens in font-lock.el; don't prevent from compiling on emacs 19.34 etc.
Simon Marshall <simon@gnu.org>
parents: 17562
diff changeset
439 '(const :format "%t: unsupported\n" nil))
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
440 :group 'lazy-lock)
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
441
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
442 (defcustom lazy-lock-stealth-nice
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
443 (if (featurep 'lisp-float-type) (/ (float 1) (float 8)) 1)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
444 "*Time in seconds to pause between chunks of stealth fontification.
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
445 Each iteration of stealth fontification is separated by this amount of time,
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
446 thus reducing the demand that stealth fontification makes on the system.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
447 If nil, means stealth fontification is never paused.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
448 To reduce machine load during stealth fontification, at the cost of stealth
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
449 taking longer to fontify, you could increase the value of this variable.
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
450 See also `lazy-lock-stealth-load'."
17507
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
451 :type '(choice (const :tag "never" nil)
fd87760f20cd Cleaned up custom support.
Simon Marshall <simon@gnu.org>
parents: 17498
diff changeset
452 (number :tag "seconds"))
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
453 :group 'lazy-lock)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
454
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
455 (defcustom lazy-lock-stealth-verbose
17508
1c2392208ad9 Don't use cl forms in defcustom declarations.
Simon Marshall <simon@gnu.org>
parents: 17507
diff changeset
456 (if (featurep 'lisp-float-type)
1c2392208ad9 Don't use cl forms in defcustom declarations.
Simon Marshall <simon@gnu.org>
parents: 17507
diff changeset
457 (and (not lazy-lock-defer-contextually) (not (null font-lock-verbose))))
17498
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
458 "*If non-nil, means stealth fontification should show status messages."
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
459 :type 'boolean
5ea11c278a57 Customise.
Simon Marshall <simon@gnu.org>
parents: 16580
diff changeset
460 :group 'lazy-lock)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
462 ;; User Functions:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
463
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
464 ;;;###autoload
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
465 (defun lazy-lock-mode (&optional arg)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
466 "Toggle Lazy Lock mode.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
467 With arg, turn Lazy Lock mode on if and only if arg is positive. Enable it
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
468 automatically in your `~/.emacs' by:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
469
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
470 (setq font-lock-support-mode 'lazy-lock-mode)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
471
42987
b628f22c9f56 (lazy-lock-mode): Add a reference to jit-lock.
Eli Zaretskii <eliz@gnu.org>
parents: 41608
diff changeset
472 For a newer font-lock support mode with similar functionality, see
b628f22c9f56 (lazy-lock-mode): Add a reference to jit-lock.
Eli Zaretskii <eliz@gnu.org>
parents: 41608
diff changeset
473 `jit-lock-mode'. Eventually, Lazy Lock mode will be deprecated in
b628f22c9f56 (lazy-lock-mode): Add a reference to jit-lock.
Eli Zaretskii <eliz@gnu.org>
parents: 41608
diff changeset
474 JIT Lock's favor.
b628f22c9f56 (lazy-lock-mode): Add a reference to jit-lock.
Eli Zaretskii <eliz@gnu.org>
parents: 41608
diff changeset
475
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
476 When Lazy Lock mode is enabled, fontification can be lazy in a number of ways:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
477
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
478 - Demand-driven buffer fontification if `lazy-lock-minimum-size' is non-nil.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
479 This means initial fontification does not occur if the buffer is greater than
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
480 `lazy-lock-minimum-size' characters in length. Instead, fontification occurs
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
481 when necessary, such as when scrolling through the buffer would otherwise
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
482 reveal unfontified areas. This is useful if buffer fontification is too slow
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
483 for large buffers.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
484
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
485 - Deferred scroll fontification if `lazy-lock-defer-on-scrolling' is non-nil.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
486 This means demand-driven fontification does not occur as you scroll.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
487 Instead, fontification is deferred until after `lazy-lock-defer-time' seconds
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
488 of Emacs idle time, while Emacs remains idle. This is useful if
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
489 fontification is too slow to keep up with scrolling.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
490
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
491 - Deferred on-the-fly fontification if `lazy-lock-defer-on-the-fly' is non-nil.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
492 This means on-the-fly fontification does not occur as you type. Instead,
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
493 fontification is deferred until after `lazy-lock-defer-time' seconds of Emacs
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
494 idle time, while Emacs remains idle. This is useful if fontification is too
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
495 slow to keep up with your typing.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
496
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
497 - Deferred context fontification if `lazy-lock-defer-contextually' is non-nil.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
498 This means fontification updates the buffer corresponding to true syntactic
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
499 context, after `lazy-lock-defer-time' seconds of Emacs idle time, while Emacs
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
500 remains idle. Otherwise, fontification occurs on modified lines only, and
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
501 subsequent lines can remain fontified corresponding to previous syntactic
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
502 contexts. This is useful where strings or comments span lines.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
503
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
504 - Stealthy buffer fontification if `lazy-lock-stealth-time' is non-nil.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
505 This means remaining unfontified areas of buffers are fontified if Emacs has
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
506 been idle for `lazy-lock-stealth-time' seconds, while Emacs remains idle.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
507 This is useful if any buffer has any deferred fontification.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
508
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
509 Basic Font Lock mode on-the-fly fontification behaviour fontifies modified
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
510 lines only. Thus, if `lazy-lock-defer-contextually' is non-nil, Lazy Lock mode
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
511 on-the-fly fontification may fontify differently, albeit correctly. In any
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
512 event, to refontify some lines you can use \\[font-lock-fontify-block].
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
513
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
514 Stealth fontification only occurs while the system remains unloaded.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
515 If the system load rises above `lazy-lock-stealth-load' percent, stealth
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
516 fontification is suspended. Stealth fontification intensity is controlled via
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
517 the variable `lazy-lock-stealth-nice' and `lazy-lock-stealth-lines', and
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
518 verbosity is controlled via the variable `lazy-lock-stealth-verbose'."
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
519 (interactive "P")
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
520 (let* ((was-on lazy-lock-mode)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
521 (now-on (unless (memq 'lazy-lock-mode font-lock-inhibit-thing-lock)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
522 (if arg (> (prefix-numeric-value arg) 0) (not was-on)))))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
523 (cond ((and now-on (not font-lock-mode))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
524 ;; Turned on `lazy-lock-mode' rather than `font-lock-mode'.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
525 (let ((font-lock-support-mode 'lazy-lock-mode))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
526 (font-lock-mode t)))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
527 (now-on
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
528 ;; Turn ourselves on.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
529 (set (make-local-variable 'lazy-lock-mode) t)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
530 (lazy-lock-install))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
531 (was-on
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
532 ;; Turn ourselves off.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
533 (set (make-local-variable 'lazy-lock-mode) nil)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
534 (lazy-lock-unstall)))))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
535
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
536 ;;;###autoload
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
537 (defun turn-on-lazy-lock ()
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
538 "Unconditionally turn on Lazy Lock mode."
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
539 (lazy-lock-mode t))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
540
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
541 (defun lazy-lock-install ()
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
542 (let ((min-size (font-lock-value-in-major-mode lazy-lock-minimum-size))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
543 (defer-change (and lazy-lock-defer-time lazy-lock-defer-on-the-fly))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
544 (defer-scroll (and lazy-lock-defer-time lazy-lock-defer-on-scrolling))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
545 (defer-context (and lazy-lock-defer-time lazy-lock-defer-contextually
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
546 (or (eq lazy-lock-defer-contextually t)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
547 (null font-lock-keywords-only)))))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
548 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
549 ;; Tell Font Lock whether Lazy Lock will do fontification.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
550 (make-local-variable 'font-lock-fontified)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
551 (setq font-lock-fontified (and min-size (>= (buffer-size) min-size)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
552 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
553 ;; Add the text properties and fontify.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
554 (if (not font-lock-fontified)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
555 (lazy-lock-after-fontify-buffer)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
556 ;; Make sure we fontify in any existing windows showing the buffer.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
557 (let ((windows (get-buffer-window-list (current-buffer) 'nomini t)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
558 (lazy-lock-after-unfontify-buffer)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
559 (while windows
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
560 (lazy-lock-fontify-conservatively (car windows))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
561 (setq windows (cdr windows)))))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
562 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
563 ;; Add the fontification hooks.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
564 (lazy-lock-install-hooks
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
565 font-lock-fontified
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
566 (cond ((eq (car-safe defer-change) 'not)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
567 (not (memq major-mode (cdr defer-change))))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
568 ((listp defer-change)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
569 (memq major-mode defer-change))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
570 (t
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
571 defer-change))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
572 (eq defer-scroll t)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
573 defer-context)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
574 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
575 ;; Add the fontification timers.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
576 (lazy-lock-install-timers
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
577 (if (or defer-change defer-scroll defer-context) lazy-lock-defer-time)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
578 lazy-lock-stealth-time)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
579
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
580 (defun lazy-lock-install-hooks (fontifying
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
581 defer-change defer-scroll defer-context)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
582 ;;
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
583 ;; Add hook if lazy-lock.el is fontifying on scrolling or is deferring.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
584 (when (or fontifying defer-change defer-scroll defer-context)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
585 (add-hook 'window-scroll-functions (if defer-scroll
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
586 'lazy-lock-defer-after-scroll
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
587 'lazy-lock-fontify-after-scroll)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
588 nil t))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
589 ;;
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
590 ;; Add hook if lazy-lock.el is fontifying and is not deferring changes.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
591 (when (and fontifying (not defer-change) (not defer-context))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
592 (add-hook 'before-change-functions 'lazy-lock-arrange-before-change nil t))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
593 ;;
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
594 ;; Replace Font Lock mode hook.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
595 (remove-hook 'after-change-functions 'font-lock-after-change-function t)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
596 (add-hook 'after-change-functions
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
597 (cond ((and defer-change defer-context)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
598 'lazy-lock-defer-rest-after-change)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
599 (defer-change
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
600 'lazy-lock-defer-line-after-change)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
601 (defer-context
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
602 'lazy-lock-fontify-rest-after-change)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
603 (t
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
604 'lazy-lock-fontify-line-after-change))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
605 nil t)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
606 ;;
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
607 ;; Add package-specific hook.
22771
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
608 (add-hook 'outline-view-change-hook 'lazy-lock-fontify-after-visage nil t)
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
609 (add-hook 'hs-hide-hook 'lazy-lock-fontify-after-visage nil t))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
610
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
611 (defun lazy-lock-install-timers (dtime stime)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
612 ;; Schedule or re-schedule the deferral and stealth timers.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
613 ;; The layout of `lazy-lock-timers' is:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
614 ;; ((DEFER-TIME . DEFER-TIMER) (STEALTH-TIME . STEALTH-TIMER)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
615 ;; If an idle timeout has changed, cancel the existing idle timer (if there
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
616 ;; is one) and schedule a new one (if the new idle timeout is non-nil).
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
617 (unless (eq dtime (car (car lazy-lock-timers)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
618 (let ((defer (car lazy-lock-timers)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
619 (when (cdr defer)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
620 (cancel-timer (cdr defer)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
621 (setcar lazy-lock-timers (cons dtime (and dtime
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
622 (run-with-idle-timer dtime t 'lazy-lock-fontify-after-defer))))))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
623 (unless (eq stime (car (cdr lazy-lock-timers)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
624 (let ((stealth (cdr lazy-lock-timers)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
625 (when (cdr stealth)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
626 (cancel-timer (cdr stealth)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
627 (setcdr lazy-lock-timers (cons stime (and stime
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
628 (run-with-idle-timer stime t 'lazy-lock-fontify-after-idle)))))))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
629
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
630 (defun lazy-lock-unstall ()
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
631 ;;
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
632 ;; If Font Lock mode is still enabled, make sure that the buffer is
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
633 ;; fontified, and reinstall its hook. We must do this first.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
634 (when font-lock-mode
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
635 (when (lazy-lock-unfontified-p)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
636 (let ((verbose (if (numberp font-lock-verbose)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
637 (> (buffer-size) font-lock-verbose)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
638 font-lock-verbose)))
23753
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
639 (with-temp-message
24004
42a8238f0597 * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 23753
diff changeset
640 (when verbose
42a8238f0597 * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 23753
diff changeset
641 (format "Fontifying %s..." (buffer-name)))
23753
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
642 ;; Make sure we fontify etc. in the whole buffer.
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
643 (save-restriction
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
644 (widen)
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
645 (lazy-lock-fontify-region (point-min) (point-max))))))
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
646 (add-hook 'after-change-functions 'font-lock-after-change-function nil t))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
647 ;;
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
648 ;; Remove the text properties.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
649 (lazy-lock-after-unfontify-buffer)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
650 ;;
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
651 ;; Remove the fontification hooks.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
652 (remove-hook 'window-scroll-functions 'lazy-lock-fontify-after-scroll t)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
653 (remove-hook 'window-scroll-functions 'lazy-lock-defer-after-scroll t)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
654 (remove-hook 'before-change-functions 'lazy-lock-arrange-before-change t)
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
655 (remove-hook 'after-change-functions 'lazy-lock-fontify-line-after-change t)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
656 (remove-hook 'after-change-functions 'lazy-lock-fontify-rest-after-change t)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
657 (remove-hook 'after-change-functions 'lazy-lock-defer-line-after-change t)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
658 (remove-hook 'after-change-functions 'lazy-lock-defer-rest-after-change t)
22771
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
659 (remove-hook 'outline-view-change-hook 'lazy-lock-fontify-after-visage t)
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
660 (remove-hook 'hs-hide-hook 'lazy-lock-fontify-after-visage t))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
661
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
662 ;; Hook functions.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
663
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
664 ;; Lazy Lock mode intervenes when (1) a previously invisible buffer region
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
665 ;; becomes visible, i.e., for demand- or defer-driven on-the-scroll
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
666 ;; fontification, (2) a buffer modification occurs, i.e., for defer-driven
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
667 ;; on-the-fly fontification, (3) Emacs becomes idle, i.e., for fontification of
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
668 ;; deferred fontification and stealth fontification, and (4) other special
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
669 ;; occasions.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
670
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
671 ;; 1. There are three ways whereby this can happen.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
672 ;;
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
673 ;; (a) Scrolling the window, either explicitly (e.g., `scroll-up') or
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
674 ;; implicitly (e.g., `search-forward'). Here, `window-start' changes.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
675 ;; Fontification occurs by adding `lazy-lock-fontify-after-scroll' (for
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
676 ;; demand-driven fontification) or `lazy-lock-defer-after-scroll' (for
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
677 ;; defer-driven fontification) to the hook `window-scroll-functions'.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
678
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
679 (defun lazy-lock-fontify-after-scroll (window window-start)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
680 ;; Called from `window-scroll-functions'.
21285
a3d90bdad8f9 use new UPDATE window-end arg.
Simon Marshall <simon@gnu.org>
parents: 20357
diff changeset
681 ;; Fontify WINDOW from WINDOW-START following the scroll.
18464
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
682 (let ((inhibit-point-motion-hooks t))
21285
a3d90bdad8f9 use new UPDATE window-end arg.
Simon Marshall <simon@gnu.org>
parents: 20357
diff changeset
683 (lazy-lock-fontify-region window-start (window-end window t)))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
684 ;; A prior deletion that did not cause scrolling, followed by a scroll, would
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
685 ;; result in an unnecessary trigger after this if we did not cancel it now.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
686 (set-window-redisplay-end-trigger window nil))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
687
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
688 (defun lazy-lock-defer-after-scroll (window window-start)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
689 ;; Called from `window-scroll-functions'.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
690 ;; Defer fontification following the scroll. Save the current buffer so that
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
691 ;; we subsequently fontify in all windows showing the buffer.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
692 (unless (memq (current-buffer) lazy-lock-buffers)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
693 (push (current-buffer) lazy-lock-buffers))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
694 ;; A prior deletion that did not cause scrolling, followed by a scroll, would
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
695 ;; result in an unnecessary trigger after this if we did not cancel it now.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
696 (set-window-redisplay-end-trigger window nil))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
697
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
698 ;; (b) Resizing the window, either explicitly (e.g., `enlarge-window') or
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
699 ;; implicitly (e.g., `delete-other-windows'). Here, `window-end' changes.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
700 ;; Fontification occurs by adding `lazy-lock-fontify-after-resize' to the
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
701 ;; hook `window-size-change-functions'.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
702
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
703 (defun lazy-lock-fontify-after-resize (frame)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
704 ;; Called from `window-size-change-functions'.
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
705 ;; Fontify windows in FRAME following the resize. We cannot use
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
706 ;; `window-start' or `window-end' so we fontify conservatively.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
707 (save-excursion
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
708 (save-selected-window
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
709 (select-frame frame)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
710 (walk-windows (function (lambda (window)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
711 (set-buffer (window-buffer window))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
712 (when lazy-lock-mode
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
713 (lazy-lock-fontify-conservatively window))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
714 (set-window-redisplay-end-trigger window nil)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
715 'nomini frame))))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
716
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
717 ;; (c) Deletion in the buffer. Here, a `window-end' marker can become visible.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
718 ;; Fontification occurs by adding `lazy-lock-arrange-before-change' to
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
719 ;; `before-change-functions' and `lazy-lock-fontify-after-trigger' to the
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
720 ;; hook `redisplay-end-trigger-functions'. Before every deletion, the
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
721 ;; marker `window-redisplay-end-trigger' position is set to the soon-to-be
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
722 ;; changed `window-end' position. If the marker becomes visible,
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
723 ;; `lazy-lock-fontify-after-trigger' gets called. Ouch. Note that we only
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
724 ;; have to deal with this eventuality if there is no on-the-fly deferral.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
725
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
726 (defun lazy-lock-arrange-before-change (beg end)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
727 ;; Called from `before-change-functions'.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
728 ;; Arrange that if text becomes visible it will be fontified (if a deletion
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
729 ;; is pending, text might become visible at the bottom).
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
730 (unless (eq beg end)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
731 (let ((windows (get-buffer-window-list (current-buffer) 'nomini t)) window)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
732 (while windows
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
733 (setq window (car windows))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
734 (unless (markerp (window-redisplay-end-trigger window))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
735 (set-window-redisplay-end-trigger window (make-marker)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
736 (set-marker (window-redisplay-end-trigger window) (window-end window))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
737 (setq windows (cdr windows))))))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
738
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
739 (defun lazy-lock-fontify-after-trigger (window trigger-point)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
740 ;; Called from `redisplay-end-trigger-functions'.
21285
a3d90bdad8f9 use new UPDATE window-end arg.
Simon Marshall <simon@gnu.org>
parents: 20357
diff changeset
741 ;; Fontify WINDOW from TRIGGER-POINT following the redisplay.
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
742 ;; We could probably just use `lazy-lock-fontify-after-scroll' without loss:
21285
a3d90bdad8f9 use new UPDATE window-end arg.
Simon Marshall <simon@gnu.org>
parents: 20357
diff changeset
743 ;; (inline (lazy-lock-fontify-after-scroll window (window-start window)))
18464
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
744 (let ((inhibit-point-motion-hooks t))
21285
a3d90bdad8f9 use new UPDATE window-end arg.
Simon Marshall <simon@gnu.org>
parents: 20357
diff changeset
745 (lazy-lock-fontify-region trigger-point (window-end window t))))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
746
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
747 ;; 2. Modified text must be marked as unfontified so it can be identified and
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
748 ;; fontified later when Emacs is idle. Deferral occurs by adding one of
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
749 ;; `lazy-lock-fontify-*-after-change' (for on-the-fly fontification) or
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
750 ;; `lazy-lock-defer-*-after-change' (for deferred fontification) to the
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
751 ;; hook `after-change-functions'.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
752
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
753 (defalias 'lazy-lock-fontify-line-after-change
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
754 ;; Called from `after-change-functions'.
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
755 ;; Fontify the current change.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
756 'font-lock-after-change-function)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
757
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
758 (defun lazy-lock-fontify-rest-after-change (beg end old-len)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
759 ;; Called from `after-change-functions'.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
760 ;; Fontify the current change and defer fontification of the rest of the
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
761 ;; buffer. Save the current buffer so that we subsequently fontify in all
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
762 ;; windows showing the buffer.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
763 (lazy-lock-fontify-line-after-change beg end old-len)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
764 (save-buffer-state nil
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
765 (unless (memq (current-buffer) lazy-lock-buffers)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
766 (push (current-buffer) lazy-lock-buffers))
22771
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
767 (save-restriction
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
768 (widen)
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
769 (remove-text-properties end (point-max) '(lazy-lock nil)))))
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
770
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
771 (defun lazy-lock-defer-line-after-change (beg end old-len)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
772 ;; Called from `after-change-functions'.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
773 ;; Defer fontification of the current change. Save the current buffer so
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
774 ;; that we subsequently fontify in all windows showing the buffer.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
775 (save-buffer-state nil
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
776 (unless (memq (current-buffer) lazy-lock-buffers)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
777 (push (current-buffer) lazy-lock-buffers))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
778 (remove-text-properties (max (1- beg) (point-min))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
779 (min (1+ end) (point-max))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
780 '(lazy-lock nil))))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
781
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
782 (defun lazy-lock-defer-rest-after-change (beg end old-len)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
783 ;; Called from `after-change-functions'.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
784 ;; Defer fontification of the rest of the buffer. Save the current buffer so
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
785 ;; that we subsequently fontify in all windows showing the buffer.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
786 (save-buffer-state nil
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
787 (unless (memq (current-buffer) lazy-lock-buffers)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
788 (push (current-buffer) lazy-lock-buffers))
22771
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
789 (save-restriction
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
790 (widen)
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
791 (remove-text-properties (max (1- beg) (point-min))
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
792 (point-max)
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
793 '(lazy-lock nil)))))
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
794
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
795 ;; 3. Deferred fontification and stealth fontification are done from these two
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
796 ;; functions. They are set up as Idle Timers.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
797
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
798 (defun lazy-lock-fontify-after-defer ()
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
799 ;; Called from `timer-idle-list'.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
800 ;; Fontify all windows where deferral has occurred for its buffer.
20191
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
801 (save-excursion
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
802 (while (and lazy-lock-buffers (not (input-pending-p)))
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
803 (let ((buffer (car lazy-lock-buffers)) windows)
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
804 ;; Paranoia: check that the buffer is still live and Lazy Lock mode on.
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
805 (when (buffer-live-p buffer)
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
806 (set-buffer buffer)
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
807 (when lazy-lock-mode
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
808 (setq windows (get-buffer-window-list buffer 'nomini t))
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
809 (while windows
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
810 (lazy-lock-fontify-window (car windows))
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
811 (setq windows (cdr windows)))))
0ccfc7a0662f In deferral, check saved buffers to make sure they exist and have lazy-lock on.
Simon Marshall <simon@gnu.org>
parents: 18980
diff changeset
812 (setq lazy-lock-buffers (cdr lazy-lock-buffers)))))
15499
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
813 ;; Add hook if fontification should now be defer-driven in this buffer.
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
814 (when (and lazy-lock-mode lazy-lock-defer-on-scrolling
15499
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
815 (memq 'lazy-lock-fontify-after-scroll window-scroll-functions)
aa9675ed8ed4 Test for lazy-lock-mode before swapping hooks.
Simon Marshall <simon@gnu.org>
parents: 15461
diff changeset
816 (not (or (input-pending-p) (lazy-lock-unfontified-p))))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
817 (remove-hook 'window-scroll-functions 'lazy-lock-fontify-after-scroll t)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
818 (add-hook 'window-scroll-functions 'lazy-lock-defer-after-scroll nil t)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
819
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
820 (defun lazy-lock-fontify-after-idle ()
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
821 ;; Called from `timer-idle-list'.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
822 ;; Fontify all buffers that need it, stealthily while idle.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
823 (unless (or executing-kbd-macro (window-minibuffer-p (selected-window)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
824 ;; Loop over all buffers, fontify stealthily for each if necessary.
18980
dec0f8a4fd02 Wrap minibuffer-auto-raise where nec. to stop frame raising.
Simon Marshall <simon@gnu.org>
parents: 18464
diff changeset
825 (let ((buffers (buffer-list)) (continue t)
dec0f8a4fd02 Wrap minibuffer-auto-raise where nec. to stop frame raising.
Simon Marshall <simon@gnu.org>
parents: 18464
diff changeset
826 message message-log-max minibuffer-auto-raise)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
827 (save-excursion
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
828 (do-while (and buffers continue)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
829 (set-buffer (car buffers))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
830 (if (not (and lazy-lock-mode (lazy-lock-unfontified-p)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
831 (setq continue (not (input-pending-p)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
832 ;; Fontify regions in this buffer while there is no input.
23753
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
833 (with-temp-message
24004
42a8238f0597 * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 23753
diff changeset
834 (when lazy-lock-stealth-verbose
42a8238f0597 * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 23753
diff changeset
835 "Fontifying stealthily...")
23753
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
836 (do-while (and (lazy-lock-unfontified-p) continue)
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
837 (if (and lazy-lock-stealth-load
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
838 (> (car (load-average)) lazy-lock-stealth-load))
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
839 ;; Wait a while before continuing with the loop.
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
840 (progn
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
841 (when message
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
842 (message "Fontifying stealthily...suspended")
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
843 (setq message nil))
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
844 (setq continue (sit-for (or lazy-lock-stealth-time 30))))
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
845 ;; Fontify a chunk.
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
846 (when lazy-lock-stealth-verbose
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
847 (if message
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
848 (message "Fontifying stealthily... %2d%% of %s"
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
849 (lazy-lock-percent-fontified) (buffer-name))
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
850 (message "Fontifying stealthily...")
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
851 (setq message t)))
36393
05bbe56d446f (lazy-lock-fontify-after-idle): Make sure to
Gerd Moellmann <gerd@gnu.org>
parents: 33421
diff changeset
852 ;; Current buffer may have changed during `sit-for'.
05bbe56d446f (lazy-lock-fontify-after-idle): Make sure to
Gerd Moellmann <gerd@gnu.org>
parents: 33421
diff changeset
853 (set-buffer (car buffers))
23753
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
854 (lazy-lock-fontify-chunk)
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
855 (setq continue (sit-for (or lazy-lock-stealth-nice 0)))))))
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
856 (setq buffers (cdr buffers)))))))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
857
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
858 ;; 4. Special circumstances.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
859
22771
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
860 (defun lazy-lock-fontify-after-visage ()
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
861 ;; Called from `outline-view-change-hook' and `hs-hide-hook'.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
862 ;; Fontify windows showing the current buffer, as its visibility has changed.
22771
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
863 ;; This is a conspiracy hack between lazy-lock.el, outline.el and
bd6a5af23e19 (lazy-lock-fontify-after-visage): Renamed from lazy-lock-fontify-after-outline.
Simon Marshall <simon@gnu.org>
parents: 22589
diff changeset
864 ;; hideshow.el.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
865 (let ((windows (get-buffer-window-list (current-buffer) 'nomini t)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
866 (while windows
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
867 (lazy-lock-fontify-conservatively (car windows))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
868 (setq windows (cdr windows)))))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
869
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
870 (defun lazy-lock-after-fontify-buffer ()
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
871 ;; Called from `font-lock-after-fontify-buffer'.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
872 ;; Mark the current buffer as fontified.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
873 ;; This is a conspiracy hack between lazy-lock.el and font-lock.el.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
874 (save-buffer-state nil
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
875 (add-text-properties (point-min) (point-max) '(lazy-lock t))))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
876
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
877 (defun lazy-lock-after-unfontify-buffer ()
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
878 ;; Called from `font-lock-after-unfontify-buffer'.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
879 ;; Mark the current buffer as unfontified.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
880 ;; This is a conspiracy hack between lazy-lock.el and font-lock.el.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
881 (save-buffer-state nil
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
882 (remove-text-properties (point-min) (point-max) '(lazy-lock nil))))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
883
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
884 ;; Fontification functions.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
885
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
886 ;; If packages want to ensure that some region of the buffer is fontified, they
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
887 ;; should use this function. For an example, see ps-print.el.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
888 (defun lazy-lock-fontify-region (beg end)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
889 ;; Fontify between BEG and END, where necessary, in the current buffer.
38845
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
890 (save-restriction
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
891 (widen)
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
892 (when (setq beg (text-property-any beg end 'lazy-lock nil))
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
893 (save-excursion
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
894 (save-match-data
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
895 (save-buffer-state
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
896 ;; Ensure syntactic fontification is always correct.
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
897 (font-lock-beginning-of-syntax-function next)
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
898 ;; Find successive unfontified regions between BEG and END.
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
899 (condition-case data
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
900 (do-while beg
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
901 (setq next (or (text-property-any beg end 'lazy-lock t) end))
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
902 ;; Make sure the region end points are at beginning of line.
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
903 (goto-char beg)
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
904 (unless (bolp)
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
905 (beginning-of-line)
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
906 (setq beg (point)))
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
907 (goto-char next)
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
908 (unless (bolp)
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
909 (forward-line)
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
910 (setq next (point)))
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
911 ;; Fontify the region, then flag it as fontified.
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
912 (font-lock-fontify-region beg next)
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
913 (add-text-properties beg next '(lazy-lock t))
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
914 (setq beg (text-property-any next end 'lazy-lock nil)))
41dec4b7b2ac (lazy-lock-fontify-region): Widen the current
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
915 ((error quit) (message "Fontifying region...%s" data)))))))))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
916
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
917 (defun lazy-lock-fontify-chunk ()
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
918 ;; Fontify the nearest chunk, for stealth, in the current buffer.
18464
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
919 (let ((inhibit-point-motion-hooks t))
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
920 (save-excursion
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
921 (save-restriction
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
922 (widen)
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
923 ;; Move to end of line in case the character at point is not fontified.
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
924 (end-of-line)
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
925 ;; Find where the previous (next) unfontified regions end (begin).
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
926 (let ((prev (previous-single-property-change (point) 'lazy-lock))
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
927 (next (text-property-any (point) (point-max) 'lazy-lock nil)))
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
928 ;; Fontify from the nearest unfontified position.
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
929 (if (or (null prev) (and next (< (- next (point)) (- (point) prev))))
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
930 ;; The next, or neither, region is the nearest not fontified.
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
931 (lazy-lock-fontify-region
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
932 (progn (goto-char (or next (point-min)))
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
933 (beginning-of-line)
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
934 (point))
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
935 (progn (goto-char (or next (point-min)))
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
936 (forward-line lazy-lock-stealth-lines)
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
937 (point)))
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
938 ;; The previous region is the nearest not fontified.
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
939 (lazy-lock-fontify-region
18464
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
940 (progn (goto-char prev)
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
941 (forward-line (- lazy-lock-stealth-lines))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
942 (point))
18464
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
943 (progn (goto-char prev)
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
944 (forward-line)
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
945 (point)))))))))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
946
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
947 (defun lazy-lock-fontify-window (window)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
948 ;; Fontify in WINDOW between `window-start' and `window-end'.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
949 ;; We can only do this when we can use `window-start' and `window-end'.
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
950 (with-current-buffer (window-buffer window)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
951 (lazy-lock-fontify-region (window-start window) (window-end window))))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
952
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
953 (defun lazy-lock-fontify-conservatively (window)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
954 ;; Fontify in WINDOW conservatively around point.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
955 ;; Where we cannot use `window-start' and `window-end' we do `window-height'
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
956 ;; lines around point. That way we guarantee to have done enough.
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
957 (with-current-buffer (window-buffer window)
18464
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
958 (let ((inhibit-point-motion-hooks t))
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
959 (lazy-lock-fontify-region
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
960 (save-excursion
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
961 (goto-char (window-point window))
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
962 (vertical-motion (- (window-height window)) window) (point))
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
963 (save-excursion
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
964 (goto-char (window-point window))
9e96c09a1466 wrap inhibit-point-motion-hooks where nec.
Simon Marshall <simon@gnu.org>
parents: 17682
diff changeset
965 (vertical-motion (window-height window) window) (point))))))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
966
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
967 (defun lazy-lock-unfontified-p ()
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
968 ;; Return non-nil if there is anywhere still to be fontified.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
969 (save-restriction
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
970 (widen)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
971 (text-property-any (point-min) (point-max) 'lazy-lock nil)))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
972
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
973 (defun lazy-lock-percent-fontified ()
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
974 ;; Return the percentage (of characters) of the buffer that are fontified.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
975 (save-restriction
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
976 (widen)
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
977 (let ((beg (point-min)) (size 0) next)
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
978 ;; Find where the next fontified region begins.
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
979 (while (setq beg (text-property-any beg (point-max) 'lazy-lock t))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
980 (setq next (or (text-property-any beg (point-max) 'lazy-lock nil)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
981 (point-max)))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
982 (incf size (- next beg))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
983 (setq beg next))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
984 ;; Float because using integer multiplication will frequently overflow.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
985 (truncate (* (/ (float size) (point-max)) 100)))))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
986
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
987 ;; Version dependent workarounds and fixes.
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
988
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
989 (when (consp lazy-lock-defer-time)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
990 ;;
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
991 ;; In 2.06.04 and below, `lazy-lock-defer-time' could specify modes and time.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
992 (with-output-to-temp-buffer "*Help*"
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
993 (princ "The value of the variable `lazy-lock-defer-time' was\n ")
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
994 (princ lazy-lock-defer-time)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
995 (princ "\n")
23753
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
996 (princ "This variable cannot now be a list of modes and time,\n")
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
997 (princ "so instead use ")
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
998 (princ (substitute-command-keys "\\[customize-option]"))
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
999 (princ " to modify the variables, or put the forms:\n")
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1000 (princ " (setq lazy-lock-defer-time ")
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1001 (princ (cdr lazy-lock-defer-time))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1002 (princ ")\n")
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1003 (princ " (setq lazy-lock-defer-on-the-fly '")
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1004 (princ (car lazy-lock-defer-time))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1005 (princ ")\n")
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1006 (princ "in your ~/.emacs. ")
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1007 (princ "The above forms have been evaluated for this editor session,\n")
23753
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
1008 (princ "but you should use ")
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
1009 (princ (substitute-command-keys "\\[customize-option]"))
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
1010 (princ " or change your ~/.emacs now."))
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1011 (setq lazy-lock-defer-on-the-fly (car lazy-lock-defer-time)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1012 lazy-lock-defer-time (cdr lazy-lock-defer-time)))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1013
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1014 (when (boundp 'lazy-lock-defer-driven)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1015 ;;
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1016 ;; In 2.06.04 and below, `lazy-lock-defer-driven' was the variable name.
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1017 (with-output-to-temp-buffer "*Help*"
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1018 (princ "The value of the variable `lazy-lock-defer-driven' is set to ")
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1019 (if (memq lazy-lock-defer-driven '(nil t))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1020 (princ lazy-lock-defer-driven)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1021 (princ "`")
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1022 (princ lazy-lock-defer-driven)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1023 (princ "'"))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1024 (princ ".\n")
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1025 (princ "This variable is now called `lazy-lock-defer-on-scrolling',\n")
23753
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
1026 (princ "so instead use ")
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
1027 (princ (substitute-command-keys "\\[customize-option]"))
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
1028 (princ " to modify the variable, or put the form:\n")
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1029 (princ " (setq lazy-lock-defer-on-scrolling ")
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1030 (unless (memq lazy-lock-defer-driven '(nil t))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1031 (princ "'"))
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1032 (princ lazy-lock-defer-driven)
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1033 (princ ")\n")
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1034 (princ "in your ~/.emacs. ")
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1035 (princ "The above form has been evaluated for this editor session,\n")
23753
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
1036 (princ "but you should use ")
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
1037 (princ (substitute-command-keys "\\[customize-option]"))
c1bedc24e8af * lazy-lock.el (lazy-lock-unstall):
Simon Marshall <simon@gnu.org>
parents: 22771
diff changeset
1038 (princ " or change your ~/.emacs now."))
16580
f4429e6fe33c (a) split lazy-lock-defer-time into lazy-lock-defer-time and lazy-lock-defer-on-the-fly, (b) add lazy-lock-defer-on-scrolling, (c) use these to choose one of lazy-lock-defer-line-after-change, lazy-lock-defer-rest-after-change, lazy-lock-fontify-line-after-change, lazy-lock-fontify-rest-after-change to add to after-change-functions, (d) use with-current-buffer rather than save-excursion, (e) avoid integer overflow in lazy-lock-percent-fontified.
Simon Marshall <simon@gnu.org>
parents: 15499
diff changeset
1039 (setq lazy-lock-defer-on-scrolling lazy-lock-defer-driven))
15461
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1040
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1041 ;; Install ourselves:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1042
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1043 (add-hook 'window-size-change-functions 'lazy-lock-fontify-after-resize)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1044 (add-hook 'redisplay-end-trigger-functions 'lazy-lock-fontify-after-trigger)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1045
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1046 (unless (assq 'lazy-lock-mode minor-mode-alist)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1047 (setq minor-mode-alist (append minor-mode-alist '((lazy-lock-mode nil)))))
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1048
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1049 ;; Provide ourselves:
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1050
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1051 (provide 'lazy-lock)
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1052
a0dc879461b8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1053 ;;; lazy-lock.el ends here