annotate lisp/fast-lock.el @ 12841:639f9d12f0f8

(store_frame_param): Don't call set_menu_bar_lines if X.
author Richard M. Stallman <rms@gnu.org>
date Sat, 12 Aug 1995 23:26:21 +0000
parents 8e3d4f515bbb
children 0e165bcd43a2
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
1 ;;; fast-lock.el --- Automagic text properties caching for fast Font Lock mode.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
3 ;; Copyright (C) 1994, 1995 Free Software Foundation, Inc.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
5 ;; Author: Simon Marshall <simon@gnu.ai.mit.edu>
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 ;; Keywords: faces files
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
7 ;; Version: 3.06
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 ;;; This file is part of GNU Emacs.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 ;; GNU Emacs is free software; you can redistribute it and/or modify
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; it under the terms of the GNU General Public License as published by
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; the Free Software Foundation; either version 2, or (at your option)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; any later version.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; GNU Emacs is distributed in the hope that it will be useful,
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; GNU General Public License for more details.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 ;; You should have received a copy of the GNU General Public License
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 ;; along with GNU Emacs; see the file COPYING. If not, write to
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 ;;; Commentary:
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 ;; Purpose:
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 ;;
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 ;; To make visiting a file in `font-lock-mode' faster by restoring its face
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
30 ;; text properties from automatically saved associated Font Lock cache files.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 ;;
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
32 ;; See caveats and feedback below.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 ;; See also the lazy-lock package. (But don't use the two at the same time!)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 ;; Installation:
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 ;;
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
37 ;; Put in your ~/.emacs:
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 ;;
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 ;; (add-hook 'font-lock-mode-hook 'turn-on-fast-lock)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 ;;
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 ;; Start up a new Emacs and use font-lock as usual (except that you can use the
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 ;; so-called "gaudier" fontification regexps on big files without frustration).
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 ;;
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 ;; When you visit a file (which has `font-lock-mode' enabled) that has a
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
45 ;; corresponding Font Lock cache file associated with it, the Font Lock cache
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
46 ;; will be loaded from that file instead of being generated by Font Lock code.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
47
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
48 ;; Caveats:
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 ;;
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
50 ;; A cache will be saved when visiting a compressed file using crypt++, but not
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
51 ;; be read. This is a "feature"/"consequence"/"bug" of crypt++.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 ;;
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
53 ;; Version control packages are likely to stamp all over file modification
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
54 ;; times. Therefore the act of checking out may invalidate a cache.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 ;; Feedback:
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 ;;
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
58 ;; Feedback is welcome.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
59 ;; To submit a bug report (or make comments) please use the mechanism provided:
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
60 ;;
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
61 ;; M-x fast-lock-submit-bug-report RET
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 (require 'font-lock)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 (eval-when-compile
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 ;; Shut Emacs' byte-compiler up (cf. stop me getting mail from users).
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 (setq byte-compile-warnings '(free-vars callargs redefine)))
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
69 (defun fast-lock-submit-bug-report ()
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
70 "Submit via mail a bug report on fast-lock.el."
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
71 (interactive)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
72 (let ((reporter-prompt-for-summary-p t))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
73 (reporter-submit-bug-report "simon@gnu.ai.mit.edu" "fast-lock 3.06"
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
74 '(fast-lock-cache-directories fast-lock-minimum-size
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
75 fast-lock-save-others fast-lock-save-events fast-lock-save-faces)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
76 nil nil
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
77 (concat "Hi Si.,
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
78
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
79 I want to report a bug. I've read the `Bugs' section of `Info' on Emacs, so I
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
80 know how to make a clear and unambiguous report. To reproduce the bug:
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
81
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
82 Start a fresh Emacs via `" invocation-name " -no-init-file -no-site-file'.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
83 In the `*scratch*' buffer, evaluate:"))))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
84
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
85 ;;;###autoload
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
86 (defvar fast-lock-mode nil) ; for modeline
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
87 (defvar fast-lock-cache-timestamp nil) ; for saving/reading
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
88 (defvar fast-lock-cache-filename nil) ; for deleting
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
89
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
90 ;; User Variables:
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 (defvar fast-lock-cache-directories '("." "~/.emacs-flc")
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
93 ; - `internal', keep each file's Font Lock cache file in the same file.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
94 ; - `external', keep each file's Font Lock cache file in the same directory.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
95 "Directories in which Font Lock cache files are saved and read.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 Each item should be either DIR or a cons pair of the form (REGEXP . DIR) where
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 DIR is a directory name (relative or absolute) and REGEXP is a regexp.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
99 An attempt will be made to save or read Font Lock cache files using these items
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 until one succeeds (i.e., until a readable or writable one is found). If an
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 item contains REGEXP, DIR is used only if the buffer file name matches REGEXP.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 For example:
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 (list (cons (concat \"^\" (regexp-quote (expand-file-name \"~\"))) \".\")
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 \"~/.emacs-flc\")
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 would cause a file's current directory to be used if the file is under your
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
108 home directory hierarchy, or otherwise the absolute directory `~/.emacs-flc'.")
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
110 (defvar fast-lock-minimum-size (* 25 1024)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
111 "If non-nil, the minimum size for buffers.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
112 Only buffers more than this can have associated Font Lock cache files saved.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
113 If nil, means size is irrelevant.")
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
114
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
115 (defvar fast-lock-save-events '(kill-buffer kill-emacs)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
116 "A list of events under which caches will be saved.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
117 Valid events are `save-buffer', `kill-buffer' and `kill-emacs'.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
118 If concurrent editing sessions use the same associated cache file for a file's
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
119 buffer, then you should add `save-buffer' to this list.")
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 (defvar fast-lock-save-others t
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
122 "If non-nil, save Font Lock cache files irrespective of file owner.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
123 If nil, means only buffer files known to be owned by you can have associated
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
124 Font Lock cache files saved. Ownership may be unknown for networked files.")
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
126 (defvar fast-lock-save-faces
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
127 ;; Since XEmacs uses extents for everything, we have to pick the right ones.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
128 ;; In XEmacs 19.12 we can't identify which text properties are font-lock's.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
129 (if (save-match-data (string-match "XEmacs" (emacs-version)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
130 '(font-lock-string-face font-lock-doc-string-face font-lock-type-face
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
131 font-lock-function-name-face font-lock-comment-face
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
132 font-lock-keyword-face)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
133 ;; For Emacs 19.29 I don't think this is generally necessary.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
134 ;(mapcar 'eval (mapcar 'car font-lock-face-attributes))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
135 )
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
136 "A list of faces that will be saved in a Font Lock cache file.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
137 If nil, means information for all faces will be saved.")
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
139 ;; User Functions:
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
141 ;;;###autoload
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 (defun fast-lock-mode (&optional arg)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 "Toggle Fast Lock mode.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 With arg, turn Fast Lock mode on if and only if arg is positive and the buffer
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
145 is associated with a file. Enable it automatically in your `~/.emacs' by:
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
146
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
147 (add-hook 'font-lock-mode-hook 'turn-on-fast-lock)
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 If Fast Lock mode is enabled, and the current buffer does not contain any text
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
150 properties, any associated Font Lock cache is used if its timestamp matches the
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
151 buffer's file, and its `font-lock-keywords' match those that you are using.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
153 Font Lock caches may be saved:
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
154 - When you save the file's buffer.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
155 - When you kill an unmodified file's buffer.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
156 - When you exit Emacs, for all unmodified or saved buffers.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
157 Depending on the value of `fast-lock-save-events'.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
158 See also the commands `fast-lock-read-cache' and `fast-lock-save-cache'.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
160 Use \\[font-lock-fontify-buffer] to fontify the buffer if the cache is bad.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
161
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
162 Various methods of control are provided for the Font Lock cache. In general,
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 see variable `fast-lock-cache-directories' and function `fast-lock-cache-name'.
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
164 For saving, see variables `fast-lock-minimum-size', `fast-lock-save-events',
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
165 `fast-lock-save-others' and `fast-lock-save-faces'.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
166
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
167 Use \\[fast-lock-submit-bug-report] to send bug reports or feedback."
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 (interactive "P")
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 (set (make-local-variable 'fast-lock-mode)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 (and (buffer-file-name)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 (if arg (> (prefix-numeric-value arg) 0) (not fast-lock-mode))))
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
172 (if (and fast-lock-mode (not font-lock-mode))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
173 ;; Turned on `fast-lock-mode' rather than using `font-lock-mode-hook'.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
174 (progn
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
175 (add-hook 'font-lock-mode-hook 'turn-on-fast-lock)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
176 (font-lock-mode 1))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
177 ;; Let's get down to business.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
178 (set (make-local-variable 'fast-lock-cache-timestamp) nil)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
179 (set (make-local-variable 'fast-lock-cache-filename) nil)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
180 (if (and fast-lock-mode (not font-lock-fontified))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
181 (fast-lock-read-cache))))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 (defun fast-lock-read-cache ()
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
184 "Read the Font Lock cache for the current buffer.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
186 The following criteria must be met for a Font Lock cache file to be read:
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 - Fast Lock mode must be turned on in the buffer.
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
188 - The buffer must not be modified.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 - The buffer's `font-lock-keywords' must match the cache's.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 - The buffer file's timestamp must match the cache's.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 - Criteria imposed by `fast-lock-cache-directories'.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
193 See `fast-lock-mode'."
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194 (interactive)
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
195 (let ((directories fast-lock-cache-directories)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
196 (modified (buffer-modified-p)) (inhibit-read-only t)
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 (fontified font-lock-fontified))
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
198 (setq fast-lock-cache-filename nil)
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 (set (make-local-variable 'font-lock-fontified) nil)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200 ;; Keep trying directories until fontification is turned off.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 (while (and directories (not font-lock-fontified))
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
202 (let* ((directory (fast-lock-cache-directory (car directories) nil))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
203 (file (and directory (fast-lock-cache-name directory))))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
204 (condition-case nil
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
205 (and file (file-readable-p file) (load file t t t))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
206 (error nil) (quit nil))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
207 (setq directories (cdr directories))))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 (set-buffer-modified-p modified)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 (or font-lock-fontified (setq font-lock-fontified fontified))))
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 (defun fast-lock-save-cache (&optional buffer)
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
212 "Save the Font Lock cache of BUFFER or the current buffer.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
214 The following criteria must be met for a Font Lock cache file to be saved:
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 - Fast Lock mode must be turned on in the buffer.
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
216 - The event must be one of `fast-lock-save-events'.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
217 - The buffer must be at least `fast-lock-minimum-size' bytes long.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 - The buffer file must be owned by you, or `fast-lock-save-others' must be t.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 - The buffer must contain at least one `face' text property.
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
220 - The buffer must not be modified.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
221 - The buffer file's timestamp must be the same as the file's on disk.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
222 - The on disk file's timestamp must be different than the buffer's cache.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 - Criteria imposed by `fast-lock-cache-directories'.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
225 See `fast-lock-mode'."
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 (interactive)
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
227 (save-excursion
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
228 (and buffer (set-buffer buffer))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
229 (let ((file-timestamp (visited-file-modtime)) (saved nil))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 (if (and fast-lock-mode
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
231 ;;
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
232 ;; "Only save if the buffer matches the file, the file has
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
233 ;; changed, and it was changed by the current emacs session."
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
234 ;;
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
235 ;; Only save if the buffer is not modified,
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
236 ;; (i.e., so we don't save for something not on disk)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
237 (not (buffer-modified-p))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
238 ;; and the file's timestamp is the same as the buffer's,
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
239 ;; (i.e., someone else hasn't written the file in the meantime)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
240 (verify-visited-file-modtime (current-buffer))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
241 ;; and the file's timestamp is different from the cache's.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
242 ;; (i.e., a save has occurred since the cache was read)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
243 (not (equal fast-lock-cache-timestamp file-timestamp))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
244 ;;
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
245 ;; Only save if user's restrictions are satisfied.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
246 (or (not fast-lock-minimum-size)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
247 (<= fast-lock-minimum-size (buffer-size)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
248 (or fast-lock-save-others
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
249 (eq (user-uid) (nth 2 (file-attributes buffer-file-name))))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
250 ;;
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
251 ;; Only save if there are `face' properties to save.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 (text-property-not-all (point-min) (point-max) 'face nil))
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
253 ;; Try each directory until we manage to save or the user quits.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
254 (let ((directories fast-lock-cache-directories))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
255 (while (and directories (memq saved '(nil error)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
256 (let* ((dir (fast-lock-cache-directory (car directories) t))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
257 (file (and dir (fast-lock-cache-name dir))))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
258 (if (and file (file-writable-p file))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
259 (setq saved (fast-lock-save-cache-1 file file-timestamp)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
260 (setq directories (cdr directories)))))))))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
262 ;;;###autoload
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 (defun turn-on-fast-lock ()
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 "Unconditionally turn on Fast Lock mode."
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265 (fast-lock-mode 1))
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
266
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
267 ;;; API Functions:
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
268
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
269 (defun fast-lock-after-fontify-buffer ()
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
270 ;; Delete the Font Lock cache file used to restore fontification, if any.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
271 (if fast-lock-cache-filename
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
272 (if (file-writable-p fast-lock-cache-filename)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
273 (delete-file fast-lock-cache-filename)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
274 (message "File %s font lock cache cannot be deleted" (buffer-name))))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
275 ;; Flag so that a cache will be saved later even if the file is never saved.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
276 (setq fast-lock-cache-timestamp nil))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
277
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
278 ;; Miscellaneous Functions:
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
279
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
280 (defun fast-lock-after-save-hook ()
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
281 ;; Do `fast-lock-save-cache' if `save-buffer' is on `fast-lock-save-events'.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
282 (if (memq 'save-buffer fast-lock-save-events)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
283 (fast-lock-save-cache)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
284
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
285 (defun fast-lock-kill-buffer-hook ()
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
286 ;; Do `fast-lock-save-cache' if `kill-buffer' is on `fast-lock-save-events'.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
287 (if (memq 'kill-buffer fast-lock-save-events)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
288 (fast-lock-save-cache)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
289
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
290 (defun fast-lock-kill-emacs-hook ()
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
291 ;; Do `fast-lock-save-cache's if `kill-emacs' is on `fast-lock-save-events'.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
292 (if (memq 'kill-emacs fast-lock-save-events)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
293 (mapcar 'fast-lock-save-cache (buffer-list))))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295 (defun fast-lock-cache-directory (directory create)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 "Return usable directory based on DIRECTORY.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 Returns nil if the directory does not exist, or, if CREATE non-nil, cannot be
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 created. DIRECTORY may be a string or a cons pair of the form (REGEXP . DIR).
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299 See `fast-lock-cache-directories'."
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
300 (let ((dir
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
301 (cond ((not buffer-file-name)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
302 ;; Should never be nil, but `crypt++' screws it up.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
303 nil)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
304 ((stringp directory)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
305 ;; Just a directory.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
306 directory)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
307 (t
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
308 ;; A directory iff the file name matches the regexp.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
309 (let ((bufile (expand-file-name buffer-file-truename))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
310 (case-fold-search nil))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
311 (if (save-match-data (string-match (car directory) bufile))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
312 (cdr directory)))))))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
313 (cond ((not dir)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
314 nil)
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
315 ((file-accessible-directory-p dir)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
316 dir)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
317 (create
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
318 (condition-case nil
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
319 (progn (make-directory dir t) dir)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
320 (error nil))))))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
321
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
322 (defun fast-lock-cache-name (directory)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
323 "Return full cache path name using caching DIRECTORY.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
324 If DIRECTORY is `.', the path is the buffer file name appended with `.flc'.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
325 Otherwise, the path name is constructed from DIRECTORY and the buffer's true
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
326 abbreviated file name, with all `/' characters in the name replaced with `#'
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
327 characters, and appended with `.flc'.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
328
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
329 See `fast-lock-mode'."
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
330 (if (string-equal directory ".")
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
331 (concat buffer-file-name ".flc")
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
332 (let* ((bufile (expand-file-name buffer-file-truename))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
333 (chars-alist
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
334 (if (eq system-type 'emx)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
335 '((?/ . (?#)) (?# . (?# ?#)) (?: . (?\;)) (?\; . (?\; ?\;)))
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
336 '((?/ . (?#)) (?# . (?# ?#)))))
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
337 (mapchars
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
338 (function (lambda (c) (or (cdr (assq c chars-alist)) (list c))))))
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
339 (concat
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
340 (file-name-as-directory (expand-file-name directory))
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
341 (mapconcat 'char-to-string (apply 'append (mapcar mapchars bufile)) "")
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
342 ".flc"))))
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
343
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
344 ;; Font Lock Cache Processing Functions:
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
345
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
346 (defun fast-lock-save-cache-1 (file timestamp)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
347 ;; Save the FILE with the TIMESTAMP as:
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
348 ;; (fast-lock-cache-data Version=2 TIMESTAMP font-lock-keywords PROPERTIES).
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
349 ;; Returns non-nil if a save was attempted to a writable cache file.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
350 (let ((tpbuf (generate-new-buffer " *fast-lock*"))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
351 (buname (buffer-name)) (saved t))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
352 (message "Saving %s font lock cache..." buname)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
353 (condition-case nil
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
354 (save-excursion
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
355 (print (list 'fast-lock-cache-data 2
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
356 (list 'quote timestamp)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
357 (list 'quote font-lock-keywords)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
358 (list 'quote (fast-lock-get-face-properties)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
359 tpbuf)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
360 (set-buffer tpbuf)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
361 (write-region (point-min) (point-max) file nil 'quietly)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
362 (setq fast-lock-cache-timestamp timestamp
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
363 fast-lock-cache-filename file))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
364 (error (setq saved 'error)) (quit (setq saved 'quit)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
365 (kill-buffer tpbuf)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
366 (message "Saving %s font lock cache... %s." buname
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
367 (cond ((eq saved 'error) "failed")
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
368 ((eq saved 'quit) "aborted")
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
369 (t "done")))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
370 ;; We return non-nil regardless of whether a failure occurred.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
371 saved))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
372
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
373 (defun fast-lock-cache-data (version timestamp keywords properties
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
374 &rest ignored)
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
375 ;; Change from (HIGH LOW) for back compatibility. Remove for version 3!
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
376 (if (consp (cdr-safe timestamp)) (setcdr timestamp (nth 1 timestamp)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
377 ;; Compile KEYWORDS and `font-lock-keywords' in case one is and one isn't.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
378 (let ((current font-lock-keywords))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
379 (setq keywords (font-lock-compile-keywords keywords)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
380 font-lock-keywords (font-lock-compile-keywords current)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
381 ;; Use the Font Lock cache PROPERTIES if we're using cache VERSION format 2,
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
382 ;; the current buffer's file timestamp matches the TIMESTAMP, and the current
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
383 ;; buffer's font-lock-keywords are the same as KEYWORDS.
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
384 (let ((buf-timestamp (visited-file-modtime))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
385 (buname (buffer-name)) (loaded t))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
386 (if (or (/= version 2)
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
387 (buffer-modified-p)
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
388 (not (equal timestamp buf-timestamp))
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
389 (not (equal keywords font-lock-keywords)))
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
390 (setq loaded nil)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
391 (message "Loading %s font lock cache..." buname)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
392 (condition-case nil
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
393 (fast-lock-set-face-properties properties)
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
394 (error (setq loaded 'error)) (quit (setq loaded 'quit)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
395 (message "Loading %s font lock cache... %s." buname
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
396 (cond ((eq loaded 'error) "failed")
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
397 ((eq loaded 'quit) "aborted")
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
398 (t "done"))))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
399 ;; If we used the text properties, stop fontification and keep timestamp.
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
400 ;; Kludge warning: `file' comes from sole caller `fast-lock-read-cache'.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
401 (setq font-lock-fontified (eq loaded t)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
402 fast-lock-cache-timestamp (and (eq loaded t) timestamp)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
403 fast-lock-cache-filename (and (eq loaded t) file))))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
404
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
405 ;; Text Properties Processing Functions:
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
406
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
407 ;; This is faster, but fails if adjacent characters have different `face' text
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
408 ;; properties. Maybe that's why I dropped it in the first place?
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
409 ;(defun fast-lock-get-face-properties ()
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
410 ; "Return a list of all `face' text properties in the current buffer.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
411 ;Each element of the list is of the form (VALUE START1 END1 START2 END2 ...)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
412 ;where VALUE is a `face' property value and STARTx and ENDx are positions."
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
413 ; (save-restriction
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
414 ; (widen)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
415 ; (let ((start (text-property-not-all (point-min) (point-max) 'face nil))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
416 ; (limit (point-max)) end properties value cell)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
417 ; (while start
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
418 ; (setq end (next-single-property-change start 'face nil limit)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
419 ; value (get-text-property start 'face))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
420 ; ;; Make, or add to existing, list of regions with same `face'.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
421 ; (if (setq cell (assq value properties))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
422 ; (setcdr cell (cons start (cons end (cdr cell))))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
423 ; (setq properties (cons (list value start end) properties)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
424 ; (setq start (next-single-property-change end 'face)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
425 ; properties)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
426
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
427 (defun fast-lock-get-face-properties ()
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
428 "Return a list of all `face' text properties in the current buffer.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
429 Each element of the list is of the form (VALUE START1 END1 START2 END2 ...)
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
430 where VALUE is a `face' property value and STARTx and ENDx are positions.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
431 Only those `face' VALUEs in `fast-lock-save-faces' are returned."
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
432 (save-restriction
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
433 (widen)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
434 (let ((faces (or fast-lock-save-faces (face-list))) (limit (point-max))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
435 properties regions face start end)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
436 (while faces
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
437 (setq face (car faces) faces (cdr faces) regions () end (point-min))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
438 ;; Make a list of start/end regions with `face' property face.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
439 (while (setq start (text-property-any end limit 'face face))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
440 (setq end (or (text-property-not-all start limit 'face face) limit)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
441 regions (cons start (cons end regions))))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
442 ;; Add `face' face's regions, if any, to properties.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
443 (if regions (setq properties (cons (cons face regions) properties))))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
444 properties)))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
445
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
446 (defun fast-lock-set-face-properties (properties)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
447 "Set all `face' text properties to PROPERTIES in the current buffer.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
448 Any existing `face' text properties are removed first. Leaves buffer modified.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
449 See `fast-lock-get-face-properties' for the format of PROPERTIES."
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
450 (save-restriction
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
451 (widen)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
452 (font-lock-unfontify-region (point-min) (point-max))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
453 (while properties
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
454 (let ((plist (list 'face (car (car properties))))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
455 (regions (cdr (car properties))))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
456 ;; Set the `face' property for each start/end region.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
457 (while regions
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
458 (set-text-properties (nth 0 regions) (nth 1 regions) plist)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
459 (setq regions (nthcdr 2 regions)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
460 (setq properties (cdr properties))))))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
461
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
462 ;; Functions for XEmacs:
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
463
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
464 (if (save-match-data (string-match "XEmacs" (emacs-version)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
465 ;; It would be better to use XEmacs 19.12's `map-extents' over extents with
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
466 ;; `font-lock' property, but `face' properties are on different extents.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
467 (defun fast-lock-get-face-properties ()
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
468 "Return a list of all `face' text properties in the current buffer.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
469 Each element of the list is of the form (VALUE START1 END1 START2 END2 ...)
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
470 where VALUE is a `face' property value and STARTx and ENDx are positions.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
471 Only those `face' VALUEs in `fast-lock-save-faces' are returned."
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
472 (save-restriction
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
473 (widen)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
474 (let ((properties ()) cell)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
475 (map-extents
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
476 (function
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
477 (lambda (extent ignore)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
478 (let ((value (extent-face extent)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
479 ;; We're only interested if it's one of `fast-lock-save-faces'.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
480 (if (and value (or (null fast-lock-save-faces)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
481 (memq value fast-lock-save-faces)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
482 (let ((start (extent-start-position extent))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
483 (end (extent-end-position extent)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
484 ;; Make or add to existing list of regions with the same
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
485 ;; `face' property value.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
486 (if (setq cell (assq value properties))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
487 (setcdr cell (cons start (cons end (cdr cell))))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
488 (setq properties (cons (list value start end)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
489 properties)))))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
490 ;; Return nil to keep `map-extents' going.
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
491 nil))))
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
492 properties))))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
493
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
494 (if (save-match-data (string-match "XEmacs" (emacs-version)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
495 ;; Make extents just like XEmacs's font-lock.el does.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
496 (defun fast-lock-set-face-properties (properties)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
497 "Set all `face' text properties to PROPERTIES in the current buffer.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
498 Any existing `face' text properties are removed first.
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
499 See `fast-lock-get-face-properties' for the format of PROPERTIES."
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
500 (save-restriction
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
501 (widen)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
502 (font-lock-unfontify-region (point-min) (point-max))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
503 (while properties
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
504 (let ((face (car (car properties)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
505 (regions (cdr (car properties))))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
506 ;; Set the `face' property, etc., for each start/end region.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
507 (while regions
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
508 (font-lock-set-face (nth 0 regions) (nth 1 regions) face)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
509 (setq regions (nthcdr 2 regions)))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
510 (setq properties (cdr properties)))))))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
511
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
512 (or (fboundp 'font-lock-compile-keywords)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
513 (defalias 'font-lock-compile-keywords 'identity))
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
514
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
515 ;; Install ourselves:
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
516
12048
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
517 ;; We don't install ourselves on `font-lock-mode-hook' as packages with similar
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
518 ;; functionality exist, and fast-lock.el should be dumpable.
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
519 (add-hook 'after-save-hook 'fast-lock-after-save-hook)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
520 (add-hook 'kill-buffer-hook 'fast-lock-kill-buffer-hook)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
521 (add-hook 'kill-emacs-hook 'fast-lock-kill-emacs-hook)
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
522
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
523 ;; Maybe save on the modeline?
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
524 ;;(setcdr (assq 'font-lock-mode minor-mode-alist) '(" Fast"))
8e3d4f515bbb New version 3.06 from author.
Simon Marshall <simon@gnu.org>
parents: 10243
diff changeset
525
10243
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
526 (or (assq 'fast-lock-mode minor-mode-alist)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
527 (setq minor-mode-alist (cons '(fast-lock-mode " Fast") minor-mode-alist)))
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
528
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
529 ;; Provide ourselves:
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
530
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
531 (provide 'fast-lock)
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
532
ea9dda158056 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
533 ;;; fast-lock.el ends here