Mercurial > emacs
annotate lisp/buff-menu.el @ 51810:f48bdff09ea1
(Font Lock): Fix typo
author | Luc Teirlinck <teirllm@auburn.edu> |
---|---|
date | Tue, 08 Jul 2003 00:33:59 +0000 |
parents | 77bc7a2e6bef |
children | 695cf19ef79e |
rev | line source |
---|---|
38412
253f761ad37b
Some fixes to follow coding conventions in files maintained by FSF.
Pavel Janík <Pavel@Janik.cz>
parents:
38084
diff
changeset
|
1 ;;; buff-menu.el --- buffer menu main function and support functions |
662
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
194
diff
changeset
|
2 |
49046
d6e1c5f7f468
(Buffer-menu-buffer+size): Don't clobber buffer name.
Andreas Schwab <schwab@suse.de>
parents:
48889
diff
changeset
|
3 ;; Copyright (C) 1985, 86, 87, 93, 94, 95, 2000, 2001, 2002, 2003 |
39012 | 4 ;; Free Software Foundation, Inc. |
845 | 5 |
801
e9e34745ae3b
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
777
diff
changeset
|
6 ;; Maintainer: FSF |
39012 | 7 ;; Keywords: convenience |
194 | 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 | |
735 | 13 ;; the Free Software Foundation; either version 2, or (at your option) |
194 | 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. | |
194 | 25 |
2307
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
845
diff
changeset
|
26 ;;; Commentary: |
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
845
diff
changeset
|
27 |
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
845
diff
changeset
|
28 ;; Edit, delete, or change attributes of all currently active Emacs |
3591
507f64624555
Apply typo patches from Paul Eggert.
Jim Blandy <jimb@redhat.com>
parents:
2736
diff
changeset
|
29 ;; buffers from a list summarizing their state. A good way to browse |
2307
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
845
diff
changeset
|
30 ;; any special or scratch buffers you have loaded, since you can't find |
39012 | 31 ;; them by filename. The single entry point is `list-buffers', |
2334
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
32 ;; normally bound to C-x C-b. |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
33 |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
34 ;;; Change Log: |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
35 |
25166
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
36 ;; Buffer-menu-view: New function |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
37 ;; Buffer-menu-view-other-window: New function |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
38 |
2334
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
39 ;; Merged by esr with recent mods to Emacs 19 buff-menu, 23 Mar 1993 |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
40 ;; |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
41 ;; Modified by Bob Weiner, Motorola, Inc., 4/14/89 |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
42 ;; |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
43 ;; Added optional backup argument to 'Buffer-menu-unmark' to make it undelete |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
44 ;; current entry and then move to previous one. |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
45 ;; |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
46 ;; Based on FSF code dating back to 1985. |
2307
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
845
diff
changeset
|
47 |
801
e9e34745ae3b
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
777
diff
changeset
|
48 ;;; Code: |
30851
f9233f642b88
* buff-menu.el (list-buffers-noselect): Use `dolist' instead of
Sam Steingold <sds@gnu.org>
parents:
30828
diff
changeset
|
49 |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
50 ;;;Trying to preserve the old window configuration works well in |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
51 ;;;simple scenarios, when you enter the buffer menu, use it, and exit it. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
52 ;;;But it does strange things when you switch back to the buffer list buffer |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
53 ;;;with C-x b, later on, when the window configuration is different. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
54 ;;;The choice seems to be, either restore the window configuration |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
55 ;;;in all cases, or in no cases. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
56 ;;;I decided it was better not to restore the window config at all. -- rms. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
57 |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
58 ;;;But since then, I changed buffer-menu to use the selected window, |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
59 ;;;so q now once again goes back to the previous window configuration. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
60 |
2736
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
61 ;;;(defvar Buffer-menu-window-config nil |
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
62 ;;; "Window configuration saved from entry to `buffer-menu'.") |
194 | 63 |
64 ; Put buffer *Buffer List* into proper mode right away | |
65 ; so that from now on even list-buffers is enough to get a buffer menu. | |
66 | |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
67 (defgroup Buffer-menu nil |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
68 "Show a menu of all buffers in a buffer." |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
69 :group 'tools |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
70 :group 'convenience) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
71 |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
72 (defcustom Buffer-menu-use-header-line t |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
73 "*Non-nil means to use an immovable header-line." |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
74 :type 'boolean |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
75 :group 'Buffer-menu) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
76 |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
77 (defface Buffer-menu-buffer-face |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
78 '((t (:weight bold))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
79 "Face used to highlight buffer name." |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
80 :group 'font-lock-highlighting-faces) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
81 |
48889
ec1a96fb72d6
Change default width of Buffer-menu-buffer+size-width to 24
Robert J. Chassell <bob@rattlesnake.com>
parents:
48864
diff
changeset
|
82 (defcustom Buffer-menu-buffer+size-width 26 |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
83 "*How wide to jointly make the buffer name and size columns." |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
84 :type 'number |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
85 :group 'Buffer-menu) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
86 |
48889
ec1a96fb72d6
Change default width of Buffer-menu-buffer+size-width to 24
Robert J. Chassell <bob@rattlesnake.com>
parents:
48864
diff
changeset
|
87 (defcustom Buffer-menu-mode-width 16 |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
88 "*How wide to make the mode name column." |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
89 :type 'number |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
90 :group 'Buffer-menu) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
91 |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
92 ; This should get updated & resorted when you click on a column heading |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
93 (defvar Buffer-menu-sort-column nil |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
94 "*2 for sorting by buffer names. 5 for sorting by file names. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
95 nil for default sorting by visited order.") |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
96 |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
97 (defconst Buffer-menu-buffer-column 4) |
6640
532754d63384
(Buffer-menu-mode): Highlight only the buffer name, not the whole line.
Karl Heuer <kwzh@gnu.org>
parents:
6638
diff
changeset
|
98 |
50033
cd78fe221607
(Buffer-menu-mode-map): Add docstring.
John Paul Wallington <jpw@pobox.com>
parents:
49155
diff
changeset
|
99 (defvar Buffer-menu-mode-map nil |
cd78fe221607
(Buffer-menu-mode-map): Add docstring.
John Paul Wallington <jpw@pobox.com>
parents:
49155
diff
changeset
|
100 "Local keymap for `Buffer-menu-mode' buffers.") |
194 | 101 |
102 (if Buffer-menu-mode-map | |
103 () | |
104 (setq Buffer-menu-mode-map (make-keymap)) | |
105 (suppress-keymap Buffer-menu-mode-map t) | |
21093
aa96b119d0ef
(Buffer-menu-quit): Function deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20655
diff
changeset
|
106 (define-key Buffer-menu-mode-map "q" 'quit-window) |
2736
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
107 (define-key Buffer-menu-mode-map "v" 'Buffer-menu-select) |
194 | 108 (define-key Buffer-menu-mode-map "2" 'Buffer-menu-2-window) |
109 (define-key Buffer-menu-mode-map "1" 'Buffer-menu-1-window) | |
110 (define-key Buffer-menu-mode-map "f" 'Buffer-menu-this-window) | |
20655
a259327d5333
(Buffer-menu-mode-map): Bind e like f.
Richard M. Stallman <rms@gnu.org>
parents:
18280
diff
changeset
|
111 (define-key Buffer-menu-mode-map "e" 'Buffer-menu-this-window) |
10269
988517b0b62a
(Buffer-menu-mode-map): Bind C-m to Buffer-menu-this-window.
Richard M. Stallman <rms@gnu.org>
parents:
10194
diff
changeset
|
112 (define-key Buffer-menu-mode-map "\C-m" 'Buffer-menu-this-window) |
194 | 113 (define-key Buffer-menu-mode-map "o" 'Buffer-menu-other-window) |
735 | 114 (define-key Buffer-menu-mode-map "\C-o" 'Buffer-menu-switch-other-window) |
194 | 115 (define-key Buffer-menu-mode-map "s" 'Buffer-menu-save) |
116 (define-key Buffer-menu-mode-map "d" 'Buffer-menu-delete) | |
117 (define-key Buffer-menu-mode-map "k" 'Buffer-menu-delete) | |
118 (define-key Buffer-menu-mode-map "\C-d" 'Buffer-menu-delete-backwards) | |
119 (define-key Buffer-menu-mode-map "\C-k" 'Buffer-menu-delete) | |
120 (define-key Buffer-menu-mode-map "x" 'Buffer-menu-execute) | |
121 (define-key Buffer-menu-mode-map " " 'next-line) | |
122 (define-key Buffer-menu-mode-map "n" 'next-line) | |
123 (define-key Buffer-menu-mode-map "p" 'previous-line) | |
124 (define-key Buffer-menu-mode-map "\177" 'Buffer-menu-backup-unmark) | |
125 (define-key Buffer-menu-mode-map "~" 'Buffer-menu-not-modified) | |
126 (define-key Buffer-menu-mode-map "?" 'describe-mode) | |
127 (define-key Buffer-menu-mode-map "u" 'Buffer-menu-unmark) | |
128 (define-key Buffer-menu-mode-map "m" 'Buffer-menu-mark) | |
2378
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
129 (define-key Buffer-menu-mode-map "t" 'Buffer-menu-visit-tags-table) |
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
130 (define-key Buffer-menu-mode-map "%" 'Buffer-menu-toggle-read-only) |
18278
4f78346eb734
(Buffer-menu-bury): New command.
Richard M. Stallman <rms@gnu.org>
parents:
16401
diff
changeset
|
131 (define-key Buffer-menu-mode-map "b" 'Buffer-menu-bury) |
16401
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
132 (define-key Buffer-menu-mode-map "g" 'Buffer-menu-revert) |
25166
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
133 (define-key Buffer-menu-mode-map "V" 'Buffer-menu-view) |
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
134 (define-key Buffer-menu-mode-map [mouse-2] 'Buffer-menu-mouse-select) |
2378
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
135 ) |
194 | 136 |
137 ;; Buffer Menu mode is suitable only for specially formatted data. | |
138 (put 'Buffer-menu-mode 'mode-class 'special) | |
139 | |
140 (defun Buffer-menu-mode () | |
141 "Major mode for editing a list of buffers. | |
142 Each line describes one of the buffers in Emacs. | |
143 Letters do not insert themselves; instead, they are commands. | |
144 \\<Buffer-menu-mode-map> | |
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
145 \\[Buffer-menu-mouse-select] -- select buffer you click on, in place of the buffer menu. |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
146 \\[Buffer-menu-this-window] -- select current line's buffer in place of the buffer menu. |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
147 \\[Buffer-menu-other-window] -- select that buffer in another window, |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
148 so the buffer menu buffer remains visible in its window. |
25166
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
149 \\[Buffer-menu-view] -- select current line's buffer, but in view-mode. |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
150 \\[Buffer-menu-view-other-window] -- select that buffer in |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
151 another window, in view-mode. |
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
152 \\[Buffer-menu-switch-other-window] -- make another window display that buffer. |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
153 \\[Buffer-menu-mark] -- mark current line's buffer to be displayed. |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
154 \\[Buffer-menu-select] -- select current line's buffer. |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
155 Also show buffers marked with m, in other windows. |
777 | 156 \\[Buffer-menu-1-window] -- select that buffer in full-frame window. |
194 | 157 \\[Buffer-menu-2-window] -- select that buffer in one window, |
158 together with buffer selected before this one in another window. | |
159 \\[Buffer-menu-visit-tags-table] -- visit-tags-table this buffer. | |
160 \\[Buffer-menu-not-modified] -- clear modified-flag on that buffer. | |
161 \\[Buffer-menu-save] -- mark that buffer to be saved, and move down. | |
162 \\[Buffer-menu-delete] -- mark that buffer to be deleted, and move down. | |
163 \\[Buffer-menu-delete-backwards] -- mark that buffer to be deleted, and move up. | |
164 \\[Buffer-menu-execute] -- delete or save marked buffers. | |
165 \\[Buffer-menu-unmark] -- remove all kinds of marks from current line. | |
2334
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
166 With prefix argument, also move up one line. |
2378
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
167 \\[Buffer-menu-backup-unmark] -- back up a line and remove marks. |
16401
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
168 \\[Buffer-menu-toggle-read-only] -- toggle read-only status of buffer on this line. |
18280
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
169 \\[Buffer-menu-revert] -- update the list of buffers. |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
170 \\[Buffer-menu-bury] -- bury the buffer listed on this line." |
194 | 171 (kill-all-local-variables) |
172 (use-local-map Buffer-menu-mode-map) | |
6638
61e40a447c92
(Buffer-menu-mode): Add mouse-face properties.
Karl Heuer <kwzh@gnu.org>
parents:
6609
diff
changeset
|
173 (setq major-mode 'Buffer-menu-mode) |
61e40a447c92
(Buffer-menu-mode): Add mouse-face properties.
Karl Heuer <kwzh@gnu.org>
parents:
6609
diff
changeset
|
174 (setq mode-name "Buffer Menu") |
8161
6b104526819d
(Buffer-menu-revert-function): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7659
diff
changeset
|
175 (make-local-variable 'revert-buffer-function) |
6b104526819d
(Buffer-menu-revert-function): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7659
diff
changeset
|
176 (setq revert-buffer-function 'Buffer-menu-revert-function) |
194 | 177 (setq truncate-lines t) |
178 (setq buffer-read-only t) | |
179 (run-hooks 'buffer-menu-mode-hook)) | |
8161
6b104526819d
(Buffer-menu-revert-function): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7659
diff
changeset
|
180 |
16401
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
181 (defun Buffer-menu-revert () |
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
182 "Update the list of buffers." |
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
183 (interactive) |
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
184 (revert-buffer)) |
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
185 |
8161
6b104526819d
(Buffer-menu-revert-function): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7659
diff
changeset
|
186 (defun Buffer-menu-revert-function (ignore1 ignore2) |
6b104526819d
(Buffer-menu-revert-function): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7659
diff
changeset
|
187 (list-buffers)) |
194 | 188 |
189 (defun Buffer-menu-buffer (error-if-non-existent-p) | |
190 "Return buffer described by this line of buffer menu." | |
11215
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
191 (let* ((where (save-excursion |
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
192 (beginning-of-line) |
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
193 (+ (point) Buffer-menu-buffer-column))) |
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
194 (name (and (not (eobp)) (get-text-property where 'buffer-name))) |
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
195 (buf (and (not (eobp)) (get-text-property where 'buffer)))) |
11215
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
196 (if name |
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
197 (or (get-buffer name) |
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
198 (and buf (buffer-name buf) buf) |
11215
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
199 (if error-if-non-existent-p |
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
200 (error "No buffer named `%s'" name) |
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
201 nil)) |
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
202 (or (and buf (buffer-name buf) buf) |
50033
cd78fe221607
(Buffer-menu-mode-map): Add docstring.
John Paul Wallington <jpw@pobox.com>
parents:
49155
diff
changeset
|
203 (if error-if-non-existent-p |
cd78fe221607
(Buffer-menu-mode-map): Add docstring.
John Paul Wallington <jpw@pobox.com>
parents:
49155
diff
changeset
|
204 (error "No buffer on this line") |
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
205 nil))))) |
194 | 206 |
756 | 207 (defun buffer-menu (&optional arg) |
194 | 208 "Make a menu of buffers so you can save, delete or select them. |
209 With argument, show only buffers that are visiting files. | |
210 Type ? after invocation to get help on commands available. | |
40622
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
211 Type q to remove the buffer menu from the display. |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
212 |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
213 The first column shows `>' for a buffer you have |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
214 marked to be displayed, `D' for one you have marked for |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
215 deletion, and `.' for the current buffer. |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
216 |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
217 The C column has a `.' for the buffer from which you came. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
218 The R column has a `%' if the buffer is read-only. |
40622
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
219 The M column has a `*' if it is modified, |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
220 or `S' if you have marked it for saving. |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
221 After this come the buffer name, its size in characters, |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
222 its major mode, and the visited file name (if any)." |
194 | 223 (interactive "P") |
2736
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
224 ;;; (setq Buffer-menu-window-config (current-window-configuration)) |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
225 (switch-to-buffer (list-buffers-noselect arg)) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
226 (message |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
227 "Commands: d, s, x, u; f, o, 1, 2, m, v; ~, %%; q to quit; ? for help.")) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
228 |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
229 (defun buffer-menu-other-window (&optional arg) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
230 "Display a list of buffers in another window. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
231 With the buffer list buffer, you can save, delete or select the buffers. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
232 With argument, show only buffers that are visiting files. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
233 Type ? after invocation to get help on commands available. |
40622
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
234 Type q to remove the buffer menu from the display. |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
235 For more information, see the function `buffer-menu'." |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
236 (interactive "P") |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
237 ;;; (setq Buffer-menu-window-config (current-window-configuration)) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
238 (switch-to-buffer-other-window (list-buffers-noselect arg)) |
194 | 239 (message |
2736
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
240 "Commands: d, s, x, u; f, o, 1, 2, m, v; ~, %%; q to quit; ? for help.")) |
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
241 |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
242 (defun Buffer-menu-no-header () |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
243 (beginning-of-line) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
244 (if (or Buffer-menu-use-header-line |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
245 (not (eq (char-after) ?C))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
246 t |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
247 (ding) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
248 (forward-line 1) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
249 nil)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
250 |
194 | 251 (defun Buffer-menu-mark () |
252 "Mark buffer on this line for being displayed by \\<Buffer-menu-mode-map>\\[Buffer-menu-select] command." | |
253 (interactive) | |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
254 (when (Buffer-menu-no-header) |
194 | 255 (let ((buffer-read-only nil)) |
256 (delete-char 1) | |
257 (insert ?>) | |
258 (forward-line 1)))) | |
259 | |
2334
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
260 (defun Buffer-menu-unmark (&optional backup) |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
261 "Cancel all requested operations on buffer on this line and move down. |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
262 Optional ARG means move up." |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
263 (interactive "P") |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
264 (when (Buffer-menu-no-header) |
194 | 265 (let* ((buf (Buffer-menu-buffer t)) |
266 (mod (buffer-modified-p buf)) | |
267 (readonly (save-excursion (set-buffer buf) buffer-read-only)) | |
268 (buffer-read-only nil)) | |
269 (delete-char 3) | |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
270 (insert (if readonly (if mod " %*" " % ") (if mod " *" " "))))) |
2334
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
271 (forward-line (if backup -1 1))) |
194 | 272 |
273 (defun Buffer-menu-backup-unmark () | |
274 "Move up and cancel all requested operations on buffer on line above." | |
275 (interactive) | |
276 (forward-line -1) | |
277 (Buffer-menu-unmark) | |
278 (forward-line -1)) | |
279 | |
9063
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
280 (defun Buffer-menu-delete (&optional arg) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
281 "Mark buffer on this line to be deleted by \\<Buffer-menu-mode-map>\\[Buffer-menu-execute] command. |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
282 Prefix arg is how many buffers to delete. |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
283 Negative arg means delete backwards." |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
284 (interactive "p") |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
285 (when (Buffer-menu-no-header) |
194 | 286 (let ((buffer-read-only nil)) |
9063
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
287 (if (or (null arg) (= arg 0)) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
288 (setq arg 1)) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
289 (while (> arg 0) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
290 (delete-char 1) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
291 (insert ?D) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
292 (forward-line 1) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
293 (setq arg (1- arg))) |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
294 (while (and (< arg 0) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
295 (Buffer-menu-no-header)) |
9063
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
296 (delete-char 1) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
297 (insert ?D) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
298 (forward-line -1) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
299 (setq arg (1+ arg)))))) |
194 | 300 |
9063
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
301 (defun Buffer-menu-delete-backwards (&optional arg) |
194 | 302 "Mark buffer on this line to be deleted by \\<Buffer-menu-mode-map>\\[Buffer-menu-execute] command |
9063
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
303 and then move up one line. Prefix arg means move that many lines." |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
304 (interactive "p") |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
305 (Buffer-menu-delete (- (or arg 1)))) |
194 | 306 |
307 (defun Buffer-menu-save () | |
308 "Mark buffer on this line to be saved by \\<Buffer-menu-mode-map>\\[Buffer-menu-execute] command." | |
309 (interactive) | |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
310 (when (Buffer-menu-no-header) |
194 | 311 (let ((buffer-read-only nil)) |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
312 (forward-char 2) |
194 | 313 (delete-char 1) |
314 (insert ?S) | |
315 (forward-line 1)))) | |
316 | |
8196
89db3662bcec
(Buffer-menu-not-modified): Make `Buffer-menu-not-modified' handle an
Richard M. Stallman <rms@gnu.org>
parents:
8161
diff
changeset
|
317 (defun Buffer-menu-not-modified (&optional arg) |
194 | 318 "Mark buffer on this line as unmodified (no changes to save)." |
8196
89db3662bcec
(Buffer-menu-not-modified): Make `Buffer-menu-not-modified' handle an
Richard M. Stallman <rms@gnu.org>
parents:
8161
diff
changeset
|
319 (interactive "P") |
194 | 320 (save-excursion |
321 (set-buffer (Buffer-menu-buffer t)) | |
8196
89db3662bcec
(Buffer-menu-not-modified): Make `Buffer-menu-not-modified' handle an
Richard M. Stallman <rms@gnu.org>
parents:
8161
diff
changeset
|
322 (set-buffer-modified-p arg)) |
194 | 323 (save-excursion |
324 (beginning-of-line) | |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
325 (forward-char 2) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
326 (if (= (char-after) (if arg ? ?*)) |
194 | 327 (let ((buffer-read-only nil)) |
328 (delete-char 1) | |
8196
89db3662bcec
(Buffer-menu-not-modified): Make `Buffer-menu-not-modified' handle an
Richard M. Stallman <rms@gnu.org>
parents:
8161
diff
changeset
|
329 (insert (if arg ?* ? )))))) |
194 | 330 |
331 (defun Buffer-menu-execute () | |
332 "Save and/or delete buffers marked with \\<Buffer-menu-mode-map>\\[Buffer-menu-save] or \\<Buffer-menu-mode-map>\\[Buffer-menu-delete] commands." | |
333 (interactive) | |
334 (save-excursion | |
335 (goto-char (point-min)) | |
49050
8b38bac9826a
(Buffer-menu-execute): Fix for effect of header
Dave Love <fx@gnu.org>
parents:
49046
diff
changeset
|
336 (unless Buffer-menu-use-header-line |
8b38bac9826a
(Buffer-menu-execute): Fix for effect of header
Dave Love <fx@gnu.org>
parents:
49046
diff
changeset
|
337 (forward-line 1)) |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
338 (while (re-search-forward "^..S" nil t) |
194 | 339 (let ((modp nil)) |
340 (save-excursion | |
341 (set-buffer (Buffer-menu-buffer t)) | |
342 (save-buffer) | |
343 (setq modp (buffer-modified-p))) | |
344 (let ((buffer-read-only nil)) | |
345 (delete-char -1) | |
346 (insert (if modp ?* ? )))))) | |
347 (save-excursion | |
348 (goto-char (point-min)) | |
49050
8b38bac9826a
(Buffer-menu-execute): Fix for effect of header
Dave Love <fx@gnu.org>
parents:
49046
diff
changeset
|
349 (unless Buffer-menu-use-header-line |
8b38bac9826a
(Buffer-menu-execute): Fix for effect of header
Dave Love <fx@gnu.org>
parents:
49046
diff
changeset
|
350 (forward-line 1)) |
194 | 351 (let ((buff-menu-buffer (current-buffer)) |
352 (buffer-read-only nil)) | |
49050
8b38bac9826a
(Buffer-menu-execute): Fix for effect of header
Dave Love <fx@gnu.org>
parents:
49046
diff
changeset
|
353 (while (re-search-forward "^D" nil t) |
194 | 354 (forward-char -1) |
355 (let ((buf (Buffer-menu-buffer nil))) | |
356 (or (eq buf nil) | |
357 (eq buf buff-menu-buffer) | |
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
358 (save-excursion (kill-buffer buf))) |
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
359 (if (and buf (buffer-name buf)) |
194 | 360 (progn (delete-char 1) |
361 (insert ? )) | |
362 (delete-region (point) (progn (forward-line 1) (point))) | |
49050
8b38bac9826a
(Buffer-menu-execute): Fix for effect of header
Dave Love <fx@gnu.org>
parents:
49046
diff
changeset
|
363 (unless (bobp) |
8b38bac9826a
(Buffer-menu-execute): Fix for effect of header
Dave Love <fx@gnu.org>
parents:
49046
diff
changeset
|
364 (forward-char -1)))))))) |
194 | 365 |
366 (defun Buffer-menu-select () | |
367 "Select this line's buffer; also display buffers marked with `>'. | |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
368 You can mark buffers with the \\<Buffer-menu-mode-map>\\[Buffer-menu-mark] command. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
369 This command deletes and replaces all the previously existing windows |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
370 in the selected frame." |
194 | 371 (interactive) |
372 (let ((buff (Buffer-menu-buffer t)) | |
30851
f9233f642b88
* buff-menu.el (list-buffers-noselect): Use `dolist' instead of
Sam Steingold <sds@gnu.org>
parents:
30828
diff
changeset
|
373 (menu (current-buffer)) |
194 | 374 (others ()) |
375 tem) | |
376 (goto-char (point-min)) | |
49155
e8a430c172dc
(Buffer-menu-select): Fix for effect of header line.
Andreas Schwab <schwab@suse.de>
parents:
49050
diff
changeset
|
377 (unless Buffer-menu-use-header-line |
e8a430c172dc
(Buffer-menu-select): Fix for effect of header line.
Andreas Schwab <schwab@suse.de>
parents:
49050
diff
changeset
|
378 (forward-line 1)) |
e8a430c172dc
(Buffer-menu-select): Fix for effect of header line.
Andreas Schwab <schwab@suse.de>
parents:
49050
diff
changeset
|
379 (while (re-search-forward "^>" nil t) |
194 | 380 (setq tem (Buffer-menu-buffer t)) |
381 (let ((buffer-read-only nil)) | |
382 (delete-char -1) | |
383 (insert ?\ )) | |
384 (or (eq tem buff) (memq tem others) (setq others (cons tem others)))) | |
385 (setq others (nreverse others) | |
777 | 386 tem (/ (1- (frame-height)) (1+ (length others)))) |
194 | 387 (delete-other-windows) |
388 (switch-to-buffer buff) | |
389 (or (eq menu buff) | |
390 (bury-buffer menu)) | |
2334
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
391 (if (equal (length others) 0) |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
392 (progn |
2736
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
393 ;;; ;; Restore previous window configuration before displaying |
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
394 ;;; ;; selected buffers. |
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
395 ;;; (if Buffer-menu-window-config |
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
396 ;;; (progn |
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
397 ;;; (set-window-configuration Buffer-menu-window-config) |
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
398 ;;; (setq Buffer-menu-window-config nil))) |
2334
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
399 (switch-to-buffer buff)) |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
400 (while others |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
401 (split-window nil tem) |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
402 (other-window 1) |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
403 (switch-to-buffer (car others)) |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
404 (setq others (cdr others))) |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
405 (other-window 1) ;back to the beginning! |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
406 ))) |
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
407 |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
408 |
194 | 409 |
410 (defun Buffer-menu-visit-tags-table () | |
411 "Visit the tags table in the buffer on this line. See `visit-tags-table'." | |
412 (interactive) | |
413 (let ((file (buffer-file-name (Buffer-menu-buffer t)))) | |
414 (if file | |
415 (visit-tags-table file) | |
416 (error "Specified buffer has no file")))) | |
417 | |
418 (defun Buffer-menu-1-window () | |
777 | 419 "Select this line's buffer, alone, in full frame." |
194 | 420 (interactive) |
421 (switch-to-buffer (Buffer-menu-buffer t)) | |
422 (bury-buffer (other-buffer)) | |
423 (delete-other-windows)) | |
424 | |
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
425 (defun Buffer-menu-mouse-select (event) |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
426 "Select the buffer whose line you click on." |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
427 (interactive "e") |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
428 (let (buffer) |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
429 (save-excursion |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
430 (set-buffer (window-buffer (posn-window (event-end event)))) |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
431 (save-excursion |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
432 (goto-char (posn-point (event-end event))) |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
433 (setq buffer (Buffer-menu-buffer t)))) |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
434 (select-window (posn-window (event-end event))) |
7659
ed3bbbdd9ef5
(Buffer-menu-mouse-select): Handle dedicated window.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
435 (if (and (window-dedicated-p (selected-window)) |
ed3bbbdd9ef5
(Buffer-menu-mouse-select): Handle dedicated window.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
436 (eq (selected-window) (frame-root-window))) |
ed3bbbdd9ef5
(Buffer-menu-mouse-select): Handle dedicated window.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
437 (switch-to-buffer-other-frame buffer) |
ed3bbbdd9ef5
(Buffer-menu-mouse-select): Handle dedicated window.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
438 (switch-to-buffer buffer)))) |
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
439 |
194 | 440 (defun Buffer-menu-this-window () |
441 "Select this line's buffer in this window." | |
442 (interactive) | |
443 (switch-to-buffer (Buffer-menu-buffer t))) | |
444 | |
445 (defun Buffer-menu-other-window () | |
446 "Select this line's buffer in other window, leaving buffer menu visible." | |
447 (interactive) | |
448 (switch-to-buffer-other-window (Buffer-menu-buffer t))) | |
449 | |
735 | 450 (defun Buffer-menu-switch-other-window () |
451 "Make the other window select this line's buffer. | |
452 The current window remains selected." | |
453 (interactive) | |
454 (display-buffer (Buffer-menu-buffer t))) | |
455 | |
194 | 456 (defun Buffer-menu-2-window () |
457 "Select this line's buffer, with previous buffer in second window." | |
458 (interactive) | |
459 (let ((buff (Buffer-menu-buffer t)) | |
460 (menu (current-buffer)) | |
461 (pop-up-windows t)) | |
2334
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
462 (delete-other-windows) |
194 | 463 (switch-to-buffer (other-buffer)) |
464 (pop-to-buffer buff) | |
465 (bury-buffer menu))) | |
662
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
194
diff
changeset
|
466 |
2378
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
467 (defun Buffer-menu-toggle-read-only () |
6084
d42c85701055
(Buffer-menu-toggle-read-only): Change toggle-read-only to
Karl Heuer <kwzh@gnu.org>
parents:
3591
diff
changeset
|
468 "Toggle read-only status of buffer on this line, perhaps via version control." |
2378
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
469 (interactive) |
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
470 (let (char) |
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
471 (save-excursion |
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
472 (set-buffer (Buffer-menu-buffer t)) |
6084
d42c85701055
(Buffer-menu-toggle-read-only): Change toggle-read-only to
Karl Heuer <kwzh@gnu.org>
parents:
3591
diff
changeset
|
473 (vc-toggle-read-only) |
2378
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
474 (setq char (if buffer-read-only ?% ? ))) |
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
475 (save-excursion |
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
476 (beginning-of-line) |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
477 (forward-char 1) |
2378
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
478 (if (/= (following-char) char) |
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
479 (let (buffer-read-only) |
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
480 (delete-char 1) |
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
481 (insert char)))))) |
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
482 |
18278
4f78346eb734
(Buffer-menu-bury): New command.
Richard M. Stallman <rms@gnu.org>
parents:
16401
diff
changeset
|
483 (defun Buffer-menu-bury () |
4f78346eb734
(Buffer-menu-bury): New command.
Richard M. Stallman <rms@gnu.org>
parents:
16401
diff
changeset
|
484 "Bury the buffer listed on this line." |
4f78346eb734
(Buffer-menu-bury): New command.
Richard M. Stallman <rms@gnu.org>
parents:
16401
diff
changeset
|
485 (interactive) |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
486 (when (Buffer-menu-no-header) |
18280
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
487 (save-excursion |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
488 (beginning-of-line) |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
489 (bury-buffer (Buffer-menu-buffer t)) |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
490 (let ((line (buffer-substring (point) (progn (forward-line 1) (point)))) |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
491 (buffer-read-only nil)) |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
492 (delete-region (point) (progn (forward-line -1) (point))) |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
493 (goto-char (point-max)) |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
494 (insert line)) |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
495 (message "Buried buffer moved to the end")))) |
25166
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
496 |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
497 |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
498 (defun Buffer-menu-view () |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
499 "View this line's buffer in View mode." |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
500 (interactive) |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
501 (view-buffer (Buffer-menu-buffer t))) |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
502 |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
503 |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
504 (defun Buffer-menu-view-other-window () |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
505 "View this line's buffer in View mode in another window." |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
506 (interactive) |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
507 (view-buffer-other-window (Buffer-menu-buffer t))) |
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
508 |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
509 |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
510 (define-key ctl-x-map "\C-b" 'list-buffers) |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
511 |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
512 (defun list-buffers (&optional files-only) |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
513 "Display a list of names of existing buffers. |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
514 The list is displayed in a buffer named `*Buffer List*'. |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
515 Note that buffers with names starting with spaces are omitted. |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
516 Non-null optional arg FILES-ONLY means mention only file buffers. |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
517 |
40622
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
518 For more information, see the function `buffer-menu'." |
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
519 (interactive "P") |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
520 (display-buffer (list-buffers-noselect files-only))) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
521 |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
522 (defun Buffer-menu-buffer+size (name size &optional name-props size-props) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
523 (if (> (+ (length name) (length size) 2) Buffer-menu-buffer+size-width) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
524 (setq name |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
525 (if (string-match "<[0-9]+>$" name) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
526 (concat (substring name 0 |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
527 (- Buffer-menu-buffer+size-width |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
528 (max (length size) 3) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
529 (match-end 0) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
530 (- (match-beginning 0)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
531 2)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
532 ":" ; narrow ellipsis |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
533 (match-string 0 name)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
534 (concat (substring name 0 |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
535 (- Buffer-menu-buffer+size-width |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
536 (max (length size) 3) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
537 2)) |
49046
d6e1c5f7f468
(Buffer-menu-buffer+size): Don't clobber buffer name.
Andreas Schwab <schwab@suse.de>
parents:
48889
diff
changeset
|
538 ":"))) ; narrow ellipsis |
d6e1c5f7f468
(Buffer-menu-buffer+size): Don't clobber buffer name.
Andreas Schwab <schwab@suse.de>
parents:
48889
diff
changeset
|
539 ;; Don't put properties on (buffer-name). |
d6e1c5f7f468
(Buffer-menu-buffer+size): Don't clobber buffer name.
Andreas Schwab <schwab@suse.de>
parents:
48889
diff
changeset
|
540 (setq name (copy-sequence name))) |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
541 (add-text-properties 0 (length name) name-props name) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
542 (add-text-properties 0 (length size) size-props size) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
543 (concat name |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
544 (make-string (- Buffer-menu-buffer+size-width |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
545 (length name) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
546 (length size)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
547 ? ) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
548 size)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
549 |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
550 (defun list-buffers-noselect (&optional files-only) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
551 "Create and return a buffer with a list of names of existing buffers. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
552 The buffer is named `*Buffer List*'. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
553 Note that buffers with names starting with spaces are omitted. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
554 Non-null optional arg FILES-ONLY means mention only file buffers. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
555 |
40622
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
556 For more information, see the function `buffer-menu'." |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
557 (let* ((old-buffer (current-buffer)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
558 (standard-output standard-output) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
559 (mode-end (make-string (- Buffer-menu-mode-width 2) ? )) |
50172
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
560 (header (concat (propertize "CRM " 'face 'fixed-pitch) |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
561 (Buffer-menu-buffer+size "Buffer" "Size") |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
562 " Mode" mode-end "File\n")) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
563 list desired-point name file mode) |
50172
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
564 (when Buffer-menu-use-header-line |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
565 (let ((spaces |
51443
77bc7a2e6bef
(list-buffers-noselect): Use window-inside-edges
Richard M. Stallman <rms@gnu.org>
parents:
50172
diff
changeset
|
566 (- (car (window-inside-edges)) |
77bc7a2e6bef
(list-buffers-noselect): Use window-inside-edges
Richard M. Stallman <rms@gnu.org>
parents:
50172
diff
changeset
|
567 (car (window-edges)))) |
50172
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
568 (pos 0)) |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
569 ;; Turn spaces in the header into stretch specs so they work |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
570 ;; regardless of the header-line face. |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
571 (while (string-match "[ \t]+" header pos) |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
572 (setq pos (match-end 0)) |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
573 (put-text-property (match-beginning 0) pos 'display |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
574 ;; Assume fixed-size chars |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
575 (list 'space :align-to (+ spaces pos)) |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
576 header)) |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
577 ;; Add the leading space |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
578 (setq header (concat (propertize (make-string (floor spaces) ? ) |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
579 'display (list 'space :width spaces)) |
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
580 header)))) |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
581 (save-excursion |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
582 (set-buffer (get-buffer-create "*Buffer List*")) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
583 (setq buffer-read-only nil) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
584 (erase-buffer) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
585 (setq standard-output (current-buffer)) |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
586 (unless Buffer-menu-use-header-line |
51443
77bc7a2e6bef
(list-buffers-noselect): Use window-inside-edges
Richard M. Stallman <rms@gnu.org>
parents:
50172
diff
changeset
|
587 (insert header (propertize "---" 'face 'fixed-pitch) " ") |
77bc7a2e6bef
(list-buffers-noselect): Use window-inside-edges
Richard M. Stallman <rms@gnu.org>
parents:
50172
diff
changeset
|
588 (insert (Buffer-menu-buffer+size "------" "----")) |
77bc7a2e6bef
(list-buffers-noselect): Use window-inside-edges
Richard M. Stallman <rms@gnu.org>
parents:
50172
diff
changeset
|
589 (insert " ----" mode-end "----\n") |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
590 (put-text-property 1 (point) 'intangible t)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
591 (setq list |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
592 (delq t |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
593 (mapcar |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
594 (lambda (buffer) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
595 (with-current-buffer buffer |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
596 (setq name (buffer-name) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
597 file (buffer-file-name)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
598 (cond |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
599 ;; Don't mention internal buffers. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
600 ((and (string= (substring name 0 1) " ") (null file))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
601 ;; Maybe don't mention buffers without files. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
602 ((and files-only (not file))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
603 ((string= name "*Buffer List*")) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
604 ;; Otherwise output info. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
605 (t |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
606 (unless file |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
607 ;; No visited file. Check local value of |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
608 ;; list-buffers-directory. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
609 (when (and (boundp 'list-buffers-directory) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
610 list-buffers-directory) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
611 (setq file list-buffers-directory))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
612 (list buffer |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
613 (format "%c%c%c " |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
614 (if (eq buffer old-buffer) ?. ? ) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
615 ;; Handle readonly status. The output buffer is special |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
616 ;; cased to appear readonly; it is actually made so at a |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
617 ;; later date. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
618 (if (or (eq buffer standard-output) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
619 buffer-read-only) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
620 ?% ? ) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
621 ;; Identify modified buffers. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
622 (if (buffer-modified-p) ?* ? )) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
623 name (buffer-size) mode-name file))))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
624 (buffer-list)))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
625 (dolist (buffer |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
626 (if Buffer-menu-sort-column |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
627 (sort list |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
628 (if (eq Buffer-menu-sort-column 3) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
629 (lambda (a b) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
630 (< (nth Buffer-menu-sort-column a) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
631 (nth Buffer-menu-sort-column b))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
632 (lambda (a b) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
633 (string< (nth Buffer-menu-sort-column a) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
634 (nth Buffer-menu-sort-column b))))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
635 list)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
636 (if (eq (car buffer) old-buffer) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
637 (setq desired-point (point))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
638 (insert (cadr buffer) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
639 ;; Put the buffer name into a text property |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
640 ;; so we don't have to extract it from the text. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
641 ;; This way we avoid problems with unusual buffer names. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
642 (Buffer-menu-buffer+size (nth 2 buffer) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
643 (int-to-string (nth 3 buffer)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
644 `(buffer-name ,(nth 2 buffer) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
645 buffer ,(car buffer) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
646 face Buffer-menu-buffer-face |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
647 mouse-face highlight |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
648 help-echo "mouse-2: select this buffer")) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
649 " " |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
650 (if (> (length (nth 4 buffer)) Buffer-menu-mode-width) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
651 (substring (nth 4 buffer) 0 Buffer-menu-mode-width) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
652 (nth 4 buffer))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
653 (when (nth 5 buffer) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
654 (indent-to (+ Buffer-menu-buffer-column Buffer-menu-buffer+size-width |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
655 Buffer-menu-mode-width 4) 1) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
656 (princ (abbreviate-file-name (nth 5 buffer)))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
657 (princ "\n")) |
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
658 (Buffer-menu-mode) |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
659 (when Buffer-menu-use-header-line |
50172
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
660 (setq header-line-format header)) |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
661 ;; DESIRED-POINT doesn't have to be set; it is not when the |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
662 ;; current buffer is not displayed for some reason. |
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
663 (and desired-point |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
664 (goto-char desired-point)) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
665 (current-buffer)))) |
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
666 |
662
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
194
diff
changeset
|
667 ;;; buff-menu.el ends here |