41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
1 ;;; reveal.el --- Automatically reveal hidden text at point
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
2
|
64762
|
3 ;; Copyright (C) 2000, 2001, 2002, 2003, 2004,
|
100908
|
4 ;; 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc.
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
5
|
70292
|
6 ;; Author: Stefan Monnier <monnier@iro.umontreal.ca>
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
7 ;; Keywords: outlines
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
8
|
42320
|
9 ;; This file is part of GNU Emacs.
|
|
10
|
94678
|
11 ;; GNU Emacs is free software: you can redistribute it and/or modify
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
12 ;; it under the terms of the GNU General Public License as published by
|
94678
|
13 ;; the Free Software Foundation, either version 3 of the License, or
|
|
14 ;; (at your option) any later version.
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
15
|
45341
|
16 ;; GNU Emacs is distributed in the hope that it will be useful,
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
19 ;; GNU General Public License for more details.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
20
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
21 ;; You should have received a copy of the GNU General Public License
|
94678
|
22 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
23
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
24 ;;; Commentary:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
25
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
26 ;; Reveal mode is a minor mode that makes sure that text around point
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
27 ;; is always visible. When point enters a region of hidden text,
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
28 ;; `reveal-mode' temporarily makes it visible.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
29 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
30 ;; This is normally used in conjunction with `outline-minor-mode',
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
31 ;; `hs-minor-mode', `hide-ifdef-mode', ...
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
32 ;;
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
33 ;; It only works with packages that hide text using overlays.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
34 ;; Packages can provide special support for it by placing
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
35 ;; a function in the `reveal-toggle-invisible' property on the symbol
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
36 ;; used as the value of the `invisible' overlay property.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
37 ;; The function is called right after revealing (or re-hiding) the
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
38 ;; text with two arguments: the overlay and a boolean that's non-nil
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
39 ;; if we have just revealed the text. When revealing, that function
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
40 ;; may re-hide some of the text.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
41
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
42 ;;; Todo:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
43
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
44 ;; - find other hysteresis features.
|
66744
|
45 ;; - don't hide after a scroll command
|
|
46 ;; - delay hiding by a couple seconds (i.e. hide in the background)
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
47
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
48 ;;; Code:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
49
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
50 (defgroup reveal nil
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
51 "Reveal hidden text on the fly."
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
52 :group 'editing)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
53
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
54 (defcustom reveal-around-mark t
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
55 "Reveal text around the mark, if active."
|
62531
|
56 :type 'boolean
|
|
57 :group 'reveal)
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
58
|
66744
|
59 (defvar reveal-open-spots nil
|
|
60 "List of spots in the buffer which are open.
|
|
61 Each element has the form (WINDOW . OVERLAY).")
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
62 (make-variable-buffer-local 'reveal-open-spots)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
63
|
57816
|
64 (defvar reveal-last-tick nil)
|
|
65 (make-variable-buffer-local 'reveal-last-tick)
|
|
66
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
67 ;; Actual code
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
68
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
69 (defun reveal-post-command ()
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
70 ;; Refresh the spots that might have changed.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
71 ;; `Refreshing' here means to try and re-hide the corresponding text.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
72 ;; We don't refresh everything correctly:
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
73 ;; - we only refresh spots in the current window.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
74 ;; FIXME: do we actually know that (current-buffer) = (window-buffer) ?
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
75 (with-local-quit
|
68108
|
76 (condition-case err
|
|
77 (let ((old-ols
|
|
78 (delq nil
|
|
79 (mapcar
|
|
80 (lambda (x)
|
|
81 ;; We refresh any spot in the current window as well
|
|
82 ;; as any spots associated with a dead window or
|
|
83 ;; a window which does not show this buffer any more.
|
|
84 (cond
|
|
85 ((eq (car x) (selected-window)) (cdr x))
|
68138
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
86 ((not (and (window-live-p (car x))
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
87 (eq (window-buffer (car x)) (current-buffer))))
|
68108
|
88 ;; Adopt this since it's owned by a window that's
|
|
89 ;; either not live or at least not showing this
|
|
90 ;; buffer any more.
|
|
91 (setcar x (selected-window))
|
|
92 (cdr x))))
|
|
93 reveal-open-spots))))
|
|
94 (setq old-ols (reveal-open-new-overlays old-ols))
|
|
95 (reveal-close-old-overlays old-ols))
|
|
96 (error (message "Reveal: %s" err)))))
|
|
97
|
|
98 (defun reveal-open-new-overlays (old-ols)
|
|
99 (let ((repeat t))
|
|
100 (while repeat
|
|
101 (setq repeat nil)
|
|
102 (dolist (ol (nconc (when (and reveal-around-mark mark-active)
|
|
103 (overlays-at (mark)))
|
|
104 (overlays-at (point))))
|
|
105 (setq old-ols (delq ol old-ols))
|
68138
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
106 (when (overlay-start ol) ;Check it's still live.
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
107 (let ((inv (overlay-get ol 'invisible)) open)
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
108 (when (and inv
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
109 ;; There's an `invisible' property. Make sure it's
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
110 ;; actually invisible, and ellipsised.
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
111 (and (consp buffer-invisibility-spec)
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
112 (cdr (assq inv buffer-invisibility-spec)))
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
113 (or (setq open
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
114 (or (overlay-get ol 'reveal-toggle-invisible)
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
115 (and (symbolp inv)
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
116 (get inv 'reveal-toggle-invisible))
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
117 (overlay-get ol 'isearch-open-invisible-temporary)))
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
118 (overlay-get ol 'isearch-open-invisible)
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
119 (and (consp buffer-invisibility-spec)
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
120 (cdr (assq inv buffer-invisibility-spec))))
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
121 (overlay-put ol 'reveal-invisible inv))
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
122 (push (cons (selected-window) ol) reveal-open-spots)
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
123 (if (null open)
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
124 (overlay-put ol 'invisible nil)
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
125 ;; Use the provided opening function and repeat (since the
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
126 ;; opening function might have hidden a subpart around point
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
127 ;; or moved/killed some of the overlays).
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
128 (setq repeat t)
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
129 (condition-case err
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
130 (funcall open ol nil)
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
131 (error (message "!!Reveal-show (funcall %s %s nil): %s !!"
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
132 open ol err)
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
133 ;; Let's default to a meaningful behavior to avoid
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
134 ;; getting stuck in an infinite loop.
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
135 (setq repeat nil)
|
d47ecb3cad92
(reveal-post-command): window-buffer signals an error on
Stefan Monnier <monnier@iro.umontreal.ca>
diff
changeset
|
136 (overlay-put ol 'invisible nil))))))))))
|
68108
|
137 old-ols)
|
|
138
|
|
139 (defun reveal-close-old-overlays (old-ols)
|
|
140 (if (not (eq reveal-last-tick
|
|
141 (setq reveal-last-tick (buffer-modified-tick))))
|
|
142 ;; The buffer was modified since last command: let's refrain from
|
|
143 ;; closing any overlay because it tends to behave poorly when
|
|
144 ;; inserting text at the end of an overlay (basically the overlay
|
|
145 ;; should be rear-advance when it's open, but things like
|
|
146 ;; outline-minor-mode make it non-rear-advance because it's
|
|
147 ;; a better choice when it's closed).
|
|
148 nil
|
|
149 ;; The last command was only a point motion or some such
|
|
150 ;; non-buffer-modifying command. Let's close whatever can be closed.
|
|
151 (dolist (ol old-ols)
|
|
152 (if (and (overlay-start ol) ;Check it's still live.
|
|
153 (>= (point) (save-excursion
|
|
154 (goto-char (overlay-start ol))
|
|
155 (line-beginning-position 1)))
|
|
156 (<= (point) (save-excursion
|
|
157 (goto-char (overlay-end ol))
|
|
158 (line-beginning-position 2)))
|
|
159 ;; If the application has moved the overlay to some other
|
|
160 ;; buffer, we'd better reset the buffer to its
|
|
161 ;; original state.
|
|
162 (eq (current-buffer) (overlay-buffer ol)))
|
|
163 ;; Still near the overlay: keep it open.
|
|
164 nil
|
|
165 ;; Really close it.
|
|
166 (let* ((inv (overlay-get ol 'reveal-invisible))
|
|
167 (open (or (overlay-get ol 'reveal-toggle-invisible)
|
|
168 (get inv 'reveal-toggle-invisible)
|
|
169 (overlay-get ol 'isearch-open-invisible-temporary))))
|
|
170 (if (and (overlay-start ol) ;Check it's still live.
|
|
171 open)
|
|
172 (condition-case err
|
|
173 (funcall open ol t)
|
|
174 (error (message "!!Reveal-hide (funcall %s %s t): %s !!"
|
|
175 open ol err)))
|
|
176 (overlay-put ol 'invisible inv))
|
|
177 ;; Remove the overlay from the list of open spots.
|
|
178 (overlay-put ol 'reveal-invisible nil)
|
|
179 (setq reveal-open-spots
|
|
180 (delq (rassoc ol reveal-open-spots)
|
|
181 reveal-open-spots)))))))
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
182
|
58435
|
183 (defvar reveal-mode-map
|
|
184 (let ((map (make-sparse-keymap)))
|
60487
|
185 ;; Override the default move-beginning-of-line and move-end-of-line
|
|
186 ;; which skips valuable invisible text.
|
61087
|
187 (define-key map [remap move-beginning-of-line] 'beginning-of-line)
|
|
188 (define-key map [remap move-end-of-line] 'end-of-line)
|
58435
|
189 map))
|
|
190
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
191 ;;;###autoload
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
192 (define-minor-mode reveal-mode
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
193 "Toggle Reveal mode on or off.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
194 Reveal mode renders invisible text around point visible again.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
195
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
196 Interactively, with no prefix argument, toggle the mode.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
197 With universal prefix ARG (or if ARG is nil) turn mode on.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
198 With zero or negative ARG turn mode off."
|
61275
|
199 :group 'reveal
|
41778
|
200 :lighter (global-reveal-mode nil " Reveal")
|
58435
|
201 :keymap reveal-mode-map
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
202 (if reveal-mode
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
203 (progn
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
204 (set (make-local-variable 'search-invisible) t)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
205 (add-hook 'post-command-hook 'reveal-post-command nil t))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
206 (kill-local-variable 'search-invisible)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
207 (remove-hook 'post-command-hook 'reveal-post-command t)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
208
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
209 ;;;###autoload
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
210 (define-minor-mode global-reveal-mode
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
211 "Toggle Reveal mode in all buffers on or off.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
212 Reveal mode renders invisible text around point visible again.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
213
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
214 Interactively, with no prefix argument, toggle the mode.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
215 With universal prefix ARG (or if ARG is nil) turn mode on.
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
216 With zero or negative ARG turn mode off."
|
48399
|
217 :global t :group 'reveal
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
218 (setq-default reveal-mode global-reveal-mode)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
219 (if global-reveal-mode
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
220 (progn
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
221 (setq search-invisible t)
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
222 (add-hook 'post-command-hook 'reveal-post-command))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
223 (setq search-invisible 'open) ;FIXME
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
224 (remove-hook 'post-command-hook 'reveal-post-command)))
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
225
|
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
226 (provide 'reveal)
|
48399
|
227
|
57816
|
228 ;; arch-tag: 96ba0242-2274-4ed7-8e10-26bc0707b4d8
|
41621
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
diff
changeset
|
229 ;;; reveal.el ends here
|