Mercurial > emacs
annotate lisp/ebuff-menu.el @ 62149:e64f1e2ecec2
(easy-mmode-pretty-mode-name): Explain
more about the LIGHTER arg's usage in the doc string. Add
commentary to clarify what the code does. Fix the regexp that
strips whitespace from LIGHTER. Quote LIGHTER before using it,
since it could have characters special to regular expressions.
author | Eli Zaretskii <eliz@gnu.org> |
---|---|
date | Sat, 07 May 2005 15:05:00 +0000 |
parents | 1312906d3476 |
children | 3b4e0fdb401f cb67264d6096 |
rev | line source |
---|---|
662
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
475
diff
changeset
|
1 ;;; ebuff-menu.el --- electric-buffer-list mode |
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
475
diff
changeset
|
2 |
7300 | 3 ;; Copyright (C) 1985, 1986, 1994 Free Software Foundation, Inc. |
846
20674ae6bf52
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
807
diff
changeset
|
4 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
662
diff
changeset
|
5 ;; Author: Richard Mlynarik <mly@ai.mit.edu> |
21045 | 6 ;; Maintainer: FSF |
31559 | 7 ;; Keywords: convenience |
475 | 8 |
9 ;; This file is part of GNU Emacs. | |
10 | |
11 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
12 ;; it under the terms of the GNU General Public License as published by | |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
662
diff
changeset
|
13 ;; the Free Software Foundation; either version 2, or (at your option) |
475 | 14 ;; any later version. |
15 | |
16 ;; GNU Emacs is distributed in the hope that it will be useful, | |
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 ;; GNU General Public License for more details. | |
20 | |
21 ;; You should have received a copy of the GNU General Public License | |
14169 | 22 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
24 ;; Boston, MA 02111-1307, USA. | |
475 | 25 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
662
diff
changeset
|
26 ;;; Commentary: |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
662
diff
changeset
|
27 |
2307
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2026
diff
changeset
|
28 ;; Who says one can't have typeout windows in GNU Emacs? The entry |
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2026
diff
changeset
|
29 ;; point, `electric-buffer-list' works like ^r select buffer from the |
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2026
diff
changeset
|
30 ;; ITS Emacs lunar or tmacs libraries. |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
662
diff
changeset
|
31 |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
662
diff
changeset
|
32 ;;; Code: |
475 | 33 |
34 (require 'electric) | |
35 | |
36 ;; this depends on the format of list-buffers (from src/buffer.c) and | |
37 ;; on stuff in lisp/buff-menu.el | |
38 | |
39 (defvar electric-buffer-menu-mode-map nil) | |
40 | |
58120 | 41 (defvar electric-buffer-menu-mode-hook nil |
42 "Normal hook run by `electric-buffer-list'.") | |
43 | |
475 | 44 ;;;###autoload |
45 (defun electric-buffer-list (arg) | |
58120 | 46 "Pop up a buffer describing the set of Emacs buffers. |
475 | 47 Vaguely like ITS lunar select buffer; combining typeoutoid buffer |
48 listing with menuoid buffer selection. | |
49 | |
50 If the very next character typed is a space then the buffer list | |
51 window disappears. Otherwise, one may move around in the buffer list | |
52 window, marking buffers to be selected, saved or deleted. | |
53 | |
54 To exit and select a new buffer, type a space when the cursor is on | |
55 the appropriate line of the buffer-list window. Other commands are | |
58120 | 56 much like those of `Buffer-menu-mode'. |
475 | 57 |
58120 | 58 Run hooks in `electric-buffer-menu-mode-hook' on entry. |
475 | 59 |
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
41016
diff
changeset
|
60 \\{electric-buffer-menu-mode-map}" |
475 | 61 (interactive "P") |
62 (let (select buffer) | |
63 (save-window-excursion | |
38928
86b624b00b77
(electric-buffer-list): Use list-buffers-noselect.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
31559
diff
changeset
|
64 (setq buffer (list-buffers-noselect arg)) |
86b624b00b77
(electric-buffer-list): Use list-buffers-noselect.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
31559
diff
changeset
|
65 (Electric-pop-up-window buffer) |
475 | 66 (unwind-protect |
67 (progn | |
68 (set-buffer buffer) | |
69 (Electric-buffer-menu-mode) | |
41016
7cbfb84f7362
(electric-buffer-update-highlight): New function.
Richard M. Stallman <rms@gnu.org>
parents:
38928
diff
changeset
|
70 (electric-buffer-update-highlight) |
475 | 71 (setq select |
72 (catch 'electric-buffer-menu-select | |
8122
2fae14e8ae5d
(electric-buffer-list): Change prompt message.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
73 (message "<<< Press Return to bury the buffer list >>>") |
2026
3514a9bf50c5
(electric-buffer-list): Handle any kind of event.
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
74 (if (eq (setq unread-command-events (list (read-event))) |
3514a9bf50c5
(electric-buffer-list): Handle any kind of event.
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
75 ?\ ) |
1821
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1607
diff
changeset
|
76 (progn (setq unread-command-events nil) |
475 | 77 (throw 'electric-buffer-menu-select nil))) |
12568
94ee086557db
(electric-buffer-list): Save point before
Karl Heuer <kwzh@gnu.org>
parents:
11275
diff
changeset
|
78 (let ((start-point (point)) |
94ee086557db
(electric-buffer-list): Save point before
Karl Heuer <kwzh@gnu.org>
parents:
11275
diff
changeset
|
79 (first (progn (goto-char (point-min)) |
50035
af49d6f1e6cc
(electric-buffer-list): Respect `Buffer-menu-use-header-line'.
John Paul Wallington <jpw@pobox.com>
parents:
49588
diff
changeset
|
80 (unless Buffer-menu-use-header-line |
af49d6f1e6cc
(electric-buffer-list): Respect `Buffer-menu-use-header-line'.
John Paul Wallington <jpw@pobox.com>
parents:
49588
diff
changeset
|
81 (forward-line 2)) |
475 | 82 (point))) |
83 (last (progn (goto-char (point-max)) | |
84 (forward-line -1) | |
85 (point))) | |
86 (goal-column 0)) | |
12568
94ee086557db
(electric-buffer-list): Save point before
Karl Heuer <kwzh@gnu.org>
parents:
11275
diff
changeset
|
87 ;; Use start-point if it is meaningful. |
94ee086557db
(electric-buffer-list): Save point before
Karl Heuer <kwzh@gnu.org>
parents:
11275
diff
changeset
|
88 (goto-char (if (or (< start-point first) |
94ee086557db
(electric-buffer-list): Save point before
Karl Heuer <kwzh@gnu.org>
parents:
11275
diff
changeset
|
89 (> start-point last)) |
94ee086557db
(electric-buffer-list): Save point before
Karl Heuer <kwzh@gnu.org>
parents:
11275
diff
changeset
|
90 first |
94ee086557db
(electric-buffer-list): Save point before
Karl Heuer <kwzh@gnu.org>
parents:
11275
diff
changeset
|
91 start-point)) |
475 | 92 (Electric-command-loop 'electric-buffer-menu-select |
93 nil | |
94 t | |
95 'electric-buffer-menu-looper | |
96 (cons first last)))))) | |
97 (set-buffer buffer) | |
98 (Buffer-menu-mode) | |
99 (bury-buffer buffer) | |
100 (message ""))) | |
101 (if select | |
102 (progn (set-buffer buffer) | |
103 (let ((opoint (point-marker))) | |
104 (Buffer-menu-execute) | |
105 (goto-char (point-min)) | |
106 (if (prog1 (search-forward "\n>" nil t) | |
107 (goto-char opoint) (set-marker opoint nil)) | |
108 (Buffer-menu-select) | |
109 (switch-to-buffer (Buffer-menu-buffer t)))))))) | |
110 | |
111 (defun electric-buffer-menu-looper (state condition) | |
112 (cond ((and condition | |
113 (not (memq (car condition) '(buffer-read-only | |
114 end-of-buffer | |
115 beginning-of-buffer)))) | |
116 (signal (car condition) (cdr condition))) | |
117 ((< (point) (car state)) | |
118 (goto-char (point-min)) | |
50035
af49d6f1e6cc
(electric-buffer-list): Respect `Buffer-menu-use-header-line'.
John Paul Wallington <jpw@pobox.com>
parents:
49588
diff
changeset
|
119 (unless Buffer-menu-use-header-line |
af49d6f1e6cc
(electric-buffer-list): Respect `Buffer-menu-use-header-line'.
John Paul Wallington <jpw@pobox.com>
parents:
49588
diff
changeset
|
120 (forward-line 2))) |
475 | 121 ((> (point) (cdr state)) |
122 (goto-char (point-max)) | |
123 (forward-line -1) | |
124 (if (pos-visible-in-window-p (point-max)) | |
41016
7cbfb84f7362
(electric-buffer-update-highlight): New function.
Richard M. Stallman <rms@gnu.org>
parents:
38928
diff
changeset
|
125 (recenter -1)))) |
7cbfb84f7362
(electric-buffer-update-highlight): New function.
Richard M. Stallman <rms@gnu.org>
parents:
38928
diff
changeset
|
126 (electric-buffer-update-highlight)) |
475 | 127 |
128 (put 'Electric-buffer-menu-mode 'mode-class 'special) | |
129 (defun Electric-buffer-menu-mode () | |
130 "Major mode for editing a list of buffers. | |
131 Each line describes one of the buffers in Emacs. | |
132 Letters do not insert themselves; instead, they are commands. | |
133 \\<electric-buffer-menu-mode-map> | |
134 \\[keyboard-quit] or \\[Electric-buffer-menu-quit] -- exit buffer menu, returning to previous window and buffer | |
135 configuration. If the very first character typed is a space, it | |
136 also has this effect. | |
137 \\[Electric-buffer-menu-select] -- select buffer of line point is on. | |
138 Also show buffers marked with m in other windows, | |
139 deletes buffers marked with \"D\", and saves those marked with \"S\". | |
140 \\[Buffer-menu-mark] -- mark buffer to be displayed. | |
141 \\[Buffer-menu-not-modified] -- clear modified-flag on that buffer. | |
142 \\[Buffer-menu-save] -- mark that buffer to be saved. | |
143 \\[Buffer-menu-delete] or \\[Buffer-menu-delete-backwards] -- mark that buffer to be deleted. | |
144 \\[Buffer-menu-unmark] -- remove all kinds of marks from current line. | |
145 \\[Electric-buffer-menu-mode-view-buffer] -- view buffer, returning when done. | |
146 \\[Buffer-menu-backup-unmark] -- back up a line and remove marks. | |
147 | |
148 \\{electric-buffer-menu-mode-map} | |
149 | |
58120 | 150 Entry to this mode via command `electric-buffer-list' calls the value of |
151 `electric-buffer-menu-mode-hook'." | |
59453
1312906d3476
(Electric-buffer-menu-mode):
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
58120
diff
changeset
|
152 (let ((saved header-line-format)) |
1312906d3476
(Electric-buffer-menu-mode):
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
58120
diff
changeset
|
153 (kill-all-local-variables) |
1312906d3476
(Electric-buffer-menu-mode):
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
58120
diff
changeset
|
154 (setq header-line-format saved)) |
475 | 155 (use-local-map electric-buffer-menu-mode-map) |
156 (setq mode-name "Electric Buffer Menu") | |
157 (setq mode-line-buffer-identification "Electric Buffer List") | |
158 (make-local-variable 'Helper-return-blurb) | |
159 (setq Helper-return-blurb "return to buffer editing") | |
160 (setq truncate-lines t) | |
161 (setq buffer-read-only t) | |
162 (setq major-mode 'Electric-buffer-menu-mode) | |
163 (goto-char (point-min)) | |
164 (if (search-forward "\n." nil t) (forward-char -1)) | |
165 (run-hooks 'electric-buffer-menu-mode-hook)) | |
166 | |
167 ;; generally the same as Buffer-menu-mode-map | |
168 ;; (except we don't indirect to global-map) | |
169 (put 'Electric-buffer-menu-undefined 'suppress-keymap t) | |
170 (if electric-buffer-menu-mode-map | |
171 nil | |
23007
62da6fd2d526
(electric-buffer-menu-mode-map): Don't wipe out all Meta keys.
Richard M. Stallman <rms@gnu.org>
parents:
21045
diff
changeset
|
172 (let ((map (make-keymap))) |
2397
2b34a2ef4d63
(electric-buffer-menu-mode-map): fillarray isn't a valid operation on maps
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
173 (fillarray (car (cdr map)) 'Electric-buffer-menu-undefined) |
23007
62da6fd2d526
(electric-buffer-menu-mode-map): Don't wipe out all Meta keys.
Richard M. Stallman <rms@gnu.org>
parents:
21045
diff
changeset
|
174 (define-key map "\e" nil) |
475 | 175 (define-key map "\C-z" 'suspend-emacs) |
176 (define-key map "v" 'Electric-buffer-menu-mode-view-buffer) | |
918
94b50bbd43c3
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
917
diff
changeset
|
177 (define-key map (char-to-string help-char) 'Helper-help) |
475 | 178 (define-key map "?" 'Helper-describe-bindings) |
179 (define-key map "\C-c" nil) | |
180 (define-key map "\C-c\C-c" 'Electric-buffer-menu-quit) | |
181 (define-key map "\C-]" 'Electric-buffer-menu-quit) | |
182 (define-key map "q" 'Electric-buffer-menu-quit) | |
183 (define-key map " " 'Electric-buffer-menu-select) | |
8122
2fae14e8ae5d
(electric-buffer-list): Change prompt message.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
184 (define-key map "\C-m" 'Electric-buffer-menu-select) |
475 | 185 (define-key map "\C-l" 'recenter) |
186 (define-key map "s" 'Buffer-menu-save) | |
187 (define-key map "d" 'Buffer-menu-delete) | |
188 (define-key map "k" 'Buffer-menu-delete) | |
189 (define-key map "\C-d" 'Buffer-menu-delete-backwards) | |
190 ;(define-key map "\C-k" 'Buffer-menu-delete) | |
191 (define-key map "\177" 'Buffer-menu-backup-unmark) | |
192 (define-key map "~" 'Buffer-menu-not-modified) | |
193 (define-key map "u" 'Buffer-menu-unmark) | |
194 (let ((i ?0)) | |
195 (while (<= i ?9) | |
196 (define-key map (char-to-string i) 'digit-argument) | |
197 (define-key map (concat "\e" (char-to-string i)) 'digit-argument) | |
198 (setq i (1+ i)))) | |
199 (define-key map "-" 'negative-argument) | |
200 (define-key map "\e-" 'negative-argument) | |
201 (define-key map "m" 'Buffer-menu-mark) | |
202 (define-key map "\C-u" 'universal-argument) | |
203 (define-key map "\C-p" 'previous-line) | |
204 (define-key map "\C-n" 'next-line) | |
205 (define-key map "p" 'previous-line) | |
206 (define-key map "n" 'next-line) | |
207 (define-key map "\C-v" 'scroll-up) | |
208 (define-key map "\ev" 'scroll-down) | |
209 (define-key map ">" 'scroll-right) | |
210 (define-key map "<" 'scroll-left) | |
211 (define-key map "\e\C-v" 'scroll-other-window) | |
212 (define-key map "\e>" 'end-of-buffer) | |
213 (define-key map "\e<" 'beginning-of-buffer) | |
11275
53f0ebe096f5
(electric-buffer-menu-mode-map): Undefine ESC ESC
Richard M. Stallman <rms@gnu.org>
parents:
10115
diff
changeset
|
214 (define-key map "\e\e" nil) |
10115
e55ee438bd10
(electric-buffer-menu-mode-map):
Richard M. Stallman <rms@gnu.org>
parents:
8122
diff
changeset
|
215 (define-key map "\e\e\e" 'Electric-buffer-menu-quit) |
e55ee438bd10
(electric-buffer-menu-mode-map):
Richard M. Stallman <rms@gnu.org>
parents:
8122
diff
changeset
|
216 (define-key map [escape escape escape] 'Electric-buffer-menu-quit) |
7006
5f1e5be68fcd
(Electric-buffer-menu-mouse-select): New function.
Karl Heuer <kwzh@gnu.org>
parents:
2397
diff
changeset
|
217 (define-key map [mouse-2] 'Electric-buffer-menu-mouse-select) |
475 | 218 (setq electric-buffer-menu-mode-map map))) |
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
41016
diff
changeset
|
219 |
475 | 220 (defun Electric-buffer-menu-exit () |
221 (interactive) | |
2026
3514a9bf50c5
(electric-buffer-list): Handle any kind of event.
Richard M. Stallman <rms@gnu.org>
parents:
1821
diff
changeset
|
222 (setq unread-command-events (listify-key-sequence (this-command-keys))) |
475 | 223 ;; for robustness |
224 (condition-case () | |
225 (throw 'electric-buffer-menu-select nil) | |
226 (error (Buffer-menu-mode) | |
227 (other-buffer)))) | |
228 | |
229 (defun Electric-buffer-menu-select () | |
230 "Leave Electric Buffer Menu, selecting buffers and executing changes. | |
58120 | 231 Save buffers marked \"S\". Delete buffers marked \"K\". |
232 Select buffer at point and display buffers marked \">\" in other windows." | |
475 | 233 (interactive) |
234 (throw 'electric-buffer-menu-select (point))) | |
235 | |
7006
5f1e5be68fcd
(Electric-buffer-menu-mouse-select): New function.
Karl Heuer <kwzh@gnu.org>
parents:
2397
diff
changeset
|
236 (defun Electric-buffer-menu-mouse-select (event) |
5f1e5be68fcd
(Electric-buffer-menu-mouse-select): New function.
Karl Heuer <kwzh@gnu.org>
parents:
2397
diff
changeset
|
237 (interactive "e") |
5f1e5be68fcd
(Electric-buffer-menu-mouse-select): New function.
Karl Heuer <kwzh@gnu.org>
parents:
2397
diff
changeset
|
238 (select-window (posn-window (event-end event))) |
5f1e5be68fcd
(Electric-buffer-menu-mouse-select): New function.
Karl Heuer <kwzh@gnu.org>
parents:
2397
diff
changeset
|
239 (set-buffer (window-buffer (selected-window))) |
5f1e5be68fcd
(Electric-buffer-menu-mouse-select): New function.
Karl Heuer <kwzh@gnu.org>
parents:
2397
diff
changeset
|
240 (goto-char (posn-point (event-end event))) |
5f1e5be68fcd
(Electric-buffer-menu-mouse-select): New function.
Karl Heuer <kwzh@gnu.org>
parents:
2397
diff
changeset
|
241 (throw 'electric-buffer-menu-select (point))) |
5f1e5be68fcd
(Electric-buffer-menu-mouse-select): New function.
Karl Heuer <kwzh@gnu.org>
parents:
2397
diff
changeset
|
242 |
475 | 243 (defun Electric-buffer-menu-quit () |
244 "Leave Electric Buffer Menu, restoring previous window configuration. | |
58120 | 245 Skip execution of select, save, and delete commands." |
475 | 246 (interactive) |
247 (throw 'electric-buffer-menu-select nil)) | |
248 | |
249 (defun Electric-buffer-menu-undefined () | |
250 (interactive) | |
251 (ding) | |
14310
49af6e2bfaa8
(Electric-buffer-menu-undefined): Pass proper format string to message.
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
252 (message "%s" |
49af6e2bfaa8
(Electric-buffer-menu-undefined): Pass proper format string to message.
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
253 (if (and (eq (key-binding "\C-c\C-c") 'Electric-buffer-menu-quit) |
475 | 254 (eq (key-binding " ") 'Electric-buffer-menu-select) |
919 | 255 (eq (key-binding (char-to-string help-char)) 'Helper-help) |
475 | 256 (eq (key-binding "?") 'Helper-describe-bindings)) |
916
938f166a0874
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
915
diff
changeset
|
257 (substitute-command-keys "Type C-c C-c to exit, Space to select, \\[Helper-help] for help, ? for commands") |
475 | 258 (substitute-command-keys "\ |
259 Type \\[Electric-buffer-menu-quit] to exit, \ | |
260 \\[Electric-buffer-menu-select] to select, \ | |
261 \\[Helper-help] for help, \\[Helper-describe-bindings] for commands."))) | |
262 (sit-for 4)) | |
263 | |
264 (defun Electric-buffer-menu-mode-view-buffer () | |
265 "View buffer on current line in Electric Buffer Menu. | |
58120 | 266 Return to Electric Buffer Menu when done." |
475 | 267 (interactive) |
268 (let ((bufnam (Buffer-menu-buffer nil))) | |
269 (if bufnam | |
270 (view-buffer bufnam) | |
271 (ding) | |
272 (message "Buffer %s does not exist!" bufnam) | |
273 (sit-for 4)))) | |
274 | |
41016
7cbfb84f7362
(electric-buffer-update-highlight): New function.
Richard M. Stallman <rms@gnu.org>
parents:
38928
diff
changeset
|
275 (defvar electric-buffer-overlay nil) |
7cbfb84f7362
(electric-buffer-update-highlight): New function.
Richard M. Stallman <rms@gnu.org>
parents:
38928
diff
changeset
|
276 (defun electric-buffer-update-highlight () |
50068
9fa70ec97b76
(electric-buffer-update-highlight): Do nothing
John Paul Wallington <jpw@pobox.com>
parents:
50035
diff
changeset
|
277 (when (eq major-mode 'Electric-buffer-menu-mode) |
9fa70ec97b76
(electric-buffer-update-highlight): Do nothing
John Paul Wallington <jpw@pobox.com>
parents:
50035
diff
changeset
|
278 ;; Make sure we have an overlay to use. |
9fa70ec97b76
(electric-buffer-update-highlight): Do nothing
John Paul Wallington <jpw@pobox.com>
parents:
50035
diff
changeset
|
279 (or electric-buffer-overlay |
9fa70ec97b76
(electric-buffer-update-highlight): Do nothing
John Paul Wallington <jpw@pobox.com>
parents:
50035
diff
changeset
|
280 (progn |
9fa70ec97b76
(electric-buffer-update-highlight): Do nothing
John Paul Wallington <jpw@pobox.com>
parents:
50035
diff
changeset
|
281 (make-local-variable 'electric-buffer-overlay) |
9fa70ec97b76
(electric-buffer-update-highlight): Do nothing
John Paul Wallington <jpw@pobox.com>
parents:
50035
diff
changeset
|
282 (setq electric-buffer-overlay (make-overlay (point) (point))))) |
9fa70ec97b76
(electric-buffer-update-highlight): Do nothing
John Paul Wallington <jpw@pobox.com>
parents:
50035
diff
changeset
|
283 (move-overlay electric-buffer-overlay |
9fa70ec97b76
(electric-buffer-update-highlight): Do nothing
John Paul Wallington <jpw@pobox.com>
parents:
50035
diff
changeset
|
284 (save-excursion (beginning-of-line) (point)) |
9fa70ec97b76
(electric-buffer-update-highlight): Do nothing
John Paul Wallington <jpw@pobox.com>
parents:
50035
diff
changeset
|
285 (save-excursion (end-of-line) (point))) |
9fa70ec97b76
(electric-buffer-update-highlight): Do nothing
John Paul Wallington <jpw@pobox.com>
parents:
50035
diff
changeset
|
286 (overlay-put electric-buffer-overlay 'face 'highlight))) |
41016
7cbfb84f7362
(electric-buffer-update-highlight): New function.
Richard M. Stallman <rms@gnu.org>
parents:
38928
diff
changeset
|
287 |
18383 | 288 (provide 'ebuff-menu) |
289 | |
52401 | 290 ;;; arch-tag: 1d4509b3-eece-4d4f-95ea-77c83eaf0275 |
662
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
475
diff
changeset
|
291 ;;; ebuff-menu.el ends here |