Mercurial > emacs
annotate lisp/fast-lock.el @ 16149:eb953f4baf7b
(byte-compile-out-toplevel): Undo previous change.
(byte-compile-byte-code-maker): Undo previous change.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Tue, 10 Sep 1996 19:22:12 +0000 |
parents | 4cd3efec2909 |
children | aadb4abdeaaa |
rev | line source |
---|---|
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
1 ;;; fast-lock.el --- Automagic text properties caching for fast Font Lock mode. |
10243 | 2 |
14169 | 3 ;; Copyright (C) 1994, 1995, 1996 Free Software Foundation, Inc. |
10243 | 4 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
5 ;; Author: Simon Marshall <simon@gnu.ai.mit.edu> |
10243 | 6 ;; Keywords: faces files |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
7 ;; Version: 3.10 |
10243 | 8 |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
9 ;;; This file is part of GNU Emacs. |
10243 | 10 |
11 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
12 ;; it under the terms of the GNU General Public License as published by | |
13 ;; the Free Software Foundation; either version 2, or (at your option) | |
14 ;; any later version. | |
15 | |
16 ;; GNU Emacs is distributed in the hope that it will be useful, | |
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 ;; GNU General Public License for more details. | |
20 | |
21 ;; You should have received a copy of the GNU General Public License | |
14169 | 22 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
24 ;; Boston, MA 02111-1307, USA. | |
10243 | 25 |
26 ;;; Commentary: | |
27 | |
28 ;; Purpose: | |
29 ;; | |
30 ;; To make visiting a file in `font-lock-mode' faster by restoring its face | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
31 ;; text properties from automatically saved associated Font Lock cache files. |
10243 | 32 ;; |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
33 ;; See caveats and feedback below. |
10243 | 34 ;; See also the lazy-lock package. (But don't use the two at the same time!) |
35 | |
36 ;; Installation: | |
37 ;; | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
38 ;; Put in your ~/.emacs: |
10243 | 39 ;; |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
40 ;; (setq font-lock-support-mode 'fast-lock-mode) |
10243 | 41 ;; |
42 ;; Start up a new Emacs and use font-lock as usual (except that you can use the | |
43 ;; so-called "gaudier" fontification regexps on big files without frustration). | |
44 ;; | |
45 ;; When you visit a file (which has `font-lock-mode' enabled) that has a | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
46 ;; corresponding Font Lock cache file associated with it, the Font Lock cache |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
47 ;; will be loaded from that file instead of being generated by Font Lock code. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
48 |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
49 ;; Caveats: |
10243 | 50 ;; |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
51 ;; A cache will be saved when visiting a compressed file using crypt++, but not |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
52 ;; be read. This is a "feature"/"consequence"/"bug" of crypt++. |
10243 | 53 ;; |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
54 ;; Version control packages are likely to stamp all over file modification |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
55 ;; times. Therefore the act of checking out may invalidate a cache. |
10243 | 56 |
57 ;; Feedback: | |
58 ;; | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
59 ;; Feedback is welcome. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
60 ;; To submit a bug report (or make comments) please use the mechanism provided: |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
61 ;; |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
62 ;; M-x fast-lock-submit-bug-report RET |
10243 | 63 |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
64 ;; History: |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
65 ;; |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
66 ;; 0.02--1.00: |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
67 ;; - Changed name from turbo-prop to fast-lock. Automagic for font-lock only |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
68 ;; - Made `fast-lock-mode' a minor mode, like G. Dinesh Dutt's fss-mode |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
69 ;; 1.00--1.01: |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
70 ;; - Turn on `fast-lock-mode' only if `buffer-file-name' or `interactive-p' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
71 ;; - Made `fast-lock-file-name' use `buffer-name' if `buffer-file-name' is nil |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
72 ;; - Moved save-all conditions to `fast-lock-save-cache' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
73 ;; - Added `fast-lock-save-text-properties' to `kill-buffer-hook' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
74 ;; 1.01--2.00: complete rewrite---not worth the space to document |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
75 ;; - Changed structure of text properties cache and threw out file mod checks |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
76 ;; 2.00--2.01: |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
77 ;; - Made `condition-case' forms understand `quit'. |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
78 ;; - Made `fast-lock' require `font-lock' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
79 ;; - Made `fast-lock-cache-name' chase links (from Ben Liblit) |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
80 ;; 2.01--3.00: |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
81 ;; - Changed structure of cache to include `font-lock-keywords' (from rms) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
82 ;; - Changed `fast-lock-cache-mechanisms' to `fast-lock-cache-directories' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
83 ;; - Removed `fast-lock-read-others' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
84 ;; - Made `fast-lock-read-cache' ignore cache owner |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
85 ;; - Made `fast-lock-save-cache-external' create cache directory |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
86 ;; - Made `fast-lock-save-cache-external' save `font-lock-keywords' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
87 ;; - Made `fast-lock-cache-data' check `font-lock-keywords' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
88 ;; 3.00--3.01: incorporated port of 2.00 to Lucid, made by Barry Warsaw |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
89 ;; - Package now provides itself |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
90 ;; - Lucid: Use `font-lock-any-extents-p' for `font-lock-any-properties-p' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
91 ;; - Lucid: Use `list-faces' for `face-list' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
92 ;; - Lucid: Added `set-text-properties' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
93 ;; - Lucid: Made `turn-on-fast-lock' pass 1 not t to `fast-lock-mode' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
94 ;; - Removed test for `fast-lock-mode' from `fast-lock-read-cache' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
95 ;; - Lucid: Added Lucid-specific `fast-lock-get-face-properties' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
96 ;; 3.01--3.02: now works with Lucid Emacs, thanks to Barry Warsaw |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
97 ;; - Made `fast-lock-cache-name' map ":" to ";" for OS/2 (from Serganova Vera) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
98 ;; - Made `fast-lock-cache-name' use abbreviated file name (from Barry Warsaw) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
99 ;; - Lucid: Separated handlers for `error' and `quit' for `condition-case' |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
100 ;; 3.02--3.03: |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
101 ;; - Changed `fast-lock-save-cache-external' to `fast-lock-save-cache-data' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
102 ;; - Lucid: Added Lucid-specific `fast-lock-set-face-properties' |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
103 ;; 3.03--3.04: |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
104 ;; - Corrected `subrp' test of Lucid code |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
105 ;; - Replaced `font-lock-any-properties-p' with `text-property-not-all' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
106 ;; - Lucid: Made `fast-lock-set-face-properties' put `text-prop' on extents |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
107 ;; - Made `fast-lock-cache-directories' a regexp alist (from Colin Rafferty) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
108 ;; - Made `fast-lock-cache-directory' to return a usable cache file directory |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
109 ;; 3.04--3.05: |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
110 ;; - Lucid: Fix for XEmacs 19.11 `text-property-not-all' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
111 ;; - Replaced `subrp' test of Lucid code with `emacs-version' `string-match' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
112 ;; - Made `byte-compile-warnings' omit `unresolved' on compilation |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
113 ;; - Made `fast-lock-save-cache-data' use a buffer (from Rick Sladkey) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
114 ;; - Reverted to old `fast-lock-get-face-properties' (from Rick Sladkey) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
115 ;; 3.05--3.06: incorporated hack of 3.03, made by Jonathan Stigelman (Stig) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
116 ;; - Reverted to 3.04 version of `fast-lock-get-face-properties' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
117 ;; - XEmacs: Removed `list-faces' `defalias' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
118 ;; - Made `fast-lock-mode' and `turn-on-fast-lock' succeed `autoload' cookies |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
119 ;; - Added `fast-lock-submit-bug-report' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
120 ;; - Renamed `fast-lock-save-size' to `fast-lock-minimum-size' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
121 ;; - Made `fast-lock-save-cache' output a message if no save ever attempted |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
122 ;; - Made `fast-lock-save-cache-data' output a message if save attempted |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
123 ;; - Made `fast-lock-cache-data' output a message if load attempted |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
124 ;; - Made `fast-lock-save-cache-data' do `condition-case' not `unwind-protect' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
125 ;; - Made `fast-lock-save-cache' and `fast-lock-read-cache' return nothing |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
126 ;; - Made `fast-lock-save-cache' check `buffer-modified-p' (Stig) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
127 ;; - Added `fast-lock-save-events' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
128 ;; - Added `fast-lock-after-save-hook' to `after-save-hook' (Stig) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
129 ;; - Added `fast-lock-kill-buffer-hook' to `kill-buffer-hook' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
130 ;; - Changed `fast-lock-save-caches' to `fast-lock-kill-emacs-hook' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
131 ;; - Added `fast-lock-kill-emacs-hook' to `kill-emacs-hook' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
132 ;; - Made `fast-lock-save-cache' check `verify-visited-file-modtime' (Stig) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
133 ;; - Made `visited-file-modtime' be the basis of the timestamp (Stig) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
134 ;; - Made `fast-lock-save-cache-1' and `fast-lock-cache-data' use/reformat it |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
135 ;; - Added `fast-lock-cache-filename' to keep track of the cache file name |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
136 ;; - Added `fast-lock-after-fontify-buffer' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
137 ;; - Added `fast-lock-save-faces' list of faces to save (idea from Stig/Tibor) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
138 ;; - Made `fast-lock-get-face-properties' functions use it |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
139 ;; - XEmacs: Made `fast-lock-set-face-properties' do extents the Font Lock way |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
140 ;; - XEmacs: Removed fix for `text-property-not-all' (19.11 support dropped) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
141 ;; - Made `fast-lock-mode' ensure `font-lock-mode' is on |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
142 ;; - Made `fast-lock-save-cache' do `cdr-safe' not `cdr' (from Dave Foster) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
143 ;; - Made `fast-lock-save-cache' do `set-buffer' first (from Dave Foster) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
144 ;; - Made `fast-lock-save-cache' loop until saved or quit (from Georg Nikodym) |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
145 ;; - Made `fast-lock-cache-data' check `buffer-modified-p' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
146 ;; - Made `fast-lock-cache-data' do `font-lock-compile-keywords' if necessary |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
147 ;; - XEmacs: Made `font-lock-compile-keywords' `defalias' |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
148 ;; 3.06--3.07: |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
149 ;; - XEmacs: Add `fast-lock-after-fontify-buffer' to the Font Lock hook |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
150 ;; - Made `fast-lock-cache-name' explain the use of `directory-abbrev-alist' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
151 ;; - Made `fast-lock-mode' use `buffer-file-truename' not `buffer-file-name' |
13301
0cbf58edd87f
Updated to 3.08; don't use `let' var from caller.
Simon Marshall <simon@gnu.org>
parents:
12909
diff
changeset
|
152 ;; 3.07--3.08: |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
153 ;; - Made `fast-lock-read-cache' set `fast-lock-cache-filename' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
154 ;; 3.08--3.09: |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
155 ;; - Made `fast-lock-save-cache' cope if `fast-lock-minimum-size' is an a list |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
156 ;; - Made `fast-lock-mode' respect the value of `font-lock-inhibit-thing-lock' |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
157 ;; - Added `fast-lock-after-unfontify-buffer' |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
158 ;; 3.09--3.10: |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
159 ;; - Rewrite for Common Lisp macros |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
160 ;; - Made fast-lock.el barf on a crap 8+3 pseudo-OS (Eli Zaretskii help) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
161 ;; - XEmacs: Made `add-minor-mode' succeed `autoload' cookie |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
162 ;; - XEmacs: Made `fast-lock-save-faces' default to `font-lock-face-list' |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
163 ;; - Made `fast-lock-save-cache' use `font-lock-value-in-major-mode' |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
164 ;; - Wrap with `save-buffer-state' (Ray Van Tassle report) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
165 ;; - Made `fast-lock-mode' wrap `font-lock-support-mode' |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
166 |
10243 | 167 (require 'font-lock) |
168 | |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
169 ;; Make sure fast-lock.el is supported. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
170 (if (and (eq system-type 'ms-dos) (not (msdos-long-file-names))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
171 (error "`fast-lock' was written for long file name systems")) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
172 |
10243 | 173 (eval-when-compile |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
174 ;; |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
175 ;; We don't do this at the top-level as we only use non-autoloaded macros. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
176 (require 'cl) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
177 ;; |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
178 ;; I prefer lazy code---and lazy mode. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
179 (setq byte-compile-dynamic t byte-compile-dynamic-docstrings t) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
180 ;; |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
181 ;; We use this to preserve or protect things when modifying text properties. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
182 (defmacro save-buffer-state (varlist &rest body) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
183 "Bind variables according to VARLIST and eval BODY restoring buffer state." |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
184 (` (let* ((,@ (append varlist |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
185 '((modified (buffer-modified-p)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
186 (inhibit-read-only t) (buffer-undo-list t) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
187 before-change-functions after-change-functions |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
188 deactivate-mark buffer-file-name buffer-file-truename)))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
189 (,@ body) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
190 (when (and (not modified) (buffer-modified-p)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
191 (set-buffer-modified-p nil))))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
192 (put 'save-buffer-state 'lisp-indent-function 1)) |
10243 | 193 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
194 (defun fast-lock-submit-bug-report () |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
195 "Submit via mail a bug report on fast-lock.el." |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
196 (interactive) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
197 (let ((reporter-prompt-for-summary-p t)) |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
198 (reporter-submit-bug-report "simon@gnu.ai.mit.edu" "fast-lock 3.10" |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
199 '(fast-lock-cache-directories fast-lock-minimum-size |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
200 fast-lock-save-others fast-lock-save-events fast-lock-save-faces) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
201 nil nil |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
202 (concat "Hi Si., |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
203 |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
204 I want to report a bug. I've read the `Bugs' section of `Info' on Emacs, so I |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
205 know how to make a clear and unambiguous report. To reproduce the bug: |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
206 |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
207 Start a fresh Emacs via `" invocation-name " -no-init-file -no-site-file'. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
208 In the `*scratch*' buffer, evaluate:")))) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
209 |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
210 (defvar fast-lock-mode nil) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
211 (defvar fast-lock-cache-timestamp nil) ; for saving/reading |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
212 (defvar fast-lock-cache-filename nil) ; for deleting |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
213 |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
214 ;; User Variables: |
10243 | 215 |
216 (defvar fast-lock-cache-directories '("." "~/.emacs-flc") | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
217 ; - `internal', keep each file's Font Lock cache file in the same file. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
218 ; - `external', keep each file's Font Lock cache file in the same directory. |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
219 "*Directories in which Font Lock cache files are saved and read. |
10243 | 220 Each item should be either DIR or a cons pair of the form (REGEXP . DIR) where |
221 DIR is a directory name (relative or absolute) and REGEXP is a regexp. | |
222 | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
223 An attempt will be made to save or read Font Lock cache files using these items |
10243 | 224 until one succeeds (i.e., until a readable or writable one is found). If an |
225 item contains REGEXP, DIR is used only if the buffer file name matches REGEXP. | |
226 For example: | |
227 | |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
228 (let ((home (expand-file-name (abbreviate-file-name (file-truename \"~/\"))))) |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
229 (list (cons (concat \"^\" (regexp-quote home)) \".\") \"~/.emacs-flc\")) |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
230 => |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
231 ((\"^/your/true/home/directory/\" . \".\") \"~/.emacs-flc\") |
10243 | 232 |
233 would cause a file's current directory to be used if the file is under your | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
234 home directory hierarchy, or otherwise the absolute directory `~/.emacs-flc'.") |
10243 | 235 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
236 (defvar fast-lock-minimum-size (* 25 1024) |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
237 "*Minimum size of a buffer for cached fontification. |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
238 Only buffers more than this can have associated Font Lock cache files saved. |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
239 If nil, means cache files are never created. |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
240 If a list, each element should be a cons pair of the form (MAJOR-MODE . SIZE), |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
241 where MAJOR-MODE is a symbol or t (meaning the default). For example: |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
242 ((c-mode . 25600) (c++-mode . 25600) (rmail-mode . 1048576)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
243 means that the minimum size is 25K for buffers in C or C++ modes, one megabyte |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
244 for buffers in Rmail mode, and size is irrelevant otherwise.") |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
245 |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
246 (defvar fast-lock-save-events '(kill-buffer kill-emacs) |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
247 "*Events under which caches will be saved. |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
248 Valid events are `save-buffer', `kill-buffer' and `kill-emacs'. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
249 If concurrent editing sessions use the same associated cache file for a file's |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
250 buffer, then you should add `save-buffer' to this list.") |
10243 | 251 |
252 (defvar fast-lock-save-others t | |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
253 "*If non-nil, save Font Lock cache files irrespective of file owner. |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
254 If nil, means only buffer files known to be owned by you can have associated |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
255 Font Lock cache files saved. Ownership may be unknown for networked files.") |
10243 | 256 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
257 (defvar fast-lock-save-faces |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
258 (when (save-match-data (string-match "XEmacs" (emacs-version))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
259 ;; XEmacs uses extents for everything, so we have to pick the right ones. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
260 font-lock-face-list) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
261 "Faces that will be saved in a Font Lock cache file. |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
262 If nil, means information for all faces will be saved.") |
10243 | 263 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
264 ;; User Functions: |
10243 | 265 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
266 ;;;###autoload |
10243 | 267 (defun fast-lock-mode (&optional arg) |
268 "Toggle Fast Lock mode. | |
269 With arg, turn Fast Lock mode on if and only if arg is positive and the buffer | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
270 is associated with a file. Enable it automatically in your `~/.emacs' by: |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
271 |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
272 (setq font-lock-support-mode 'fast-lock-mode) |
10243 | 273 |
274 If Fast Lock mode is enabled, and the current buffer does not contain any text | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
275 properties, any associated Font Lock cache is used if its timestamp matches the |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
276 buffer's file, and its `font-lock-keywords' match those that you are using. |
10243 | 277 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
278 Font Lock caches may be saved: |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
279 - When you save the file's buffer. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
280 - When you kill an unmodified file's buffer. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
281 - When you exit Emacs, for all unmodified or saved buffers. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
282 Depending on the value of `fast-lock-save-events'. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
283 See also the commands `fast-lock-read-cache' and `fast-lock-save-cache'. |
10243 | 284 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
285 Use \\[font-lock-fontify-buffer] to fontify the buffer if the cache is bad. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
286 |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
287 Various methods of control are provided for the Font Lock cache. In general, |
10243 | 288 see variable `fast-lock-cache-directories' and function `fast-lock-cache-name'. |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
289 For saving, see variables `fast-lock-minimum-size', `fast-lock-save-events', |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
290 `fast-lock-save-others' and `fast-lock-save-faces'. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
291 |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
292 Use \\[fast-lock-submit-bug-report] to send bug reports or feedback." |
10243 | 293 (interactive "P") |
13301
0cbf58edd87f
Updated to 3.08; don't use `let' var from caller.
Simon Marshall <simon@gnu.org>
parents:
12909
diff
changeset
|
294 ;; Only turn on if we are visiting a file. We could use `buffer-file-name', |
0cbf58edd87f
Updated to 3.08; don't use `let' var from caller.
Simon Marshall <simon@gnu.org>
parents:
12909
diff
changeset
|
295 ;; but many packages temporarily wrap that to nil when doing their own thing. |
10243 | 296 (set (make-local-variable 'fast-lock-mode) |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
297 (and buffer-file-truename |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
298 (not (memq 'fast-lock-mode font-lock-inhibit-thing-lock)) |
10243 | 299 (if arg (> (prefix-numeric-value arg) 0) (not fast-lock-mode)))) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
300 (if (and fast-lock-mode (not font-lock-mode)) |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
301 ;; Turned on `fast-lock-mode' rather than `font-lock-mode'. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
302 (let ((font-lock-support-mode 'fast-lock-mode)) |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
303 (font-lock-mode t)) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
304 ;; Let's get down to business. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
305 (set (make-local-variable 'fast-lock-cache-timestamp) nil) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
306 (set (make-local-variable 'fast-lock-cache-filename) nil) |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
307 (when (and fast-lock-mode (not font-lock-fontified)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
308 (fast-lock-read-cache)))) |
10243 | 309 |
310 (defun fast-lock-read-cache () | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
311 "Read the Font Lock cache for the current buffer. |
10243 | 312 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
313 The following criteria must be met for a Font Lock cache file to be read: |
10243 | 314 - Fast Lock mode must be turned on in the buffer. |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
315 - The buffer must not be modified. |
10243 | 316 - The buffer's `font-lock-keywords' must match the cache's. |
317 - The buffer file's timestamp must match the cache's. | |
318 - Criteria imposed by `fast-lock-cache-directories'. | |
319 | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
320 See `fast-lock-mode'." |
10243 | 321 (interactive) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
322 (let ((directories fast-lock-cache-directories) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
323 (modified (buffer-modified-p)) (inhibit-read-only t) |
10243 | 324 (fontified font-lock-fontified)) |
325 (set (make-local-variable 'font-lock-fontified) nil) | |
326 ;; Keep trying directories until fontification is turned off. | |
327 (while (and directories (not font-lock-fontified)) | |
13301
0cbf58edd87f
Updated to 3.08; don't use `let' var from caller.
Simon Marshall <simon@gnu.org>
parents:
12909
diff
changeset
|
328 (let ((directory (fast-lock-cache-directory (car directories) nil))) |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
329 (condition-case nil |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
330 (when directory |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
331 (setq fast-lock-cache-filename (fast-lock-cache-name directory)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
332 (when (file-readable-p fast-lock-cache-filename) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
333 (load fast-lock-cache-filename t t t))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
334 (error nil) (quit nil)) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
335 (setq directories (cdr directories)))) |
13301
0cbf58edd87f
Updated to 3.08; don't use `let' var from caller.
Simon Marshall <simon@gnu.org>
parents:
12909
diff
changeset
|
336 ;; Unset `fast-lock-cache-filename', and restore `font-lock-fontified', if |
0cbf58edd87f
Updated to 3.08; don't use `let' var from caller.
Simon Marshall <simon@gnu.org>
parents:
12909
diff
changeset
|
337 ;; we don't use a cache. (Note that `fast-lock-cache-data' sets the value |
0cbf58edd87f
Updated to 3.08; don't use `let' var from caller.
Simon Marshall <simon@gnu.org>
parents:
12909
diff
changeset
|
338 ;; of `fast-lock-cache-timestamp'.) |
10243 | 339 (set-buffer-modified-p modified) |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
340 (unless font-lock-fontified |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
341 (setq fast-lock-cache-filename nil font-lock-fontified fontified)))) |
10243 | 342 |
343 (defun fast-lock-save-cache (&optional buffer) | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
344 "Save the Font Lock cache of BUFFER or the current buffer. |
10243 | 345 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
346 The following criteria must be met for a Font Lock cache file to be saved: |
10243 | 347 - Fast Lock mode must be turned on in the buffer. |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
348 - The event must be one of `fast-lock-save-events'. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
349 - The buffer must be at least `fast-lock-minimum-size' bytes long. |
10243 | 350 - The buffer file must be owned by you, or `fast-lock-save-others' must be t. |
351 - The buffer must contain at least one `face' text property. | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
352 - The buffer must not be modified. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
353 - The buffer file's timestamp must be the same as the file's on disk. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
354 - The on disk file's timestamp must be different than the buffer's cache. |
10243 | 355 - Criteria imposed by `fast-lock-cache-directories'. |
356 | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
357 See `fast-lock-mode'." |
10243 | 358 (interactive) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
359 (save-excursion |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
360 (when buffer |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
361 (set-buffer buffer)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
362 (let ((min-size (font-lock-value-in-major-mode fast-lock-minimum-size)) |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
363 (file-timestamp (visited-file-modtime)) (saved nil)) |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
364 (when (and fast-lock-mode |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
365 ;; |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
366 ;; "Only save if the buffer matches the file, the file has |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
367 ;; changed, and it was changed by the current emacs session." |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
368 ;; |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
369 ;; Only save if the buffer is not modified, |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
370 ;; (i.e., so we don't save for something not on disk) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
371 (not (buffer-modified-p)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
372 ;; and the file's timestamp is the same as the buffer's, |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
373 ;; (i.e., someone else hasn't written the file in the meantime) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
374 (verify-visited-file-modtime (current-buffer)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
375 ;; and the file's timestamp is different from the cache's. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
376 ;; (i.e., a save has occurred since the cache was read) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
377 (not (equal fast-lock-cache-timestamp file-timestamp)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
378 ;; |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
379 ;; Only save if user's restrictions are satisfied. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
380 (and min-size (>= (buffer-size) min-size)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
381 (or fast-lock-save-others |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
382 (eq (user-uid) (nth 2 (file-attributes buffer-file-name)))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
383 ;; |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
384 ;; Only save if there are `face' properties to save. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
385 (text-property-not-all (point-min) (point-max) 'face nil)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
386 ;; |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
387 ;; Try each directory until we manage to save or the user quits. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
388 (let ((directories fast-lock-cache-directories)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
389 (while (and directories (memq saved '(nil error))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
390 (let* ((dir (fast-lock-cache-directory (car directories) t)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
391 (file (and dir (fast-lock-cache-name dir)))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
392 (when (and file (file-writable-p file)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
393 (setq saved (fast-lock-save-cache-1 file file-timestamp))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
394 (setq directories (cdr directories))))))))) |
10243 | 395 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
396 ;;;###autoload |
10243 | 397 (defun turn-on-fast-lock () |
398 "Unconditionally turn on Fast Lock mode." | |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
399 (fast-lock-mode t)) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
400 |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
401 ;;; API Functions: |
10243 | 402 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
403 (defun fast-lock-after-fontify-buffer () |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
404 ;; Delete the Font Lock cache file used to restore fontification, if any. |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
405 (when fast-lock-cache-filename |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
406 (if (file-writable-p fast-lock-cache-filename) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
407 (delete-file fast-lock-cache-filename) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
408 (message "File %s font lock cache cannot be deleted" (buffer-name)))) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
409 ;; Flag so that a cache will be saved later even if the file is never saved. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
410 (setq fast-lock-cache-timestamp nil)) |
14374
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
411 |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
412 (defalias 'fast-lock-after-unfontify-buffer |
e2423983be05
Support for local fontification.
Simon Marshall <simon@gnu.org>
parents:
14169
diff
changeset
|
413 'ignore) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
414 |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
415 ;; Miscellaneous Functions: |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
416 |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
417 (defun fast-lock-save-cache-after-save-file () |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
418 ;; Do `fast-lock-save-cache' if `save-buffer' is on `fast-lock-save-events'. |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
419 (when (memq 'save-buffer fast-lock-save-events) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
420 (fast-lock-save-cache))) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
421 |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
422 (defun fast-lock-save-cache-before-kill-buffer () |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
423 ;; Do `fast-lock-save-cache' if `kill-buffer' is on `fast-lock-save-events'. |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
424 (when (memq 'kill-buffer fast-lock-save-events) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
425 (fast-lock-save-cache))) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
426 |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
427 (defun fast-lock-save-caches-before-kill-emacs () |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
428 ;; Do `fast-lock-save-cache's if `kill-emacs' is on `fast-lock-save-events'. |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
429 (when (memq 'kill-emacs fast-lock-save-events) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
430 (mapcar 'fast-lock-save-cache (buffer-list)))) |
10243 | 431 |
432 (defun fast-lock-cache-directory (directory create) | |
433 "Return usable directory based on DIRECTORY. | |
434 Returns nil if the directory does not exist, or, if CREATE non-nil, cannot be | |
435 created. DIRECTORY may be a string or a cons pair of the form (REGEXP . DIR). | |
436 See `fast-lock-cache-directories'." | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
437 (let ((dir |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
438 (cond ((not buffer-file-name) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
439 ;; Should never be nil, but `crypt++' screws it up. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
440 nil) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
441 ((stringp directory) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
442 ;; Just a directory. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
443 directory) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
444 (t |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
445 ;; A directory iff the file name matches the regexp. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
446 (let ((bufile (expand-file-name buffer-file-truename)) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
447 (case-fold-search nil)) |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
448 (when (save-match-data (string-match (car directory) bufile)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
449 (cdr directory))))))) |
10243 | 450 (cond ((not dir) |
451 nil) | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
452 ((file-accessible-directory-p dir) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
453 dir) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
454 (create |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
455 (condition-case nil |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
456 (progn (make-directory dir t) dir) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
457 (error nil)))))) |
10243 | 458 |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
459 ;; If you are wondering why we only hash if the directory is not ".", rather |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
460 ;; than if `file-name-absolute-p', it is because if we just appended ".flc" for |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
461 ;; relative cache directories (that are not ".") then it is possible that more |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
462 ;; than one file would have the same cache name in that directory, if the luser |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
463 ;; made a link from one relative cache directory to another. (Phew!) |
10243 | 464 (defun fast-lock-cache-name (directory) |
465 "Return full cache path name using caching DIRECTORY. | |
466 If DIRECTORY is `.', the path is the buffer file name appended with `.flc'. | |
467 Otherwise, the path name is constructed from DIRECTORY and the buffer's true | |
468 abbreviated file name, with all `/' characters in the name replaced with `#' | |
469 characters, and appended with `.flc'. | |
470 | |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
471 If the same file has different cache path names when edited on different |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
472 machines, e.g., on one machine the cache file name has the prefix `#home', |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
473 perhaps due to automount, try putting in your `~/.emacs' something like: |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
474 |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
475 (setq directory-abbrev-alist (cons '(\"^/home/\" . \"/\") directory-abbrev-alist)) |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
476 |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
477 Emacs automagically removes the common `/tmp_mnt' automount prefix by default. |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
478 |
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
479 See `fast-lock-cache-directory'." |
10243 | 480 (if (string-equal directory ".") |
481 (concat buffer-file-name ".flc") | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
482 (let* ((bufile (expand-file-name buffer-file-truename)) |
10243 | 483 (chars-alist |
484 (if (eq system-type 'emx) | |
485 '((?/ . (?#)) (?# . (?# ?#)) (?: . (?\;)) (?\; . (?\; ?\;))) | |
486 '((?/ . (?#)) (?# . (?# ?#))))) | |
487 (mapchars | |
488 (function (lambda (c) (or (cdr (assq c chars-alist)) (list c)))))) | |
489 (concat | |
490 (file-name-as-directory (expand-file-name directory)) | |
491 (mapconcat 'char-to-string (apply 'append (mapcar mapchars bufile)) "") | |
492 ".flc")))) | |
493 | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
494 ;; Font Lock Cache Processing Functions: |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
495 |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
496 (defun fast-lock-save-cache-1 (file timestamp) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
497 ;; Save the FILE with the TIMESTAMP as: |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
498 ;; (fast-lock-cache-data Version=2 TIMESTAMP font-lock-keywords PROPERTIES). |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
499 ;; Returns non-nil if a save was attempted to a writable cache file. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
500 (let ((tpbuf (generate-new-buffer " *fast-lock*")) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
501 (buname (buffer-name)) (saved t)) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
502 (message "Saving %s font lock cache..." buname) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
503 (condition-case nil |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
504 (save-excursion |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
505 (print (list 'fast-lock-cache-data 2 |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
506 (list 'quote timestamp) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
507 (list 'quote font-lock-keywords) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
508 (list 'quote (fast-lock-get-face-properties))) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
509 tpbuf) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
510 (set-buffer tpbuf) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
511 (write-region (point-min) (point-max) file nil 'quietly) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
512 (setq fast-lock-cache-timestamp timestamp |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
513 fast-lock-cache-filename file)) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
514 (error (setq saved 'error)) (quit (setq saved 'quit))) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
515 (kill-buffer tpbuf) |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
516 (message "Saving %s font lock cache...%s" buname |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
517 (cond ((eq saved 'error) "failed") |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
518 ((eq saved 'quit) "aborted") |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
519 (t "done"))) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
520 ;; We return non-nil regardless of whether a failure occurred. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
521 saved)) |
10243 | 522 |
523 (defun fast-lock-cache-data (version timestamp keywords properties | |
524 &rest ignored) | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
525 ;; Change from (HIGH LOW) for back compatibility. Remove for version 3! |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
526 (when (consp (cdr-safe timestamp)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
527 (setcdr timestamp (nth 1 timestamp))) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
528 ;; Compile KEYWORDS and `font-lock-keywords' in case one is and one isn't. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
529 (let ((current font-lock-keywords)) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
530 (setq keywords (font-lock-compile-keywords keywords) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
531 font-lock-keywords (font-lock-compile-keywords current))) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
532 ;; Use the Font Lock cache PROPERTIES if we're using cache VERSION format 2, |
10243 | 533 ;; the current buffer's file timestamp matches the TIMESTAMP, and the current |
534 ;; buffer's font-lock-keywords are the same as KEYWORDS. | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
535 (let ((buf-timestamp (visited-file-modtime)) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
536 (buname (buffer-name)) (loaded t)) |
10243 | 537 (if (or (/= version 2) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
538 (buffer-modified-p) |
10243 | 539 (not (equal timestamp buf-timestamp)) |
540 (not (equal keywords font-lock-keywords))) | |
541 (setq loaded nil) | |
542 (message "Loading %s font lock cache..." buname) | |
543 (condition-case nil | |
544 (fast-lock-set-face-properties properties) | |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
545 (error (setq loaded 'error)) (quit (setq loaded 'quit))) |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
546 (message "Loading %s font lock cache...%s" buname |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
547 (cond ((eq loaded 'error) "failed") |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
548 ((eq loaded 'quit) "aborted") |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
549 (t "done")))) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
550 (setq font-lock-fontified (eq loaded t) |
13301
0cbf58edd87f
Updated to 3.08; don't use `let' var from caller.
Simon Marshall <simon@gnu.org>
parents:
12909
diff
changeset
|
551 fast-lock-cache-timestamp (and (eq loaded t) timestamp)))) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
552 |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
553 ;; Text Properties Processing Functions: |
10243 | 554 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
555 ;; This is faster, but fails if adjacent characters have different `face' text |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
556 ;; properties. Maybe that's why I dropped it in the first place? |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
557 ;(defun fast-lock-get-face-properties () |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
558 ; "Return a list of all `face' text properties in the current buffer. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
559 ;Each element of the list is of the form (VALUE START1 END1 START2 END2 ...) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
560 ;where VALUE is a `face' property value and STARTx and ENDx are positions." |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
561 ; (save-restriction |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
562 ; (widen) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
563 ; (let ((start (text-property-not-all (point-min) (point-max) 'face nil)) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
564 ; (limit (point-max)) end properties value cell) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
565 ; (while start |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
566 ; (setq end (next-single-property-change start 'face nil limit) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
567 ; value (get-text-property start 'face)) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
568 ; ;; Make, or add to existing, list of regions with same `face'. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
569 ; (if (setq cell (assq value properties)) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
570 ; (setcdr cell (cons start (cons end (cdr cell)))) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
571 ; (setq properties (cons (list value start end) properties))) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
572 ; (setq start (next-single-property-change end 'face))) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
573 ; properties))) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
574 |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
575 (defun fast-lock-get-face-properties () |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
576 "Return a list of all `face' text properties in the current buffer. |
10243 | 577 Each element of the list is of the form (VALUE START1 END1 START2 END2 ...) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
578 where VALUE is a `face' property value and STARTx and ENDx are positions. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
579 Only those `face' VALUEs in `fast-lock-save-faces' are returned." |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
580 (save-restriction |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
581 (widen) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
582 (let ((faces (or fast-lock-save-faces (face-list))) (limit (point-max)) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
583 properties regions face start end) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
584 (while faces |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
585 (setq face (car faces) faces (cdr faces) regions () end (point-min)) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
586 ;; Make a list of start/end regions with `face' property face. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
587 (while (setq start (text-property-any end limit 'face face)) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
588 (setq end (or (text-property-not-all start limit 'face face) limit) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
589 regions (cons start (cons end regions)))) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
590 ;; Add `face' face's regions, if any, to properties. |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
591 (when regions |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
592 (push (cons face regions) properties))) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
593 properties))) |
10243 | 594 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
595 (defun fast-lock-set-face-properties (properties) |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
596 "Set all `face' text properties to PROPERTIES in the current buffer. |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
597 Any existing `face' text properties are removed first. |
10243 | 598 See `fast-lock-get-face-properties' for the format of PROPERTIES." |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
599 (save-buffer-state (plist regions) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
600 (save-restriction |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
601 (widen) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
602 (font-lock-unfontify-region (point-min) (point-max)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
603 (while properties |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
604 (setq plist (list 'face (car (car properties))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
605 regions (cdr (car properties)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
606 properties (cdr properties)) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
607 ;; Set the `face' property for each start/end region. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
608 (while regions |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
609 (set-text-properties (nth 0 regions) (nth 1 regions) plist) |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
610 (setq regions (nthcdr 2 regions))))))) |
10243 | 611 |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
612 ;; Functions for XEmacs: |
10243 | 613 |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
614 (when (save-match-data (string-match "XEmacs" (emacs-version))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
615 ;; |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
616 ;; It would be better to use XEmacs' `map-extents' over extents with a |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
617 ;; `font-lock' property, but `face' properties are on different extents. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
618 (defun fast-lock-get-face-properties () |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
619 "Return a list of all `face' text properties in the current buffer. |
10243 | 620 Each element of the list is of the form (VALUE START1 END1 START2 END2 ...) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
621 where VALUE is a `face' property value and STARTx and ENDx are positions. |
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
622 Only those `face' VALUEs in `fast-lock-save-faces' are returned." |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
623 (save-restriction |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
624 (widen) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
625 (let ((properties ()) cell) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
626 (map-extents |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
627 (function (lambda (extent ignore) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
628 (let ((value (extent-face extent))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
629 ;; We're only interested if it's one of `fast-lock-save-faces'. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
630 (when (and value (or (null fast-lock-save-faces) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
631 (memq value fast-lock-save-faces))) |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
632 (let ((start (extent-start-position extent)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
633 (end (extent-end-position extent))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
634 ;; Make or add to existing list of regions with the same |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
635 ;; `face' property value. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
636 (if (setq cell (assq value properties)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
637 (setcdr cell (cons start (cons end (cdr cell)))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
638 (push (list value start end) properties)))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
639 ;; Return nil to keep `map-extents' going. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
640 nil)))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
641 properties))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
642 ;; |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
643 ;; Make extents just like XEmacs' font-lock.el does. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
644 (defun fast-lock-set-face-properties (properties) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
645 "Set all `face' text properties to PROPERTIES in the current buffer. |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
646 Any existing `face' text properties are removed first. |
10243 | 647 See `fast-lock-get-face-properties' for the format of PROPERTIES." |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
648 (save-restriction |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
649 (widen) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
650 (font-lock-unfontify-region (point-min) (point-max)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
651 (while properties |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
652 (let ((face (car (car properties))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
653 (regions (cdr (car properties)))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
654 ;; Set the `face' property, etc., for each start/end region. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
655 (while regions |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
656 (font-lock-set-face (nth 0 regions) (nth 1 regions) face) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
657 (setq regions (nthcdr 2 regions))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
658 (setq properties (cdr properties)))))) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
659 ;; |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
660 ;; XEmacs 19.12 font-lock.el's `font-lock-fontify-buffer' runs a hook. |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
661 (add-hook 'font-lock-after-fontify-buffer-hook |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
662 'fast-lock-after-fontify-buffer)) |
10243 | 663 |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
664 (unless (boundp 'font-lock-inhibit-thing-lock) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
665 (defvar font-lock-inhibit-thing-lock nil |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
666 "List of Font Lock mode related modes that should not be turned on.")) |
12909
0e165bcd43a2
New version 3.07. Made fast-lock-mode use buffer-file-truename, not buffer-file-name.
Simon Marshall <simon@gnu.org>
parents:
12048
diff
changeset
|
667 |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
668 (unless (fboundp 'font-lock-compile-keywords) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
669 (defalias 'font-lock-compile-keywords 'identity)) |
10243 | 670 |
671 ;; Install ourselves: | |
672 | |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
673 (add-hook 'after-save-hook 'fast-lock-save-cache-after-save-file) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
674 (add-hook 'kill-buffer-hook 'fast-lock-save-cache-before-kill-buffer) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
675 (add-hook 'kill-emacs-hook 'fast-lock-save-caches-before-kill-emacs) |
12048
8e3d4f515bbb
New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents:
10243
diff
changeset
|
676 |
15498
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
677 ;;;###autoload |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
678 (if (fboundp 'add-minor-mode) (add-minor-mode 'fast-lock-mode nil)) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
679 ;;;###dont-autoload |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
680 (unless (assq 'fast-lock-mode minor-mode-alist) |
4cd3efec2909
Protect before- and after-change-functions when updating text properties.
Simon Marshall <simon@gnu.org>
parents:
14374
diff
changeset
|
681 (setq minor-mode-alist (append minor-mode-alist '((fast-lock-mode nil))))) |
10243 | 682 |
683 ;; Provide ourselves: | |
684 | |
685 (provide 'fast-lock) | |
686 | |
687 ;;; fast-lock.el ends here |