Mercurial > emacs
annotate lisp/buff-menu.el @ 48887:e846f8d1619c
(Info-dir-remove-duplicates): Avoid infloop when
deleting last entry.
author | John Paul Wallington <jpw@pobox.com> |
---|---|
date | Wed, 18 Dec 2002 05:16:09 +0000 |
parents | 02944b0aaecd |
children | ec1a96fb72d6 |
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 |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
3 ;; Copyright (C) 1985, 86, 87, 93, 94, 95, 2000, 2001, 2002 |
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 |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
82 (defcustom Buffer-menu-buffer+size-width 21 |
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 |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
87 (defcustom Buffer-menu-mode-width 11 |
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 |
194 | 99 (defvar Buffer-menu-mode-map nil "") |
100 | |
101 (if Buffer-menu-mode-map | |
102 () | |
103 (setq Buffer-menu-mode-map (make-keymap)) | |
104 (suppress-keymap Buffer-menu-mode-map t) | |
21093
aa96b119d0ef
(Buffer-menu-quit): Function deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20655
diff
changeset
|
105 (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
|
106 (define-key Buffer-menu-mode-map "v" 'Buffer-menu-select) |
194 | 107 (define-key Buffer-menu-mode-map "2" 'Buffer-menu-2-window) |
108 (define-key Buffer-menu-mode-map "1" 'Buffer-menu-1-window) | |
109 (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
|
110 (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
|
111 (define-key Buffer-menu-mode-map "\C-m" 'Buffer-menu-this-window) |
194 | 112 (define-key Buffer-menu-mode-map "o" 'Buffer-menu-other-window) |
735 | 113 (define-key Buffer-menu-mode-map "\C-o" 'Buffer-menu-switch-other-window) |
194 | 114 (define-key Buffer-menu-mode-map "s" 'Buffer-menu-save) |
115 (define-key Buffer-menu-mode-map "d" 'Buffer-menu-delete) | |
116 (define-key Buffer-menu-mode-map "k" 'Buffer-menu-delete) | |
117 (define-key Buffer-menu-mode-map "\C-d" 'Buffer-menu-delete-backwards) | |
118 (define-key Buffer-menu-mode-map "\C-k" 'Buffer-menu-delete) | |
119 (define-key Buffer-menu-mode-map "x" 'Buffer-menu-execute) | |
120 (define-key Buffer-menu-mode-map " " 'next-line) | |
121 (define-key Buffer-menu-mode-map "n" 'next-line) | |
122 (define-key Buffer-menu-mode-map "p" 'previous-line) | |
123 (define-key Buffer-menu-mode-map "\177" 'Buffer-menu-backup-unmark) | |
124 (define-key Buffer-menu-mode-map "~" 'Buffer-menu-not-modified) | |
125 (define-key Buffer-menu-mode-map "?" 'describe-mode) | |
126 (define-key Buffer-menu-mode-map "u" 'Buffer-menu-unmark) | |
127 (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
|
128 (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
|
129 (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
|
130 (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
|
131 (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
|
132 (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
|
133 (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
|
134 ) |
194 | 135 |
136 ;; Buffer Menu mode is suitable only for specially formatted data. | |
137 (put 'Buffer-menu-mode 'mode-class 'special) | |
138 | |
139 (defun Buffer-menu-mode () | |
140 "Major mode for editing a list of buffers. | |
141 Each line describes one of the buffers in Emacs. | |
142 Letters do not insert themselves; instead, they are commands. | |
143 \\<Buffer-menu-mode-map> | |
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
144 \\[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
|
145 \\[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
|
146 \\[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
|
147 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
|
148 \\[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
|
149 \\[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
|
150 another window, in view-mode. |
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
151 \\[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
|
152 \\[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
|
153 \\[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
|
154 Also show buffers marked with m, in other windows. |
777 | 155 \\[Buffer-menu-1-window] -- select that buffer in full-frame window. |
194 | 156 \\[Buffer-menu-2-window] -- select that buffer in one window, |
157 together with buffer selected before this one in another window. | |
158 \\[Buffer-menu-visit-tags-table] -- visit-tags-table this buffer. | |
159 \\[Buffer-menu-not-modified] -- clear modified-flag on that buffer. | |
160 \\[Buffer-menu-save] -- mark that buffer to be saved, and move down. | |
161 \\[Buffer-menu-delete] -- mark that buffer to be deleted, and move down. | |
162 \\[Buffer-menu-delete-backwards] -- mark that buffer to be deleted, and move up. | |
163 \\[Buffer-menu-execute] -- delete or save marked buffers. | |
164 \\[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
|
165 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
|
166 \\[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
|
167 \\[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
|
168 \\[Buffer-menu-revert] -- update the list of buffers. |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
169 \\[Buffer-menu-bury] -- bury the buffer listed on this line." |
194 | 170 (kill-all-local-variables) |
171 (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
|
172 (setq major-mode 'Buffer-menu-mode) |
61e40a447c92
(Buffer-menu-mode): Add mouse-face properties.
Karl Heuer <kwzh@gnu.org>
parents:
6609
diff
changeset
|
173 (setq mode-name "Buffer Menu") |
8161
6b104526819d
(Buffer-menu-revert-function): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7659
diff
changeset
|
174 (make-local-variable 'revert-buffer-function) |
6b104526819d
(Buffer-menu-revert-function): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7659
diff
changeset
|
175 (setq revert-buffer-function 'Buffer-menu-revert-function) |
194 | 176 (setq truncate-lines t) |
177 (setq buffer-read-only t) | |
178 (run-hooks 'buffer-menu-mode-hook)) | |
8161
6b104526819d
(Buffer-menu-revert-function): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7659
diff
changeset
|
179 |
16401
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
180 (defun Buffer-menu-revert () |
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
181 "Update the list of buffers." |
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
182 (interactive) |
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
183 (revert-buffer)) |
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
184 |
8161
6b104526819d
(Buffer-menu-revert-function): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7659
diff
changeset
|
185 (defun Buffer-menu-revert-function (ignore1 ignore2) |
6b104526819d
(Buffer-menu-revert-function): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7659
diff
changeset
|
186 (list-buffers)) |
194 | 187 |
188 (defun Buffer-menu-buffer (error-if-non-existent-p) | |
189 "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
|
190 (let* ((where (save-excursion |
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
191 (beginning-of-line) |
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
192 (+ (point) Buffer-menu-buffer-column))) |
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
193 (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
|
194 (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
|
195 (if name |
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
196 (or (get-buffer name) |
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
197 (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
|
198 (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
|
199 (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
|
200 nil)) |
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
201 (or (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
|
202 (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
|
203 (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
|
204 nil))))) |
194 | 205 |
756 | 206 (defun buffer-menu (&optional arg) |
194 | 207 "Make a menu of buffers so you can save, delete or select them. |
208 With argument, show only buffers that are visiting files. | |
209 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
|
210 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
|
211 |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
212 The first column shows `>' for a buffer you have |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
213 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
|
214 deletion, and `.' for the current buffer. |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
215 |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
216 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
|
217 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
|
218 The M column has a `*' if it is modified, |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
219 or `S' if you have marked it for saving. |
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
220 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
|
221 its major mode, and the visited file name (if any)." |
194 | 222 (interactive "P") |
2736
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
223 ;;; (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
|
224 (switch-to-buffer (list-buffers-noselect arg)) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
225 (message |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
226 "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
|
227 |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
228 (defun buffer-menu-other-window (&optional arg) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
229 "Display a list of buffers in another window. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
230 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
|
231 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
|
232 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
|
233 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
|
234 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
|
235 (interactive "P") |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
236 ;;; (setq Buffer-menu-window-config (current-window-configuration)) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
237 (switch-to-buffer-other-window (list-buffers-noselect arg)) |
194 | 238 (message |
2736
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
239 "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
|
240 |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
241 (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
|
242 (beginning-of-line) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
243 (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
|
244 (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
|
245 t |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
246 (ding) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
247 (forward-line 1) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
248 nil)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
249 |
194 | 250 (defun Buffer-menu-mark () |
251 "Mark buffer on this line for being displayed by \\<Buffer-menu-mode-map>\\[Buffer-menu-select] command." | |
252 (interactive) | |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
253 (when (Buffer-menu-no-header) |
194 | 254 (let ((buffer-read-only nil)) |
255 (delete-char 1) | |
256 (insert ?>) | |
257 (forward-line 1)))) | |
258 | |
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
|
259 (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
|
260 "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
|
261 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
|
262 (interactive "P") |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
263 (when (Buffer-menu-no-header) |
194 | 264 (let* ((buf (Buffer-menu-buffer t)) |
265 (mod (buffer-modified-p buf)) | |
266 (readonly (save-excursion (set-buffer buf) buffer-read-only)) | |
267 (buffer-read-only nil)) | |
268 (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
|
269 (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
|
270 (forward-line (if backup -1 1))) |
194 | 271 |
272 (defun Buffer-menu-backup-unmark () | |
273 "Move up and cancel all requested operations on buffer on line above." | |
274 (interactive) | |
275 (forward-line -1) | |
276 (Buffer-menu-unmark) | |
277 (forward-line -1)) | |
278 | |
9063
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
279 (defun Buffer-menu-delete (&optional arg) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
280 "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
|
281 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
|
282 Negative arg means delete backwards." |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
283 (interactive "p") |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
284 (when (Buffer-menu-no-header) |
194 | 285 (let ((buffer-read-only nil)) |
9063
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
286 (if (or (null arg) (= arg 0)) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
287 (setq arg 1)) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
288 (while (> arg 0) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
289 (delete-char 1) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
290 (insert ?D) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
291 (forward-line 1) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
292 (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
|
293 (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
|
294 (Buffer-menu-no-header)) |
9063
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
295 (delete-char 1) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
296 (insert ?D) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
297 (forward-line -1) |
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
298 (setq arg (1+ arg)))))) |
194 | 299 |
9063
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
300 (defun Buffer-menu-delete-backwards (&optional arg) |
194 | 301 "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
|
302 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
|
303 (interactive "p") |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
304 (Buffer-menu-delete (- (or arg 1)))) |
194 | 305 |
306 (defun Buffer-menu-save () | |
307 "Mark buffer on this line to be saved by \\<Buffer-menu-mode-map>\\[Buffer-menu-execute] command." | |
308 (interactive) | |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
309 (when (Buffer-menu-no-header) |
194 | 310 (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
|
311 (forward-char 2) |
194 | 312 (delete-char 1) |
313 (insert ?S) | |
314 (forward-line 1)))) | |
315 | |
8196
89db3662bcec
(Buffer-menu-not-modified): Make `Buffer-menu-not-modified' handle an
Richard M. Stallman <rms@gnu.org>
parents:
8161
diff
changeset
|
316 (defun Buffer-menu-not-modified (&optional arg) |
194 | 317 "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
|
318 (interactive "P") |
194 | 319 (save-excursion |
320 (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
|
321 (set-buffer-modified-p arg)) |
194 | 322 (save-excursion |
323 (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
|
324 (forward-char 2) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
325 (if (= (char-after) (if arg ? ?*)) |
194 | 326 (let ((buffer-read-only nil)) |
327 (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
|
328 (insert (if arg ?* ? )))))) |
194 | 329 |
330 (defun Buffer-menu-execute () | |
331 "Save and/or delete buffers marked with \\<Buffer-menu-mode-map>\\[Buffer-menu-save] or \\<Buffer-menu-mode-map>\\[Buffer-menu-delete] commands." | |
332 (interactive) | |
333 (save-excursion | |
334 (goto-char (point-min)) | |
335 (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
|
336 (while (re-search-forward "^..S" nil t) |
194 | 337 (let ((modp nil)) |
338 (save-excursion | |
339 (set-buffer (Buffer-menu-buffer t)) | |
340 (save-buffer) | |
341 (setq modp (buffer-modified-p))) | |
342 (let ((buffer-read-only nil)) | |
343 (delete-char -1) | |
344 (insert (if modp ?* ? )))))) | |
345 (save-excursion | |
346 (goto-char (point-min)) | |
347 (forward-line 1) | |
348 (let ((buff-menu-buffer (current-buffer)) | |
349 (buffer-read-only nil)) | |
350 (while (search-forward "\nD" nil t) | |
351 (forward-char -1) | |
352 (let ((buf (Buffer-menu-buffer nil))) | |
353 (or (eq buf nil) | |
354 (eq buf buff-menu-buffer) | |
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
355 (save-excursion (kill-buffer buf))) |
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
356 (if (and buf (buffer-name buf)) |
194 | 357 (progn (delete-char 1) |
358 (insert ? )) | |
359 (delete-region (point) (progn (forward-line 1) (point))) | |
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
360 (forward-char -1))))))) |
194 | 361 |
362 (defun Buffer-menu-select () | |
363 "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
|
364 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
|
365 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
|
366 in the selected frame." |
194 | 367 (interactive) |
368 (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
|
369 (menu (current-buffer)) |
194 | 370 (others ()) |
371 tem) | |
372 (goto-char (point-min)) | |
373 (while (search-forward "\n>" nil t) | |
374 (setq tem (Buffer-menu-buffer t)) | |
375 (let ((buffer-read-only nil)) | |
376 (delete-char -1) | |
377 (insert ?\ )) | |
378 (or (eq tem buff) (memq tem others) (setq others (cons tem others)))) | |
379 (setq others (nreverse others) | |
777 | 380 tem (/ (1- (frame-height)) (1+ (length others)))) |
194 | 381 (delete-other-windows) |
382 (switch-to-buffer buff) | |
383 (or (eq menu buff) | |
384 (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
|
385 (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
|
386 (progn |
2736
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
387 ;;; ;; 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
|
388 ;;; ;; selected buffers. |
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
389 ;;; (if Buffer-menu-window-config |
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
390 ;;; (progn |
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
391 ;;; (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
|
392 ;;; (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
|
393 (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
|
394 (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
|
395 (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
|
396 (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
|
397 (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
|
398 (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
|
399 (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
|
400 ))) |
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 |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
402 |
194 | 403 |
404 (defun Buffer-menu-visit-tags-table () | |
405 "Visit the tags table in the buffer on this line. See `visit-tags-table'." | |
406 (interactive) | |
407 (let ((file (buffer-file-name (Buffer-menu-buffer t)))) | |
408 (if file | |
409 (visit-tags-table file) | |
410 (error "Specified buffer has no file")))) | |
411 | |
412 (defun Buffer-menu-1-window () | |
777 | 413 "Select this line's buffer, alone, in full frame." |
194 | 414 (interactive) |
415 (switch-to-buffer (Buffer-menu-buffer t)) | |
416 (bury-buffer (other-buffer)) | |
417 (delete-other-windows)) | |
418 | |
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
419 (defun Buffer-menu-mouse-select (event) |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
420 "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
|
421 (interactive "e") |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
422 (let (buffer) |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
423 (save-excursion |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
424 (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
|
425 (save-excursion |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
426 (goto-char (posn-point (event-end event))) |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
427 (setq buffer (Buffer-menu-buffer t)))) |
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
428 (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
|
429 (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
|
430 (eq (selected-window) (frame-root-window))) |
ed3bbbdd9ef5
(Buffer-menu-mouse-select): Handle dedicated window.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
431 (switch-to-buffer-other-frame buffer) |
ed3bbbdd9ef5
(Buffer-menu-mouse-select): Handle dedicated window.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
432 (switch-to-buffer buffer)))) |
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
433 |
194 | 434 (defun Buffer-menu-this-window () |
435 "Select this line's buffer in this window." | |
436 (interactive) | |
437 (switch-to-buffer (Buffer-menu-buffer t))) | |
438 | |
439 (defun Buffer-menu-other-window () | |
440 "Select this line's buffer in other window, leaving buffer menu visible." | |
441 (interactive) | |
442 (switch-to-buffer-other-window (Buffer-menu-buffer t))) | |
443 | |
735 | 444 (defun Buffer-menu-switch-other-window () |
445 "Make the other window select this line's buffer. | |
446 The current window remains selected." | |
447 (interactive) | |
448 (display-buffer (Buffer-menu-buffer t))) | |
449 | |
194 | 450 (defun Buffer-menu-2-window () |
451 "Select this line's buffer, with previous buffer in second window." | |
452 (interactive) | |
453 (let ((buff (Buffer-menu-buffer t)) | |
454 (menu (current-buffer)) | |
455 (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
|
456 (delete-other-windows) |
194 | 457 (switch-to-buffer (other-buffer)) |
458 (pop-to-buffer buff) | |
459 (bury-buffer menu))) | |
662
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
194
diff
changeset
|
460 |
2378
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
461 (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
|
462 "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
|
463 (interactive) |
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
464 (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
|
465 (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
|
466 (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
|
467 (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
|
468 (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
|
469 (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
|
470 (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
|
471 (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
|
472 (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
|
473 (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
|
474 (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
|
475 (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
|
476 |
18278
4f78346eb734
(Buffer-menu-bury): New command.
Richard M. Stallman <rms@gnu.org>
parents:
16401
diff
changeset
|
477 (defun Buffer-menu-bury () |
4f78346eb734
(Buffer-menu-bury): New command.
Richard M. Stallman <rms@gnu.org>
parents:
16401
diff
changeset
|
478 "Bury the buffer listed on this line." |
4f78346eb734
(Buffer-menu-bury): New command.
Richard M. Stallman <rms@gnu.org>
parents:
16401
diff
changeset
|
479 (interactive) |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
480 (when (Buffer-menu-no-header) |
18280
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
481 (save-excursion |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
482 (beginning-of-line) |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
483 (bury-buffer (Buffer-menu-buffer t)) |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
484 (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
|
485 (buffer-read-only nil)) |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
486 (delete-region (point) (progn (forward-line -1) (point))) |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
487 (goto-char (point-max)) |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
488 (insert line)) |
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
489 (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
|
490 |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
491 |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
492 (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
|
493 "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
|
494 (interactive) |
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
495 (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
|
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-other-window () |
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 in another window." |
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-other-window (Buffer-menu-buffer t))) |
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
502 |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
503 |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
504 (define-key ctl-x-map "\C-b" 'list-buffers) |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
505 |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
506 (defun list-buffers (&optional files-only) |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
507 "Display a list of names of existing buffers. |
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
508 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
|
509 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
|
510 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
|
511 |
40622
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
512 For more information, see the function `buffer-menu'." |
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
513 (interactive "P") |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
514 (display-buffer (list-buffers-noselect files-only))) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
515 |
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
516 (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
|
517 (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
|
518 (setq name |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
519 (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
|
520 (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
|
521 (- 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
|
522 (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
|
523 (match-end 0) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
524 (- (match-beginning 0)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
525 2)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
526 ":" ; narrow ellipsis |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
527 (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
|
528 (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
|
529 (- 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
|
530 (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
|
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 (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
|
534 (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
|
535 (concat name |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
536 (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
|
537 (length name) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
538 (length size)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
539 ? ) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
540 size)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
541 |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
542 (defun list-buffers-noselect (&optional files-only) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
543 "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
|
544 The buffer is named `*Buffer List*'. |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
545 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
|
546 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
|
547 |
40622
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
548 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
|
549 (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
|
550 (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
|
551 (mode-end (make-string (- Buffer-menu-mode-width 2) ? )) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
552 (header (concat "CRM " (Buffer-menu-buffer+size "Buffer" "Size") |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
553 " 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
|
554 list desired-point name file mode) |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
555 (save-excursion |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
556 (set-buffer (get-buffer-create "*Buffer List*")) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
557 (setq buffer-read-only nil) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
558 (erase-buffer) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
559 (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
|
560 (unless 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
|
561 (insert header "--- ------") |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
562 (indent-to 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
|
563 (insert "---- ----" mode-end "----\n") |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
564 (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
|
565 (setq list |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
566 (delq t |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
567 (mapcar |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
568 (lambda (buffer) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
569 (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
|
570 (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
|
571 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
|
572 (cond |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
573 ;; 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
|
574 ((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
|
575 ;; 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
|
576 ((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
|
577 ((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
|
578 ;; Otherwise output info. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
579 (t |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
580 (unless file |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
581 ;; 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
|
582 ;; list-buffers-directory. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
583 (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
|
584 list-buffers-directory) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
585 (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
|
586 (list buffer |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
587 (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
|
588 (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
|
589 ;; 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
|
590 ;; 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
|
591 ;; later date. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
592 (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
|
593 buffer-read-only) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
594 ?% ? ) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
595 ;; Identify modified buffers. |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
596 (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
|
597 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
|
598 (buffer-list)))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
599 (dolist (buffer |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
600 (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
|
601 (sort list |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
602 (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
|
603 (lambda (a b) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
604 (< (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
|
605 (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
|
606 (lambda (a b) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
607 (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
|
608 (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
|
609 list)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
610 (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
|
611 (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
|
612 (insert (cadr buffer) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
613 ;; 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
|
614 ;; 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
|
615 ;; 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
|
616 (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
|
617 (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
|
618 `(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
|
619 buffer ,(car buffer) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
620 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
|
621 mouse-face highlight |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
622 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
|
623 " " |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
624 (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
|
625 (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
|
626 (nth 4 buffer))) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
627 (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
|
628 (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
|
629 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
|
630 (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
|
631 (princ "\n")) |
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
632 (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
|
633 (when 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
|
634 (set (make-local-variable 'Buffer-menu-header-line) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
635 (concat " " header)) |
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
636 (setq header-line-format 'Buffer-menu-header-line)) |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
637 ;; 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
|
638 ;; current buffer is not displayed for some reason. |
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
639 (and desired-point |
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
640 (goto-char desired-point)) |
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
641 (current-buffer)))) |
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
642 |
662
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
194
diff
changeset
|
643 ;;; buff-menu.el ends here |