61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
1 ;;; fast-lock.el --- automagic text properties caching for fast Font Lock mode
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
2
|
|
74509
|
3 ;; Copyright (C) 1994, 1995, 1996, 1997, 1998, 2001, 2002, 2003, 2004,
|
|
79715
|
4 ;; 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
5
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
6 ;; Author: Simon Marshall <simon@gnu.org>
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
7 ;; Maintainer: FSF
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
8 ;; Keywords: faces files
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
9 ;; Version: 3.14
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
10
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
11 ;; This file is part of GNU Emacs.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
12
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
13 ;; GNU Emacs is free software; you can redistribute it and/or modify
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
14 ;; it under the terms of the GNU General Public License as published by
|
|
78228
|
15 ;; the Free Software Foundation; either version 3, or (at your option)
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
16 ;; any later version.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
17
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
18 ;; GNU Emacs is distributed in the hope that it will be useful,
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
21 ;; GNU General Public License for more details.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
22
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
23 ;; You should have received a copy of the GNU General Public License
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
24 ;; along with GNU Emacs; see the file COPYING. If not, write to the
|
|
64085
|
25 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
|
|
|
26 ;; Boston, MA 02110-1301, USA.
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
27
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
28 ;;; Commentary:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
29
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
30 ;; Fast Lock mode is a Font Lock support mode.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
31 ;; It makes visiting a file in Font Lock mode faster by restoring its face text
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
32 ;; properties from automatically saved associated Font Lock cache files.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
33 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
34 ;; See caveats and feedback below.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
35 ;; See also the lazy-lock package. (But don't use the two at the same time!)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
36
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
37 ;; Installation:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
38 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
39 ;; Put in your ~/.emacs:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
40 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
41 ;; (setq font-lock-support-mode 'fast-lock-mode)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
42 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
43 ;; Start up a new Emacs and use font-lock as usual (except that you can use the
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
44 ;; so-called "gaudier" fontification regexps on big files without frustration).
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
45 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
46 ;; When you visit a file (which has `font-lock-mode' enabled) that has a
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
47 ;; corresponding Font Lock cache file associated with it, the Font Lock cache
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
48 ;; will be loaded from that file instead of being generated by Font Lock code.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
49
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
50 ;; Caveats:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
51 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
52 ;; A cache will be saved when visiting a compressed file using crypt++, but not
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
53 ;; be read. This is a "feature"/"consequence"/"bug" of crypt++.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
54 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
55 ;; Version control packages are likely to stamp all over file modification
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
56 ;; times. Therefore the act of checking out may invalidate a cache.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
57
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
58 ;; History:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
59 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
60 ;; 0.02--1.00:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
61 ;; - Changed name from turbo-prop to fast-lock. Automagic for font-lock only
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
62 ;; - Made `fast-lock-mode' a minor mode, like G. Dinesh Dutt's fss-mode
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
63 ;; 1.00--1.01:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
64 ;; - Turn on `fast-lock-mode' only if `buffer-file-name' or `interactive-p'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
65 ;; - Made `fast-lock-file-name' use `buffer-name' if `buffer-file-name' is nil
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
66 ;; - Moved save-all conditions to `fast-lock-save-cache'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
67 ;; - Added `fast-lock-save-text-properties' to `kill-buffer-hook'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
68 ;; 1.01--2.00: complete rewrite---not worth the space to document
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
69 ;; - Changed structure of text properties cache and threw out file mod checks
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
70 ;; 2.00--2.01:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
71 ;; - Made `condition-case' forms understand `quit'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
72 ;; - Made `fast-lock' require `font-lock'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
73 ;; - Made `fast-lock-cache-name' chase links (from Ben Liblit)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
74 ;; 2.01--3.00:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
75 ;; - Changed structure of cache to include `font-lock-keywords' (from rms)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
76 ;; - Changed `fast-lock-cache-mechanisms' to `fast-lock-cache-directories'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
77 ;; - Removed `fast-lock-read-others'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
78 ;; - Made `fast-lock-read-cache' ignore cache owner
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
79 ;; - Made `fast-lock-save-cache-external' create cache directory
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
80 ;; - Made `fast-lock-save-cache-external' save `font-lock-keywords'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
81 ;; - Made `fast-lock-cache-data' check `font-lock-keywords'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
82 ;; 3.00--3.01: incorporated port of 2.00 to Lucid, made by Barry Warsaw
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
83 ;; - Package now provides itself
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
84 ;; - Lucid: Use `font-lock-any-extents-p' for `font-lock-any-properties-p'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
85 ;; - Lucid: Use `list-faces' for `face-list'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
86 ;; - Lucid: Added `set-text-properties'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
87 ;; - Lucid: Made `turn-on-fast-lock' pass 1 not t to `fast-lock-mode'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
88 ;; - Removed test for `fast-lock-mode' from `fast-lock-read-cache'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
89 ;; - Lucid: Added Lucid-specific `fast-lock-get-face-properties'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
90 ;; 3.01--3.02: now works with Lucid Emacs, thanks to Barry Warsaw
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
91 ;; - Made `fast-lock-cache-name' map ":" to ";" for OS/2 (from Serganova Vera)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
92 ;; - Made `fast-lock-cache-name' use abbreviated file name (from Barry Warsaw)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
93 ;; - Lucid: Separated handlers for `error' and `quit' for `condition-case'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
94 ;; 3.02--3.03:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
95 ;; - Changed `fast-lock-save-cache-external' to `fast-lock-save-cache-data'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
96 ;; - Lucid: Added Lucid-specific `fast-lock-set-face-properties'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
97 ;; 3.03--3.04:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
98 ;; - Corrected `subrp' test of Lucid code
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
99 ;; - Replaced `font-lock-any-properties-p' with `text-property-not-all'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
100 ;; - Lucid: Made `fast-lock-set-face-properties' put `text-prop' on extents
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
101 ;; - Made `fast-lock-cache-directories' a regexp alist (from Colin Rafferty)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
102 ;; - Made `fast-lock-cache-directory' to return a usable cache file directory
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
103 ;; 3.04--3.05:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
104 ;; - Lucid: Fix for XEmacs 19.11 `text-property-not-all'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
105 ;; - Replaced `subrp' test of Lucid code with `emacs-version' `string-match'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
106 ;; - Made `byte-compile-warnings' omit `unresolved' on compilation
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
107 ;; - Made `fast-lock-save-cache-data' use a buffer (from Rick Sladkey)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
108 ;; - Reverted to old `fast-lock-get-face-properties' (from Rick Sladkey)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
109 ;; 3.05--3.06: incorporated hack of 3.03, made by Jonathan Stigelman (Stig)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
110 ;; - Reverted to 3.04 version of `fast-lock-get-face-properties'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
111 ;; - XEmacs: Removed `list-faces' `defalias'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
112 ;; - Made `fast-lock-mode' and `turn-on-fast-lock' succeed `autoload' cookies
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
113 ;; - Added `fast-lock-submit-bug-report'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
114 ;; - Renamed `fast-lock-save-size' to `fast-lock-minimum-size'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
115 ;; - Made `fast-lock-save-cache' output a message if no save ever attempted
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
116 ;; - Made `fast-lock-save-cache-data' output a message if save attempted
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
117 ;; - Made `fast-lock-cache-data' output a message if load attempted
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
118 ;; - Made `fast-lock-save-cache-data' do `condition-case' not `unwind-protect'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
119 ;; - Made `fast-lock-save-cache' and `fast-lock-read-cache' return nothing
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
120 ;; - Made `fast-lock-save-cache' check `buffer-modified-p' (Stig)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
121 ;; - Added `fast-lock-save-events'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
122 ;; - Added `fast-lock-after-save-hook' to `after-save-hook' (Stig)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
123 ;; - Added `fast-lock-kill-buffer-hook' to `kill-buffer-hook'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
124 ;; - Changed `fast-lock-save-caches' to `fast-lock-kill-emacs-hook'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
125 ;; - Added `fast-lock-kill-emacs-hook' to `kill-emacs-hook'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
126 ;; - Made `fast-lock-save-cache' check `verify-visited-file-modtime' (Stig)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
127 ;; - Made `visited-file-modtime' be the basis of the timestamp (Stig)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
128 ;; - Made `fast-lock-save-cache-1' and `fast-lock-cache-data' use/reformat it
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
129 ;; - Added `fast-lock-cache-filename' to keep track of the cache file name
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
130 ;; - Added `fast-lock-after-fontify-buffer'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
131 ;; - Added `fast-lock-save-faces' list of faces to save (idea from Stig/Tibor)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
132 ;; - Made `fast-lock-get-face-properties' functions use it
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
133 ;; - XEmacs: Made `fast-lock-set-face-properties' do extents the Font Lock way
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
134 ;; - XEmacs: Removed fix for `text-property-not-all' (19.11 support dropped)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
135 ;; - Made `fast-lock-mode' ensure `font-lock-mode' is on
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
136 ;; - Made `fast-lock-save-cache' do `cdr-safe' not `cdr' (from Dave Foster)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
137 ;; - Made `fast-lock-save-cache' do `set-buffer' first (from Dave Foster)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
138 ;; - Made `fast-lock-save-cache' loop until saved or quit (from Georg Nikodym)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
139 ;; - Made `fast-lock-cache-data' check `buffer-modified-p'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
140 ;; - Made `fast-lock-cache-data' do `font-lock-compile-keywords' if necessary
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
141 ;; - XEmacs: Made `font-lock-compile-keywords' `defalias'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
142 ;; 3.06--3.07:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
143 ;; - XEmacs: Add `fast-lock-after-fontify-buffer' to the Font Lock hook
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
144 ;; - Made `fast-lock-cache-name' explain the use of `directory-abbrev-alist'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
145 ;; - Made `fast-lock-mode' use `buffer-file-truename' not `buffer-file-name'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
146 ;; 3.07--3.08:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
147 ;; - Made `fast-lock-read-cache' set `fast-lock-cache-filename'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
148 ;; 3.08--3.09:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
149 ;; - Made `fast-lock-save-cache' cope if `fast-lock-minimum-size' is an a list
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
150 ;; - Made `fast-lock-mode' respect the value of `font-lock-inhibit-thing-lock'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
151 ;; - Added `fast-lock-after-unfontify-buffer'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
152 ;; 3.09--3.10:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
153 ;; - Rewrite for Common Lisp macros
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
154 ;; - Made fast-lock.el barf on a crap 8+3 pseudo-OS (Eli Zaretskii help)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
155 ;; - XEmacs: Made `add-minor-mode' succeed `autoload' cookie
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
156 ;; - XEmacs: Made `fast-lock-save-faces' default to `font-lock-face-list'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
157 ;; - Made `fast-lock-save-cache' use `font-lock-value-in-major-mode'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
158 ;; - Wrap with `save-buffer-state' (Ray Van Tassle report)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
159 ;; - Made `fast-lock-mode' wrap `font-lock-support-mode'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
160 ;; 3.10--3.11:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
161 ;; - Made `fast-lock-get-face-properties' cope with face lists
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
162 ;; - Added `fast-lock-verbose'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
163 ;; - XEmacs: Add `font-lock-value-in-major-mode' if necessary
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
164 ;; - Removed `fast-lock-submit-bug-report' and bade farewell
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
165 ;; 3.11--3.12:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
166 ;; - Added Custom support (Hrvoje Niksic help)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
167 ;; - Made `save-buffer-state' wrap `inhibit-point-motion-hooks'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
168 ;; - Made `fast-lock-cache-data' simplify calls of `font-lock-compile-keywords'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
169 ;; 3.12--3.13:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
170 ;; - Removed `byte-*' variables from `eval-when-compile' (Erik Naggum hint)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
171 ;; - Changed structure of cache to include `font-lock-syntactic-keywords'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
172 ;; - Made `fast-lock-save-cache-1' save syntactic fontification data
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
173 ;; - Made `fast-lock-cache-data' take syntactic fontification data
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
174 ;; - Added `fast-lock-get-syntactic-properties'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
175 ;; - Renamed `fast-lock-set-face-properties' to `fast-lock-add-properties'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
176 ;; - Made `fast-lock-add-properties' add syntactic and face fontification data
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
177 ;; 3.13--3.14:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
178 ;; - Made `fast-lock-cache-name' cope with `windowsnt' (Geoff Voelker fix)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
179 ;; - Made `fast-lock-verbose' use `other' widget (Andreas Schwab fix)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
180 ;; - Used `with-temp-message' where possible to make messages temporary.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
181
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
182 ;;; Code:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
183
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
184 (require 'font-lock)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
185
|
|
86289
|
186 (declare-function msdos-long-file-names "msdos.c")
|
|
|
187
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
188 ;; Make sure fast-lock.el is supported.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
189 (if (and (eq system-type 'ms-dos) (not (msdos-long-file-names)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
190 (error "`fast-lock' was written for long file name systems"))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
191
|
|
65187
|
192 (defvar font-lock-face-list)
|
|
|
193
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
194 (eval-when-compile
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
195 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
196 ;; We don't do this at the top-level as we only use non-autoloaded macros.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
197 (require 'cl)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
198 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
199 ;; We use this to preserve or protect things when modifying text properties.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
200 (defmacro save-buffer-state (varlist &rest body)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
201 "Bind variables according to VARLIST and eval BODY restoring buffer state."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
202 `(let* (,@(append varlist
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
203 '((modified (buffer-modified-p)) (buffer-undo-list t)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
204 (inhibit-read-only t) (inhibit-point-motion-hooks t)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
205 before-change-functions after-change-functions
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
206 deactivate-mark buffer-file-name buffer-file-truename)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
207 ,@body
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
208 (when (and (not modified) (buffer-modified-p))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
209 (set-buffer-modified-p nil))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
210 (put 'save-buffer-state 'lisp-indent-function 1)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
211 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
212 ;; We use this to verify that a face should be saved.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
213 (defmacro fast-lock-save-facep (face)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
214 "Return non-nil if FACE is one of `fast-lock-save-faces'."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
215 `(or (null fast-lock-save-faces)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
216 (if (symbolp ,face)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
217 (memq ,face fast-lock-save-faces)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
218 (let ((faces ,face))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
219 (while (unless (memq (car faces) fast-lock-save-faces)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
220 (setq faces (cdr faces))))
|
|
87384
|
221 faces)))))
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
222
|
|
65305
|
223 ;;(defun fast-lock-submit-bug-report ()
|
|
|
224 ;; "Submit via mail a bug report on fast-lock.el."
|
|
|
225 ;; (interactive)
|
|
|
226 ;; (let ((reporter-prompt-for-summary-p t))
|
|
|
227 ;; (reporter-submit-bug-report "simon@gnu.org" "fast-lock 3.14"
|
|
|
228 ;; '(fast-lock-cache-directories fast-lock-minimum-size
|
|
|
229 ;; fast-lock-save-others fast-lock-save-events fast-lock-save-faces
|
|
|
230 ;; fast-lock-verbose)
|
|
|
231 ;; nil nil
|
|
|
232 ;; (concat "Hi Si.,
|
|
|
233 ;;
|
|
|
234 ;;I want to report a bug. I've read the `Bugs' section of `Info' on Emacs, so I
|
|
|
235 ;;know how to make a clear and unambiguous report. To reproduce the bug:
|
|
|
236 ;;
|
|
|
237 ;;Start a fresh editor via `" invocation-name " -no-init-file -no-site-file'.
|
|
|
238 ;;In the `*scratch*' buffer, evaluate:"))))
|
|
|
239
|
|
|
240 (defgroup fast-lock nil
|
|
|
241 "Font Lock support mode to cache fontification."
|
|
|
242 :load 'fast-lock
|
|
|
243 :group 'font-lock)
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
244
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
245 (defvar fast-lock-mode nil) ; Whether we are turned on.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
246 (defvar fast-lock-cache-timestamp nil) ; For saving/reading.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
247 (defvar fast-lock-cache-filename nil) ; For deleting.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
248
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
249 ;; User Variables:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
250
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
251 (defcustom fast-lock-minimum-size 25600
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
252 "*Minimum size of a buffer for cached fontification.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
253 Only buffers more than this can have associated Font Lock cache files saved.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
254 If nil, means cache files are never created.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
255 If a list, each element should be a cons pair of the form (MAJOR-MODE . SIZE),
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
256 where MAJOR-MODE is a symbol or t (meaning the default). For example:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
257 ((c-mode . 25600) (c++-mode . 25600) (rmail-mode . 1048576))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
258 means that the minimum size is 25K for buffers in C or C++ modes, one megabyte
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
259 for buffers in Rmail mode, and size is irrelevant otherwise."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
260 :type '(choice (const :tag "none" nil)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
261 (integer :tag "size")
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
262 (repeat :menu-tag "mode specific" :tag "mode specific"
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
263 :value ((t . nil))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
264 (cons :tag "Instance"
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
265 (radio :tag "Mode"
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
266 (const :tag "all" t)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
267 (symbol :tag "name"))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
268 (radio :tag "Size"
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
269 (const :tag "none" nil)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
270 (integer :tag "size")))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
271 :group 'fast-lock)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
272
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
273 (defcustom fast-lock-cache-directories '("." "~/.emacs-flc")
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
274 ; - `internal', keep each file's Font Lock cache file in the same file.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
275 ; - `external', keep each file's Font Lock cache file in the same directory.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
276 "*Directories in which Font Lock cache files are saved and read.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
277 Each item should be either DIR or a cons pair of the form (REGEXP . DIR) where
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
278 DIR is a directory name (relative or absolute) and REGEXP is a regexp.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
279
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
280 An attempt will be made to save or read Font Lock cache files using these items
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
281 until one succeeds (i.e., until a readable or writable one is found). If an
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
282 item contains REGEXP, DIR is used only if the buffer file name matches REGEXP.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
283 For example:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
284
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
285 (let ((home (expand-file-name (abbreviate-file-name (file-truename \"~/\")))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
286 (list (cons (concat \"^\" (regexp-quote home)) \".\") \"~/.emacs-flc\"))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
287 =>
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
288 ((\"^/your/true/home/directory/\" . \".\") \"~/.emacs-flc\")
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
289
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
290 would cause a file's current directory to be used if the file is under your
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
291 home directory hierarchy, or otherwise the absolute directory `~/.emacs-flc'."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
292 :type '(repeat (radio (directory :tag "directory")
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
293 (cons :tag "Matching"
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
294 (regexp :tag "regexp")
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
295 (directory :tag "directory"))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
296 :group 'fast-lock)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
297
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
298 (defcustom fast-lock-save-events '(kill-buffer kill-emacs)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
299 "*Events under which caches will be saved.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
300 Valid events are `save-buffer', `kill-buffer' and `kill-emacs'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
301 If concurrent editing sessions use the same associated cache file for a file's
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
302 buffer, then you should add `save-buffer' to this list."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
303 :type '(set (const :tag "buffer saving" save-buffer)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
304 (const :tag "buffer killing" kill-buffer)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
305 (const :tag "emacs killing" kill-emacs))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
306 :group 'fast-lock)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
307
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
308 (defcustom fast-lock-save-others t
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
309 "*If non-nil, save Font Lock cache files irrespective of file owner.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
310 If nil, means only buffer files known to be owned by you can have associated
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
311 Font Lock cache files saved. Ownership may be unknown for networked files."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
312 :type 'boolean
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
313 :group 'fast-lock)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
314
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
315 (defcustom fast-lock-verbose font-lock-verbose
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
316 "*If non-nil, means show status messages for cache processing.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
317 If a number, only buffers greater than this size have processing messages."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
318 :type '(choice (const :tag "never" nil)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
319 (other :tag "always" t)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
320 (integer :tag "size"))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
321 :group 'fast-lock)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
322
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
323 (defvar fast-lock-save-faces
|
|
85511
|
324 (when (featurep 'xemacs)
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
325 ;; XEmacs uses extents for everything, so we have to pick the right ones.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
326 font-lock-face-list)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
327 "Faces that will be saved in a Font Lock cache file.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
328 If nil, means information for all faces will be saved.")
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
329
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
330 ;; User Functions:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
331
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
332 ;;;###autoload
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
333 (defun fast-lock-mode (&optional arg)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
334 "Toggle Fast Lock mode.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
335 With arg, turn Fast Lock mode on if and only if arg is positive and the buffer
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
336 is associated with a file. Enable it automatically in your `~/.emacs' by:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
337
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
338 (setq font-lock-support-mode 'fast-lock-mode)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
339
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
340 If Fast Lock mode is enabled, and the current buffer does not contain any text
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
341 properties, any associated Font Lock cache is used if its timestamp matches the
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
342 buffer's file, and its `font-lock-keywords' match those that you are using.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
343
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
344 Font Lock caches may be saved:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
345 - When you save the file's buffer.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
346 - When you kill an unmodified file's buffer.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
347 - When you exit Emacs, for all unmodified or saved buffers.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
348 Depending on the value of `fast-lock-save-events'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
349 See also the commands `fast-lock-read-cache' and `fast-lock-save-cache'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
350
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
351 Use \\[font-lock-fontify-buffer] to fontify the buffer if the cache is bad.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
352
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
353 Various methods of control are provided for the Font Lock cache. In general,
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
354 see variable `fast-lock-cache-directories' and function `fast-lock-cache-name'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
355 For saving, see variables `fast-lock-minimum-size', `fast-lock-save-events',
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
356 `fast-lock-save-others' and `fast-lock-save-faces'."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
357 (interactive "P")
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
358 ;; Only turn on if we are visiting a file. We could use `buffer-file-name',
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
359 ;; but many packages temporarily wrap that to nil when doing their own thing.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
360 (set (make-local-variable 'fast-lock-mode)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
361 (and buffer-file-truename
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
362 (not (memq 'fast-lock-mode font-lock-inhibit-thing-lock))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
363 (if arg (> (prefix-numeric-value arg) 0) (not fast-lock-mode))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
364 (if (and fast-lock-mode (not font-lock-mode))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
365 ;; Turned on `fast-lock-mode' rather than `font-lock-mode'.
|
|
65317
|
366 (progn
|
|
|
367 (message "Use font-lock-support-mode rather than calling fast-lock-mode")
|
|
|
368 (sit-for 2))
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
369 ;; Let's get down to business.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
370 (set (make-local-variable 'fast-lock-cache-timestamp) nil)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
371 (set (make-local-variable 'fast-lock-cache-filename) nil)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
372 (when (and fast-lock-mode (not font-lock-fontified))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
373 (fast-lock-read-cache))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
374
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
375 (defun fast-lock-read-cache ()
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
376 "Read the Font Lock cache for the current buffer.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
377
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
378 The following criteria must be met for a Font Lock cache file to be read:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
379 - Fast Lock mode must be turned on in the buffer.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
380 - The buffer must not be modified.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
381 - The buffer's `font-lock-keywords' must match the cache's.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
382 - The buffer file's timestamp must match the cache's.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
383 - Criteria imposed by `fast-lock-cache-directories'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
384
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
385 See `fast-lock-mode'."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
386 (interactive)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
387 (let ((directories fast-lock-cache-directories)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
388 (modified (buffer-modified-p)) (inhibit-read-only t)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
389 (fontified font-lock-fontified))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
390 (set (make-local-variable 'font-lock-fontified) nil)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
391 ;; Keep trying directories until fontification is turned off.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
392 (while (and directories (not font-lock-fontified))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
393 (let ((directory (fast-lock-cache-directory (car directories) nil)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
394 (condition-case nil
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
395 (when directory
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
396 (setq fast-lock-cache-filename (fast-lock-cache-name directory))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
397 (when (file-readable-p fast-lock-cache-filename)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
398 (load fast-lock-cache-filename t t t)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
399 (error nil) (quit nil))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
400 (setq directories (cdr directories))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
401 ;; Unset `fast-lock-cache-filename', and restore `font-lock-fontified', if
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
402 ;; we don't use a cache. (Note that `fast-lock-cache-data' sets the value
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
403 ;; of `fast-lock-cache-timestamp'.)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
404 (set-buffer-modified-p modified)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
405 (unless font-lock-fontified
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
406 (setq fast-lock-cache-filename nil font-lock-fontified fontified))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
407
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
408 (defun fast-lock-save-cache (&optional buffer)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
409 "Save the Font Lock cache of BUFFER or the current buffer.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
410
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
411 The following criteria must be met for a Font Lock cache file to be saved:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
412 - Fast Lock mode must be turned on in the buffer.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
413 - The event must be one of `fast-lock-save-events'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
414 - The buffer must be at least `fast-lock-minimum-size' bytes long.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
415 - The buffer file must be owned by you, or `fast-lock-save-others' must be t.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
416 - The buffer must contain at least one `face' text property.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
417 - The buffer must not be modified.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
418 - The buffer file's timestamp must be the same as the file's on disk.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
419 - The on disk file's timestamp must be different than the buffer's cache.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
420 - Criteria imposed by `fast-lock-cache-directories'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
421
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
422 See `fast-lock-mode'."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
423 (interactive)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
424 (save-excursion
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
425 (when buffer
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
426 (set-buffer buffer))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
427 (let ((min-size (font-lock-value-in-major-mode fast-lock-minimum-size))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
428 (file-timestamp (visited-file-modtime)) (saved nil))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
429 (when (and fast-lock-mode
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
430 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
431 ;; "Only save if the buffer matches the file, the file has
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
432 ;; changed, and it was changed by the current emacs session."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
433 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
434 ;; Only save if the buffer is not modified,
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
435 ;; (i.e., so we don't save for something not on disk)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
436 (not (buffer-modified-p))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
437 ;; and the file's timestamp is the same as the buffer's,
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
438 ;; (i.e., someone else hasn't written the file in the meantime)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
439 (verify-visited-file-modtime (current-buffer))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
440 ;; and the file's timestamp is different from the cache's.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
441 ;; (i.e., a save has occurred since the cache was read)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
442 (not (equal fast-lock-cache-timestamp file-timestamp))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
443 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
444 ;; Only save if user's restrictions are satisfied.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
445 (and min-size (>= (buffer-size) min-size))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
446 (or fast-lock-save-others
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
447 (eq (user-uid) (nth 2 (file-attributes buffer-file-name))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
448 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
449 ;; Only save if there are `face' properties to save.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
450 (text-property-not-all (point-min) (point-max) 'face nil))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
451 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
452 ;; Try each directory until we manage to save or the user quits.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
453 (let ((directories fast-lock-cache-directories))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
454 (while (and directories (memq saved '(nil error)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
455 (let* ((dir (fast-lock-cache-directory (car directories) t))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
456 (file (and dir (fast-lock-cache-name dir))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
457 (when (and file (file-writable-p file))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
458 (setq saved (fast-lock-save-cache-1 file file-timestamp)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
459 (setq directories (cdr directories)))))))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
460
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
461 ;;;###autoload
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
462 (defun turn-on-fast-lock ()
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
463 "Unconditionally turn on Fast Lock mode."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
464 (fast-lock-mode t))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
465
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
466 ;;; API Functions:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
467
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
468 (defun fast-lock-after-fontify-buffer ()
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
469 ;; Delete the Font Lock cache file used to restore fontification, if any.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
470 (when fast-lock-cache-filename
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
471 (if (file-writable-p fast-lock-cache-filename)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
472 (delete-file fast-lock-cache-filename)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
473 (message "File %s font lock cache cannot be deleted" (buffer-name))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
474 ;; Flag so that a cache will be saved later even if the file is never saved.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
475 (setq fast-lock-cache-timestamp nil))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
476
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
477 (defalias 'fast-lock-after-unfontify-buffer
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
478 'ignore)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
479
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
480 ;; Miscellaneous Functions:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
481
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
482 (defun fast-lock-save-cache-after-save-file ()
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
483 ;; Do `fast-lock-save-cache' if `save-buffer' is on `fast-lock-save-events'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
484 (when (memq 'save-buffer fast-lock-save-events)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
485 (fast-lock-save-cache)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
486
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
487 (defun fast-lock-save-cache-before-kill-buffer ()
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
488 ;; Do `fast-lock-save-cache' if `kill-buffer' is on `fast-lock-save-events'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
489 (when (memq 'kill-buffer fast-lock-save-events)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
490 (fast-lock-save-cache)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
491
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
492 (defun fast-lock-save-caches-before-kill-emacs ()
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
493 ;; Do `fast-lock-save-cache's if `kill-emacs' is on `fast-lock-save-events'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
494 (when (memq 'kill-emacs fast-lock-save-events)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
495 (mapcar 'fast-lock-save-cache (buffer-list))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
496
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
497 (defun fast-lock-cache-directory (directory create)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
498 "Return usable directory based on DIRECTORY.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
499 Returns nil if the directory does not exist, or, if CREATE non-nil, cannot be
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
500 created. DIRECTORY may be a string or a cons pair of the form (REGEXP . DIR).
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
501 See `fast-lock-cache-directories'."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
502 (let ((dir
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
503 (cond ((not buffer-file-name)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
504 ;; Should never be nil, but `crypt++' screws it up.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
505 nil)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
506 ((stringp directory)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
507 ;; Just a directory.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
508 directory)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
509 (t
|
|
78488
|
510 ;; A directory if the file name matches the regexp.
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
511 (let ((bufile (expand-file-name buffer-file-truename))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
512 (case-fold-search nil))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
513 (when (save-match-data (string-match (car directory) bufile))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
514 (cdr directory)))))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
515 (cond ((not dir)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
516 nil)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
517 ((file-accessible-directory-p dir)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
518 dir)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
519 (create
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
520 (condition-case nil
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
521 (progn (make-directory dir t) dir)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
522 (error nil))))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
523
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
524 ;; If you are wondering why we only hash if the directory is not ".", rather
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
525 ;; than if `file-name-absolute-p', it is because if we just appended ".flc" for
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
526 ;; relative cache directories (that are not ".") then it is possible that more
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
527 ;; than one file would have the same cache name in that directory, if the luser
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
528 ;; made a link from one relative cache directory to another. (Phew!)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
529 (defun fast-lock-cache-name (directory)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
530 "Return full cache file name using caching DIRECTORY.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
531 If DIRECTORY is `.', the file name is the buffer file name appended with `.flc'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
532 Otherwise, the file name is constructed from DIRECTORY and the buffer's true
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
533 abbreviated file name, with all `/' characters in the name replaced with `#'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
534 characters, and appended with `.flc'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
535
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
536 If the same file has different cache file names when edited on different
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
537 machines, e.g., on one machine the cache file name has the prefix `#home',
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
538 perhaps due to automount, try putting in your `~/.emacs' something like:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
539
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
540 (setq directory-abbrev-alist (cons '(\"^/home/\" . \"/\") directory-abbrev-alist))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
541
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
542 Emacs automagically removes the common `/tmp_mnt' automount prefix by default.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
543
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
544 See `fast-lock-cache-directory'."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
545 (if (string-equal directory ".")
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
546 (concat buffer-file-name ".flc")
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
547 (let* ((bufile (expand-file-name buffer-file-truename))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
548 (chars-alist
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
549 (if (memq system-type '(emx windows-nt cygwin))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
550 '((?/ . (?#)) (?# . (?# ?#)) (?: . (?\;)) (?\; . (?\; ?\;)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
551 '((?/ . (?#)) (?# . (?# ?#)))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
552 (mapchars
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
553 (function (lambda (c) (or (cdr (assq c chars-alist)) (list c))))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
554 (concat
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
555 (file-name-as-directory (expand-file-name directory))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
556 (mapconcat 'char-to-string (apply 'append (mapcar mapchars bufile)) "")
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
557 ".flc"))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
558
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
559 ;; Font Lock Cache Processing Functions:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
560
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
561 ;; The version 3 format of the cache is:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
562 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
563 ;; (fast-lock-cache-data VERSION TIMESTAMP
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
564 ;; font-lock-syntactic-keywords SYNTACTIC-PROPERTIES
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
565 ;; font-lock-keywords FACE-PROPERTIES)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
566
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
567 (defun fast-lock-save-cache-1 (file timestamp)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
568 ;; Save the FILE with the TIMESTAMP plus fontification data.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
569 ;; Returns non-nil if a save was attempted to a writable cache file.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
570 (let ((tpbuf (generate-new-buffer " *fast-lock*"))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
571 (verbose (if (numberp fast-lock-verbose)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
572 (> (buffer-size) fast-lock-verbose)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
573 fast-lock-verbose))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
574 (saved t))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
575 (with-temp-message
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
576 (when verbose
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
577 (format "Saving %s font lock cache..." (buffer-name)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
578 (condition-case nil
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
579 (save-excursion
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
580 (print (list 'fast-lock-cache-data 3
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
581 (list 'quote timestamp)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
582 (list 'quote font-lock-syntactic-keywords)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
583 (list 'quote (fast-lock-get-syntactic-properties))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
584 (list 'quote font-lock-keywords)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
585 (list 'quote (fast-lock-get-face-properties)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
586 tpbuf)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
587 (set-buffer tpbuf)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
588 (write-region (point-min) (point-max) file nil 'quietly)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
589 (setq fast-lock-cache-timestamp timestamp
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
590 fast-lock-cache-filename file))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
591 (error (setq saved 'error)) (quit (setq saved 'quit)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
592 (kill-buffer tpbuf))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
593 (cond ((eq saved 'quit)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
594 (message "Saving %s font lock cache...quit" (buffer-name)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
595 ((eq saved 'error)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
596 (message "Saving %s font lock cache...failed" (buffer-name))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
597 ;; We return non-nil regardless of whether a failure occurred.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
598 saved))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
599
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
600 (defun fast-lock-cache-data (version timestamp
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
601 syntactic-keywords syntactic-properties
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
602 keywords face-properties
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
603 &rest ignored)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
604 ;; Find value of syntactic keywords in case it is a symbol.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
605 (setq font-lock-syntactic-keywords (font-lock-eval-keywords
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
606 font-lock-syntactic-keywords))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
607 ;; Compile all keywords in case some are and some aren't.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
608 (when font-lock-syntactic-keywords
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
609 (setq font-lock-syntactic-keywords (font-lock-compile-keywords
|
72934
b193d9616957
(fast-lock-cache-data): Provide 2nd arg to font-lock-compile-keywords.
Richard M. Stallman <rms@gnu.org>
diff
changeset
|
610 font-lock-syntactic-keywords t)))
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
611 (when syntactic-keywords
|
72934
b193d9616957
(fast-lock-cache-data): Provide 2nd arg to font-lock-compile-keywords.
Richard M. Stallman <rms@gnu.org>
diff
changeset
|
612 (setq syntactic-keywords (font-lock-compile-keywords syntactic-keywords t)))
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
613 (setq font-lock-keywords (font-lock-compile-keywords font-lock-keywords)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
614 keywords (font-lock-compile-keywords keywords))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
615 ;; Use the Font Lock cache SYNTACTIC-PROPERTIES and FACE-PROPERTIES if we're
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
616 ;; using cache VERSION format 3, the current buffer's file timestamp matches
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
617 ;; the TIMESTAMP, the current buffer's `font-lock-syntactic-keywords' are the
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
618 ;; same as SYNTACTIC-KEYWORDS, and the current buffer's `font-lock-keywords'
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
619 ;; are the same as KEYWORDS.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
620 (let ((buf-timestamp (visited-file-modtime))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
621 (verbose (if (numberp fast-lock-verbose)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
622 (> (buffer-size) fast-lock-verbose)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
623 fast-lock-verbose))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
624 (loaded t))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
625 (if (or (/= version 3)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
626 (buffer-modified-p)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
627 (not (equal timestamp buf-timestamp))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
628 (not (equal syntactic-keywords font-lock-syntactic-keywords))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
629 (not (equal keywords font-lock-keywords)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
630 (setq loaded nil)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
631 (with-temp-message
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
632 (when verbose
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
633 (format "Loading %s font lock cache..." (buffer-name)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
634 (condition-case nil
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
635 (fast-lock-add-properties syntactic-properties face-properties)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
636 (error (setq loaded 'error)) (quit (setq loaded 'quit))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
637 (cond ((eq loaded 'quit)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
638 (message "Loading %s font lock cache...quit" (buffer-name)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
639 ((eq loaded 'error)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
640 (message "Loading %s font lock cache...failed" (buffer-name)))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
641 (setq font-lock-fontified (eq loaded t)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
642 fast-lock-cache-timestamp (and (eq loaded t) timestamp))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
643
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
644 ;; Text Properties Processing Functions:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
645
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
646 ;; This is fast, but fails if adjacent characters have different `face' text
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
647 ;; properties. Maybe that's why I dropped it in the first place?
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
648 ;(defun fast-lock-get-face-properties ()
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
649 ; "Return a list of `face' text properties in the current buffer.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
650 ;Each element of the list is of the form (VALUE START1 END1 START2 END2 ...)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
651 ;where VALUE is a `face' property value and STARTx and ENDx are positions."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
652 ; (save-restriction
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
653 ; (widen)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
654 ; (let ((start (text-property-not-all (point-min) (point-max) 'face nil))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
655 ; (limit (point-max)) end properties value cell)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
656 ; (while start
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
657 ; (setq end (next-single-property-change start 'face nil limit)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
658 ; value (get-text-property start 'face))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
659 ; ;; Make, or add to existing, list of regions with same `face'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
660 ; (if (setq cell (assq value properties))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
661 ; (setcdr cell (cons start (cons end (cdr cell))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
662 ; (setq properties (cons (list value start end) properties)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
663 ; (setq start (next-single-property-change end 'face)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
664 ; properties)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
665
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
666 ;; This is slow, but copes if adjacent characters have different `face' text
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
667 ;; properties, but fails if they are lists.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
668 ;(defun fast-lock-get-face-properties ()
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
669 ; "Return a list of `face' text properties in the current buffer.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
670 ;Each element of the list is of the form (VALUE START1 END1 START2 END2 ...)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
671 ;where VALUE is a `face' property value and STARTx and ENDx are positions.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
672 ;Only those `face' VALUEs in `fast-lock-save-faces' are returned."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
673 ; (save-restriction
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
674 ; (widen)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
675 ; (let ((faces (or fast-lock-save-faces (face-list))) (limit (point-max))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
676 ; properties regions face start end)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
677 ; (while faces
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
678 ; (setq face (car faces) faces (cdr faces) regions () end (point-min))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
679 ; ;; Make a list of start/end regions with `face' property face.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
680 ; (while (setq start (text-property-any end limit 'face face))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
681 ; (setq end (or (text-property-not-all start limit 'face face) limit)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
682 ; regions (cons start (cons end regions))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
683 ; ;; Add `face' face's regions, if any, to properties.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
684 ; (when regions
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
685 ; (push (cons face regions) properties)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
686 ; properties)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
687
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
688 (defun fast-lock-get-face-properties ()
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
689 "Return a list of `face' text properties in the current buffer.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
690 Each element of the list is of the form (VALUE START1 END1 START2 END2 ...)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
691 where VALUE is a `face' property value and STARTx and ENDx are positions."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
692 (save-restriction
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
693 (widen)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
694 (let ((start (text-property-not-all (point-min) (point-max) 'face nil))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
695 end properties value cell)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
696 (while start
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
697 (setq end (next-single-property-change start 'face nil (point-max))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
698 value (get-text-property start 'face))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
699 ;; Make, or add to existing, list of regions with same `face'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
700 (cond ((setq cell (assoc value properties))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
701 (setcdr cell (cons start (cons end (cdr cell)))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
702 ((fast-lock-save-facep value)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
703 (push (list value start end) properties)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
704 (setq start (text-property-not-all end (point-max) 'face nil)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
705 properties)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
706
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
707 (defun fast-lock-get-syntactic-properties ()
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
708 "Return a list of `syntax-table' text properties in the current buffer.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
709 See `fast-lock-get-face-properties'."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
710 (save-restriction
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
711 (widen)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
712 (let ((start (text-property-not-all (point-min) (point-max) 'syntax-table
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
713 nil))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
714 end properties value cell)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
715 (while start
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
716 (setq end (next-single-property-change start 'syntax-table nil
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
717 (point-max))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
718 value (get-text-property start 'syntax-table))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
719 ;; Make, or add to existing, list of regions with same `syntax-table'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
720 (if (setq cell (assoc value properties))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
721 (setcdr cell (cons start (cons end (cdr cell))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
722 (push (list value start end) properties))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
723 (setq start (text-property-not-all end (point-max) 'syntax-table nil)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
724 properties)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
725
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
726 (defun fast-lock-add-properties (syntactic-properties face-properties)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
727 "Add `syntax-table' and `face' text properties to the current buffer.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
728 Any existing `syntax-table' and `face' text properties are removed first.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
729 See `fast-lock-get-face-properties'."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
730 (save-buffer-state (plist regions)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
731 (save-restriction
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
732 (widen)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
733 (font-lock-unfontify-region (point-min) (point-max))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
734 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
735 ;; Set the `syntax-table' property for each start/end region.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
736 (while syntactic-properties
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
737 (setq plist (list 'syntax-table (car (car syntactic-properties)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
738 regions (cdr (car syntactic-properties))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
739 syntactic-properties (cdr syntactic-properties))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
740 (while regions
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
741 (add-text-properties (nth 0 regions) (nth 1 regions) plist)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
742 (setq regions (nthcdr 2 regions))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
743 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
744 ;; Set the `face' property for each start/end region.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
745 (while face-properties
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
746 (setq plist (list 'face (car (car face-properties)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
747 regions (cdr (car face-properties))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
748 face-properties (cdr face-properties))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
749 (while regions
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
750 (add-text-properties (nth 0 regions) (nth 1 regions) plist)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
751 (setq regions (nthcdr 2 regions)))))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
752
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
753 ;; Functions for XEmacs:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
754
|
85503
59ee4068f60b
* progmodes/gud.el (gud-target-name): Move definition before use.
Dan Nicolaescu <dann@ics.uci.edu>
diff
changeset
|
755 (when (featurep 'xemacs)
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
756 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
757 ;; It would be better to use XEmacs' `map-extents' over extents with a
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
758 ;; `font-lock' property, but `face' properties are on different extents.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
759 (defun fast-lock-get-face-properties ()
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
760 "Return a list of `face' text properties in the current buffer.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
761 Each element of the list is of the form (VALUE START1 END1 START2 END2 ...)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
762 where VALUE is a `face' property value and STARTx and ENDx are positions.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
763 Only those `face' VALUEs in `fast-lock-save-faces' are returned."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
764 (save-restriction
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
765 (widen)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
766 (let ((properties ()) cell)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
767 (map-extents
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
768 (function (lambda (extent ignore)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
769 (let ((value (extent-face extent)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
770 ;; We're only interested if it's one of `fast-lock-save-faces'.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
771 (when (and value (fast-lock-save-facep value))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
772 (let ((start (extent-start-position extent))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
773 (end (extent-end-position extent)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
774 ;; Make or add to existing list of regions with the same
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
775 ;; `face' property value.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
776 (if (setq cell (assoc value properties))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
777 (setcdr cell (cons start (cons end (cdr cell))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
778 (push (list value start end) properties))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
779 ;; Return nil to keep `map-extents' going.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
780 nil))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
781 properties)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
782 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
783 ;; XEmacs does not support the `syntax-table' text property.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
784 (defalias 'fast-lock-get-syntactic-properties
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
785 'ignore)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
786 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
787 ;; Make extents just like XEmacs' font-lock.el does.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
788 (defun fast-lock-add-properties (syntactic-properties face-properties)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
789 "Set `face' text properties in the current buffer.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
790 Any existing `face' text properties are removed first.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
791 See `fast-lock-get-face-properties'."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
792 (save-restriction
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
793 (widen)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
794 (font-lock-unfontify-region (point-min) (point-max))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
795 ;; Set the `face' property, etc., for each start/end region.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
796 (while face-properties
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
797 (let ((face (car (car face-properties)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
798 (regions (cdr (car face-properties))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
799 (while regions
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
800 (font-lock-set-face (nth 0 regions) (nth 1 regions) face)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
801 (setq regions (nthcdr 2 regions)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
802 (setq face-properties (cdr face-properties))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
803 ;; XEmacs does not support the `syntax-table' text property.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
804 ))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
805 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
806 ;; XEmacs 19.12 font-lock.el's `font-lock-fontify-buffer' runs a hook.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
807 (add-hook 'font-lock-after-fontify-buffer-hook
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
808 'fast-lock-after-fontify-buffer))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
809
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
810 (unless (boundp 'font-lock-syntactic-keywords)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
811 (defvar font-lock-syntactic-keywords nil))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
812
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
813 (unless (boundp 'font-lock-inhibit-thing-lock)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
814 (defvar font-lock-inhibit-thing-lock nil))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
815
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
816 (unless (fboundp 'font-lock-compile-keywords)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
817 (defalias 'font-lock-compile-keywords 'identity))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
818
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
819 (unless (fboundp 'font-lock-eval-keywords)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
820 (defun font-lock-eval-keywords (keywords)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
821 (if (symbolp keywords)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
822 (font-lock-eval-keywords (if (fboundp keywords)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
823 (funcall keywords)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
824 (eval keywords)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
825 keywords)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
826
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
827 (unless (fboundp 'font-lock-value-in-major-mode)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
828 (defun font-lock-value-in-major-mode (alist)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
829 (if (consp alist)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
830 (cdr (or (assq major-mode alist) (assq t alist)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
831 alist)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
832
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
833 (unless (fboundp 'current-message)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
834 (defun current-message ()
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
835 ""))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
836
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
837 ;; Install ourselves:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
838
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
839 (add-hook 'after-save-hook 'fast-lock-save-cache-after-save-file)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
840 (add-hook 'kill-buffer-hook 'fast-lock-save-cache-before-kill-buffer)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
841 (add-hook 'kill-emacs-hook 'fast-lock-save-caches-before-kill-emacs)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
842
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
843 ;;;###autoload
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
844 (when (fboundp 'add-minor-mode)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
845 (defvar fast-lock-mode nil)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
846 (add-minor-mode 'fast-lock-mode nil))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
847 ;;;###dont-autoload
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
848 (unless (assq 'fast-lock-mode minor-mode-alist)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
849 (setq minor-mode-alist (append minor-mode-alist '((fast-lock-mode nil)))))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
850
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
851 ;; Provide ourselves:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
852
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
853 (provide 'fast-lock)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
854
|
|
65305
|
855 ;; arch-tag: 638c431e-8cae-4538-80a1-963ff97d233e
|
61351
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
856 ;;; fast-lock.el ends here
|
