Mercurial > emacs
annotate lisp/buff-menu.el @ 54736:b94de166de9d
(ethio-sera-being-called-by-w3): New
variable.
(ethio-sera-to-fidel-ethio): Check ethio-sera-being-called-by-w3
instead of sera-being-called-by-w3.
(ethio-fidel-to-sera-buffer): Likewise.
(ethio-find-file): Bind ethio-sera-being-called-by-w3 to t
instead of sera-being-called-by-w3.
(ethio-write-file): Likewise.
| author | Kenichi Handa <handa@m17n.org> |
|---|---|
| date | Mon, 05 Apr 2004 23:27:37 +0000 |
| parents | e30c06266ba0 |
| children | bc9ffd7cc15c |
| 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 |
|
54580
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
3 ;; Copyright (C) 1985, 86, 87, 93, 94, 95, 2000, 2001, 2002, 03, 2004 |
| 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 |
|
54580
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
50 ;;Trying to preserve the old window configuration works well in |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
51 ;;simple scenarios, when you enter the buffer menu, use it, and exit it. |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
52 ;;But it does strange things when you switch back to the buffer list buffer |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
53 ;;with C-x b, later on, when the window configuration is different. |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
54 ;;The choice seems to be, either restore the window configuration |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
55 ;;in all cases, or in no cases. |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
56 ;;I decided it was better not to restore the window config at all. -- rms. |
|
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
57 |
|
54580
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
58 ;;But since then, I changed buffer-menu to use the selected window, |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
59 ;;so q now once again goes back to the previous window configuration. |
|
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
60 |
|
54580
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
61 ;;(defvar Buffer-menu-window-config nil |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
62 ;; "Window configuration saved from entry to `buffer-menu'.") |
| 194 | 63 |
|
54580
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
64 ;; Put buffer *Buffer List* into proper mode right away |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
65 ;; so that from now on even list-buffers is enough to get a buffer menu. |
| 194 | 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 |
|
54580
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
92 ;; This should get updated & resorted when you click on a column heading |
|
48864
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 |
|
54594
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
102 (defvar Buffer-menu-files-only nil |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
103 "Non-nil if the current buffer-menu lists only file buffers. |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
104 This variable determines whether reverting the buffer lists only |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
105 file buffers. It affects both manual reverting and reverting by |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
106 Auto Revert Mode.") |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
107 |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
108 (make-variable-buffer-local 'Buffer-menu-files-only) |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
109 |
| 194 | 110 (if Buffer-menu-mode-map |
| 111 () | |
| 112 (setq Buffer-menu-mode-map (make-keymap)) | |
| 113 (suppress-keymap Buffer-menu-mode-map t) | |
|
21093
aa96b119d0ef
(Buffer-menu-quit): Function deleted.
Richard M. Stallman <rms@gnu.org>
parents:
20655
diff
changeset
|
114 (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
|
115 (define-key Buffer-menu-mode-map "v" 'Buffer-menu-select) |
| 194 | 116 (define-key Buffer-menu-mode-map "2" 'Buffer-menu-2-window) |
| 117 (define-key Buffer-menu-mode-map "1" 'Buffer-menu-1-window) | |
| 118 (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
|
119 (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
|
120 (define-key Buffer-menu-mode-map "\C-m" 'Buffer-menu-this-window) |
| 194 | 121 (define-key Buffer-menu-mode-map "o" 'Buffer-menu-other-window) |
| 735 | 122 (define-key Buffer-menu-mode-map "\C-o" 'Buffer-menu-switch-other-window) |
| 194 | 123 (define-key Buffer-menu-mode-map "s" 'Buffer-menu-save) |
| 124 (define-key Buffer-menu-mode-map "d" 'Buffer-menu-delete) | |
| 125 (define-key Buffer-menu-mode-map "k" 'Buffer-menu-delete) | |
| 126 (define-key Buffer-menu-mode-map "\C-d" 'Buffer-menu-delete-backwards) | |
| 127 (define-key Buffer-menu-mode-map "\C-k" 'Buffer-menu-delete) | |
| 128 (define-key Buffer-menu-mode-map "x" 'Buffer-menu-execute) | |
| 129 (define-key Buffer-menu-mode-map " " 'next-line) | |
| 130 (define-key Buffer-menu-mode-map "n" 'next-line) | |
| 131 (define-key Buffer-menu-mode-map "p" 'previous-line) | |
| 132 (define-key Buffer-menu-mode-map "\177" 'Buffer-menu-backup-unmark) | |
| 133 (define-key Buffer-menu-mode-map "~" 'Buffer-menu-not-modified) | |
| 134 (define-key Buffer-menu-mode-map "?" 'describe-mode) | |
| 135 (define-key Buffer-menu-mode-map "u" 'Buffer-menu-unmark) | |
| 136 (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
|
137 (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
|
138 (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
|
139 (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
|
140 (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
|
141 (define-key Buffer-menu-mode-map "V" 'Buffer-menu-view) |
|
54594
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
142 (define-key Buffer-menu-mode-map "T" 'Buffer-menu-toggle-files-only) |
|
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
143 (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
|
144 ) |
| 194 | 145 |
| 146 ;; Buffer Menu mode is suitable only for specially formatted data. | |
| 147 (put 'Buffer-menu-mode 'mode-class 'special) | |
| 148 | |
| 149 (defun Buffer-menu-mode () | |
| 150 "Major mode for editing a list of buffers. | |
| 151 Each line describes one of the buffers in Emacs. | |
| 152 Letters do not insert themselves; instead, they are commands. | |
| 153 \\<Buffer-menu-mode-map> | |
|
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
154 \\[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
|
155 \\[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
|
156 \\[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
|
157 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
|
158 \\[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
|
159 \\[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
|
160 another window, in view-mode. |
|
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
161 \\[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
|
162 \\[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
|
163 \\[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
|
164 Also show buffers marked with m, in other windows. |
| 777 | 165 \\[Buffer-menu-1-window] -- select that buffer in full-frame window. |
| 194 | 166 \\[Buffer-menu-2-window] -- select that buffer in one window, |
| 167 together with buffer selected before this one in another window. | |
| 168 \\[Buffer-menu-visit-tags-table] -- visit-tags-table this buffer. | |
| 169 \\[Buffer-menu-not-modified] -- clear modified-flag on that buffer. | |
| 170 \\[Buffer-menu-save] -- mark that buffer to be saved, and move down. | |
| 171 \\[Buffer-menu-delete] -- mark that buffer to be deleted, and move down. | |
| 172 \\[Buffer-menu-delete-backwards] -- mark that buffer to be deleted, and move up. | |
| 173 \\[Buffer-menu-execute] -- delete or save marked buffers. | |
| 174 \\[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
|
175 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
|
176 \\[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
|
177 \\[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
|
178 \\[Buffer-menu-revert] -- update the list of buffers. |
|
54594
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
179 \\[Buffer-menu-toggle-files-only] -- toggle whether the menu displays only file buffers. |
|
18280
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
180 \\[Buffer-menu-bury] -- bury the buffer listed on this line." |
| 194 | 181 (kill-all-local-variables) |
| 182 (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
|
183 (setq major-mode 'Buffer-menu-mode) |
|
61e40a447c92
(Buffer-menu-mode): Add mouse-face properties.
Karl Heuer <kwzh@gnu.org>
parents:
6609
diff
changeset
|
184 (setq mode-name "Buffer Menu") |
|
54594
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
185 (set (make-local-variable 'revert-buffer-function) |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
186 'Buffer-menu-revert-function) |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
187 (set (make-local-variable 'buffer-stale-function) |
|
54670
e30c06266ba0
(Buffer-menu-mode): Make the buffer-stale-function return `fast'.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54594
diff
changeset
|
188 #'(lambda (&optional noconfirm) 'fast)) |
| 194 | 189 (setq truncate-lines t) |
| 190 (setq buffer-read-only t) | |
| 191 (run-hooks 'buffer-menu-mode-hook)) | |
|
8161
6b104526819d
(Buffer-menu-revert-function): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7659
diff
changeset
|
192 |
|
16401
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
193 (defun Buffer-menu-revert () |
|
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
194 "Update the list of buffers." |
|
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
195 (interactive) |
|
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
196 (revert-buffer)) |
|
249f797c3750
(Buffer-menu-revert): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
197 |
|
8161
6b104526819d
(Buffer-menu-revert-function): New function.
Richard M. Stallman <rms@gnu.org>
parents:
7659
diff
changeset
|
198 (defun Buffer-menu-revert-function (ignore1 ignore2) |
|
54594
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
199 ;; We can not use save-excursion here. The buffer gets erased. |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
200 (let ((old-point (point))) |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
201 (list-buffers-noselect Buffer-menu-files-only) |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
202 (goto-char old-point))) |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
203 |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
204 (defun Buffer-menu-toggle-files-only (arg) |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
205 "Toggle whether the current buffer-menu displays only file buffers. |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
206 With a positive ARG display only file buffers. With zero or |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
207 negative ARG, display other buffers as well." |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
208 (interactive "P") |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
209 (setq Buffer-menu-files-only |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
210 (cond ((not arg) (not Buffer-menu-files-only)) |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
211 ((> (prefix-numeric-value arg) 0) t))) |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
212 (revert-buffer)) |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
213 |
| 194 | 214 |
| 215 (defun Buffer-menu-buffer (error-if-non-existent-p) | |
| 216 "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
|
217 (let* ((where (save-excursion |
|
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
218 (beginning-of-line) |
|
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
219 (+ (point) Buffer-menu-buffer-column))) |
|
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
220 (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
|
221 (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
|
222 (if name |
|
896932ac8ced
(list-buffers-noselect): Put buffer name in a text
Richard M. Stallman <rms@gnu.org>
parents:
10765
diff
changeset
|
223 (or (get-buffer name) |
|
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
224 (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
|
225 (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
|
226 (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
|
227 nil)) |
|
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
228 (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
|
229 (if error-if-non-existent-p |
|
cd78fe221607
(Buffer-menu-mode-map): Add docstring.
John Paul Wallington <jpw@pobox.com>
parents:
49155
diff
changeset
|
230 (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
|
231 nil))))) |
| 194 | 232 |
| 756 | 233 (defun buffer-menu (&optional arg) |
| 194 | 234 "Make a menu of buffers so you can save, delete or select them. |
| 235 With argument, show only buffers that are visiting files. | |
| 236 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
|
237 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
|
238 |
|
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
239 The first column shows `>' for a buffer you have |
|
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
240 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
|
241 deletion, and `.' for the current buffer. |
|
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
242 |
|
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
243 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
|
244 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
|
245 The M column has a `*' if it is modified, |
|
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
246 or `S' if you have marked it for saving. |
|
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
247 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
|
248 its major mode, and the visited file name (if any)." |
| 194 | 249 (interactive "P") |
|
2736
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
250 ;;; (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
|
251 (switch-to-buffer (list-buffers-noselect arg)) |
|
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
252 (message |
|
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
253 "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
|
254 |
|
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
255 (defun buffer-menu-other-window (&optional arg) |
|
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
256 "Display a list of buffers in another window. |
|
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
257 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
|
258 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
|
259 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
|
260 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
|
261 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
|
262 (interactive "P") |
|
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
263 ;;; (setq Buffer-menu-window-config (current-window-configuration)) |
|
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
264 (switch-to-buffer-other-window (list-buffers-noselect arg)) |
| 194 | 265 (message |
|
2736
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
266 "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
|
267 |
|
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
268 (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
|
269 (beginning-of-line) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
270 (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
|
271 (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
|
272 t |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
273 (ding) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
274 (forward-line 1) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
275 nil)) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
276 |
| 194 | 277 (defun Buffer-menu-mark () |
| 278 "Mark buffer on this line for being displayed by \\<Buffer-menu-mode-map>\\[Buffer-menu-select] command." | |
| 279 (interactive) | |
|
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
280 (when (Buffer-menu-no-header) |
| 194 | 281 (let ((buffer-read-only nil)) |
| 282 (delete-char 1) | |
| 283 (insert ?>) | |
| 284 (forward-line 1)))) | |
| 285 | |
|
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
|
286 (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
|
287 "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
|
288 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
|
289 (interactive "P") |
|
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
290 (when (Buffer-menu-no-header) |
| 194 | 291 (let* ((buf (Buffer-menu-buffer t)) |
| 292 (mod (buffer-modified-p buf)) | |
| 293 (readonly (save-excursion (set-buffer buf) buffer-read-only)) | |
| 294 (buffer-read-only nil)) | |
| 295 (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
|
296 (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
|
297 (forward-line (if backup -1 1))) |
| 194 | 298 |
| 299 (defun Buffer-menu-backup-unmark () | |
| 300 "Move up and cancel all requested operations on buffer on line above." | |
| 301 (interactive) | |
| 302 (forward-line -1) | |
| 303 (Buffer-menu-unmark) | |
| 304 (forward-line -1)) | |
| 305 | |
|
9063
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
306 (defun Buffer-menu-delete (&optional arg) |
|
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
307 "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
|
308 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
|
309 Negative arg means delete backwards." |
|
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
310 (interactive "p") |
|
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
311 (when (Buffer-menu-no-header) |
| 194 | 312 (let ((buffer-read-only nil)) |
|
9063
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
313 (if (or (null arg) (= arg 0)) |
|
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
314 (setq arg 1)) |
|
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
315 (while (> arg 0) |
|
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
316 (delete-char 1) |
|
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
317 (insert ?D) |
|
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
318 (forward-line 1) |
|
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
319 (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
|
320 (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
|
321 (Buffer-menu-no-header)) |
|
9063
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
322 (delete-char 1) |
|
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
323 (insert ?D) |
|
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
324 (forward-line -1) |
|
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
325 (setq arg (1+ arg)))))) |
| 194 | 326 |
|
9063
d6913bc11bb2
(Buffer-menu-delete): Handle prefix arg.
Richard M. Stallman <rms@gnu.org>
parents:
8365
diff
changeset
|
327 (defun Buffer-menu-delete-backwards (&optional arg) |
| 194 | 328 "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
|
329 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
|
330 (interactive "p") |
|
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
331 (Buffer-menu-delete (- (or arg 1)))) |
| 194 | 332 |
| 333 (defun Buffer-menu-save () | |
| 334 "Mark buffer on this line to be saved by \\<Buffer-menu-mode-map>\\[Buffer-menu-execute] command." | |
| 335 (interactive) | |
|
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
336 (when (Buffer-menu-no-header) |
| 194 | 337 (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
|
338 (forward-char 2) |
| 194 | 339 (delete-char 1) |
| 340 (insert ?S) | |
| 341 (forward-line 1)))) | |
| 342 | |
|
8196
89db3662bcec
(Buffer-menu-not-modified): Make `Buffer-menu-not-modified' handle an
Richard M. Stallman <rms@gnu.org>
parents:
8161
diff
changeset
|
343 (defun Buffer-menu-not-modified (&optional arg) |
| 194 | 344 "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
|
345 (interactive "P") |
| 194 | 346 (save-excursion |
| 347 (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
|
348 (set-buffer-modified-p arg)) |
| 194 | 349 (save-excursion |
| 350 (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
|
351 (forward-char 2) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
352 (if (= (char-after) (if arg ? ?*)) |
| 194 | 353 (let ((buffer-read-only nil)) |
| 354 (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
|
355 (insert (if arg ?* ? )))))) |
| 194 | 356 |
| 357 (defun Buffer-menu-execute () | |
| 358 "Save and/or delete buffers marked with \\<Buffer-menu-mode-map>\\[Buffer-menu-save] or \\<Buffer-menu-mode-map>\\[Buffer-menu-delete] commands." | |
| 359 (interactive) | |
| 360 (save-excursion | |
| 361 (goto-char (point-min)) | |
|
49050
8b38bac9826a
(Buffer-menu-execute): Fix for effect of header
Dave Love <fx@gnu.org>
parents:
49046
diff
changeset
|
362 (unless Buffer-menu-use-header-line |
|
8b38bac9826a
(Buffer-menu-execute): Fix for effect of header
Dave Love <fx@gnu.org>
parents:
49046
diff
changeset
|
363 (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
|
364 (while (re-search-forward "^..S" nil t) |
| 194 | 365 (let ((modp nil)) |
| 366 (save-excursion | |
| 367 (set-buffer (Buffer-menu-buffer t)) | |
| 368 (save-buffer) | |
| 369 (setq modp (buffer-modified-p))) | |
| 370 (let ((buffer-read-only nil)) | |
| 371 (delete-char -1) | |
| 372 (insert (if modp ?* ? )))))) | |
| 373 (save-excursion | |
| 374 (goto-char (point-min)) | |
|
49050
8b38bac9826a
(Buffer-menu-execute): Fix for effect of header
Dave Love <fx@gnu.org>
parents:
49046
diff
changeset
|
375 (unless Buffer-menu-use-header-line |
|
8b38bac9826a
(Buffer-menu-execute): Fix for effect of header
Dave Love <fx@gnu.org>
parents:
49046
diff
changeset
|
376 (forward-line 1)) |
| 194 | 377 (let ((buff-menu-buffer (current-buffer)) |
| 378 (buffer-read-only nil)) | |
|
49050
8b38bac9826a
(Buffer-menu-execute): Fix for effect of header
Dave Love <fx@gnu.org>
parents:
49046
diff
changeset
|
379 (while (re-search-forward "^D" nil t) |
| 194 | 380 (forward-char -1) |
| 381 (let ((buf (Buffer-menu-buffer nil))) | |
| 382 (or (eq buf nil) | |
| 383 (eq buf buff-menu-buffer) | |
|
30828
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
384 (save-excursion (kill-buffer buf))) |
|
26dae0a7f527
(list-buffers-noselect): Set `buffer' as well as
Gerd Moellmann <gerd@gnu.org>
parents:
30824
diff
changeset
|
385 (if (and buf (buffer-name buf)) |
| 194 | 386 (progn (delete-char 1) |
| 387 (insert ? )) | |
| 388 (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
|
389 (unless (bobp) |
|
8b38bac9826a
(Buffer-menu-execute): Fix for effect of header
Dave Love <fx@gnu.org>
parents:
49046
diff
changeset
|
390 (forward-char -1)))))))) |
| 194 | 391 |
| 392 (defun Buffer-menu-select () | |
| 393 "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
|
394 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
|
395 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
|
396 in the selected frame." |
| 194 | 397 (interactive) |
| 398 (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
|
399 (menu (current-buffer)) |
| 194 | 400 (others ()) |
| 401 tem) | |
| 402 (goto-char (point-min)) | |
|
49155
e8a430c172dc
(Buffer-menu-select): Fix for effect of header line.
Andreas Schwab <schwab@suse.de>
parents:
49050
diff
changeset
|
403 (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
|
404 (forward-line 1)) |
|
e8a430c172dc
(Buffer-menu-select): Fix for effect of header line.
Andreas Schwab <schwab@suse.de>
parents:
49050
diff
changeset
|
405 (while (re-search-forward "^>" nil t) |
| 194 | 406 (setq tem (Buffer-menu-buffer t)) |
| 407 (let ((buffer-read-only nil)) | |
| 408 (delete-char -1) | |
| 409 (insert ?\ )) | |
| 410 (or (eq tem buff) (memq tem others) (setq others (cons tem others)))) | |
| 411 (setq others (nreverse others) | |
| 777 | 412 tem (/ (1- (frame-height)) (1+ (length others)))) |
| 194 | 413 (delete-other-windows) |
| 414 (switch-to-buffer buff) | |
| 415 (or (eq menu buff) | |
| 416 (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
|
417 (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
|
418 (progn |
|
2736
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
419 ;;; ;; 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
|
420 ;;; ;; selected buffers. |
|
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
421 ;;; (if Buffer-menu-window-config |
|
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
422 ;;; (progn |
|
d6ff54640930
(buffer-menu): Don't save a window config.
Richard M. Stallman <rms@gnu.org>
parents:
2422
diff
changeset
|
423 ;;; (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
|
424 ;;; (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
|
425 (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
|
426 (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
|
427 (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
|
428 (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
|
429 (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
|
430 (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
|
431 (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
|
432 ))) |
|
ec4ffd67483d
Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
433 |
|
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
434 |
| 194 | 435 |
| 436 (defun Buffer-menu-visit-tags-table () | |
| 437 "Visit the tags table in the buffer on this line. See `visit-tags-table'." | |
| 438 (interactive) | |
| 439 (let ((file (buffer-file-name (Buffer-menu-buffer t)))) | |
| 440 (if file | |
| 441 (visit-tags-table file) | |
| 442 (error "Specified buffer has no file")))) | |
| 443 | |
| 444 (defun Buffer-menu-1-window () | |
| 777 | 445 "Select this line's buffer, alone, in full frame." |
| 194 | 446 (interactive) |
| 447 (switch-to-buffer (Buffer-menu-buffer t)) | |
| 448 (bury-buffer (other-buffer)) | |
| 449 (delete-other-windows)) | |
| 450 | |
|
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
451 (defun Buffer-menu-mouse-select (event) |
|
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
452 "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
|
453 (interactive "e") |
|
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
454 (let (buffer) |
|
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
455 (save-excursion |
|
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
456 (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
|
457 (save-excursion |
|
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
458 (goto-char (posn-point (event-end event))) |
|
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
459 (setq buffer (Buffer-menu-buffer t)))) |
|
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
460 (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
|
461 (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
|
462 (eq (selected-window) (frame-root-window))) |
|
ed3bbbdd9ef5
(Buffer-menu-mouse-select): Handle dedicated window.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
463 (switch-to-buffer-other-frame buffer) |
|
ed3bbbdd9ef5
(Buffer-menu-mouse-select): Handle dedicated window.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
464 (switch-to-buffer buffer)))) |
|
6609
3b1eb7f1eba1
(Buffer-menu-mouse-select): New command.
Richard M. Stallman <rms@gnu.org>
parents:
6084
diff
changeset
|
465 |
| 194 | 466 (defun Buffer-menu-this-window () |
| 467 "Select this line's buffer in this window." | |
| 468 (interactive) | |
| 469 (switch-to-buffer (Buffer-menu-buffer t))) | |
| 470 | |
| 471 (defun Buffer-menu-other-window () | |
| 472 "Select this line's buffer in other window, leaving buffer menu visible." | |
| 473 (interactive) | |
| 474 (switch-to-buffer-other-window (Buffer-menu-buffer t))) | |
| 475 | |
| 735 | 476 (defun Buffer-menu-switch-other-window () |
| 477 "Make the other window select this line's buffer. | |
| 478 The current window remains selected." | |
| 479 (interactive) | |
| 480 (display-buffer (Buffer-menu-buffer t))) | |
| 481 | |
| 194 | 482 (defun Buffer-menu-2-window () |
| 483 "Select this line's buffer, with previous buffer in second window." | |
| 484 (interactive) | |
| 485 (let ((buff (Buffer-menu-buffer t)) | |
| 486 (menu (current-buffer)) | |
| 487 (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
|
488 (delete-other-windows) |
| 194 | 489 (switch-to-buffer (other-buffer)) |
| 490 (pop-to-buffer buff) | |
| 491 (bury-buffer menu))) | |
|
662
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
194
diff
changeset
|
492 |
|
2378
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
493 (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
|
494 "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
|
495 (interactive) |
|
c5d0140aa7b6
(Buffer-menu-toggle-read-only) Added, per Rob Austein's suggestion
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2334
diff
changeset
|
496 (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
|
497 (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
|
498 (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
|
499 (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
|
500 (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
|
501 (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
|
502 (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
|
503 (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
|
504 (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
|
505 (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
|
506 (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
|
507 (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
|
508 |
|
18278
4f78346eb734
(Buffer-menu-bury): New command.
Richard M. Stallman <rms@gnu.org>
parents:
16401
diff
changeset
|
509 (defun Buffer-menu-bury () |
|
4f78346eb734
(Buffer-menu-bury): New command.
Richard M. Stallman <rms@gnu.org>
parents:
16401
diff
changeset
|
510 "Bury the buffer listed on this line." |
|
4f78346eb734
(Buffer-menu-bury): New command.
Richard M. Stallman <rms@gnu.org>
parents:
16401
diff
changeset
|
511 (interactive) |
|
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
512 (when (Buffer-menu-no-header) |
|
18280
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
513 (save-excursion |
|
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
514 (beginning-of-line) |
|
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
515 (bury-buffer (Buffer-menu-buffer t)) |
|
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
516 (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
|
517 (buffer-read-only nil)) |
|
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
518 (delete-region (point) (progn (forward-line -1) (point))) |
|
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
519 (goto-char (point-max)) |
|
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
520 (insert line)) |
|
f693db11df45
(Buffer-menu-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
18278
diff
changeset
|
521 (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
|
522 |
|
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
523 |
|
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
524 (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
|
525 "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
|
526 (interactive) |
|
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
527 (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
|
528 |
|
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
529 |
|
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
530 (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
|
531 "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
|
532 (interactive) |
|
e8ec0085ff7b
(Buffer-menu-mode-map): Add V for Buffer-menu-View.
Richard M. Stallman <rms@gnu.org>
parents:
21093
diff
changeset
|
533 (view-buffer-other-window (Buffer-menu-buffer t))) |
|
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
534 |
|
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
535 |
|
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
536 (define-key ctl-x-map "\C-b" 'list-buffers) |
|
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
537 |
|
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
538 (defun list-buffers (&optional files-only) |
|
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
539 "Display a list of names of existing buffers. |
|
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
540 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
|
541 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
|
542 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
|
543 |
|
40622
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
544 For more information, see the function `buffer-menu'." |
|
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
545 (interactive "P") |
|
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
546 (display-buffer (list-buffers-noselect files-only))) |
|
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
547 |
|
48864
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
548 (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
|
549 (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
|
550 (setq name |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
551 (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
|
552 (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
|
553 (- 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
|
554 (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
|
555 (match-end 0) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
556 (- (match-beginning 0)) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
557 2)) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
558 ":" ; narrow ellipsis |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
559 (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
|
560 (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
|
561 (- 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
|
562 (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
|
563 2)) |
|
49046
d6e1c5f7f468
(Buffer-menu-buffer+size): Don't clobber buffer name.
Andreas Schwab <schwab@suse.de>
parents:
48889
diff
changeset
|
564 ":"))) ; narrow ellipsis |
|
d6e1c5f7f468
(Buffer-menu-buffer+size): Don't clobber buffer name.
Andreas Schwab <schwab@suse.de>
parents:
48889
diff
changeset
|
565 ;; 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
|
566 (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
|
567 (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
|
568 (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
|
569 (concat name |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
570 (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
|
571 (length name) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
572 (length size)) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
573 ? ) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
574 size)) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
575 |
|
54580
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
576 (defun Buffer-menu-sort (column) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
577 "Sort the buffer menu by COLUMN." |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
578 (interactive "P") |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
579 (when column |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
580 (setq column (prefix-numeric-value column)) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
581 (if (< column 2) (setq column 2)) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
582 (if (> column 5) (setq column 5))) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
583 (setq Buffer-menu-sort-column column) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
584 (Buffer-menu-revert)) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
585 |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
586 (defun Buffer-menu-make-sort-button (name column) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
587 (if (equal column Buffer-menu-sort-column) (setq column nil)) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
588 (propertize name |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
589 'help-echo (if column |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
590 (concat "mouse-2: sort by " (downcase name)) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
591 "mouse-2: sort by visited order") |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
592 'mouse-face 'highlight |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
593 'keymap (let ((map (make-sparse-keymap))) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
594 (define-key map [header-line mouse-2] |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
595 `(lambda () (interactive) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
596 (Buffer-menu-sort ,column))) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
597 map))) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
598 |
|
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
599 (defun list-buffers-noselect (&optional files-only) |
|
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
600 "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
|
601 The buffer is named `*Buffer List*'. |
|
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
602 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
|
603 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
|
604 |
|
40622
d2bfc00496d7
(buffer-menu): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
40489
diff
changeset
|
605 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
|
606 (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
|
607 (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
|
608 (mode-end (make-string (- Buffer-menu-mode-width 2) ? )) |
|
54580
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
609 (header (concat " " (propertize "CRM " 'face 'fixed-pitch) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
610 (Buffer-menu-buffer+size |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
611 (Buffer-menu-make-sort-button "Buffer" 2) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
612 (Buffer-menu-make-sort-button "Size" 3)) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
613 " " |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
614 (Buffer-menu-make-sort-button "Mode" 4) mode-end |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
615 (Buffer-menu-make-sort-button "File" 5) "\n")) |
|
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
616 list desired-point name file) |
|
50172
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
617 (when Buffer-menu-use-header-line |
|
54580
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
618 (let ((pos 0)) |
|
50172
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
619 ;; 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
|
620 ;; regardless of the header-line face. |
|
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
621 (while (string-match "[ \t]+" header pos) |
|
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
622 (setq pos (match-end 0)) |
|
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
623 (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
|
624 ;; Assume fixed-size chars |
|
54580
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
625 (list 'space :align-to (1- pos)) |
|
50172
48610ee0507d
(list-buffers-noselect): Use the display property
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
50033
diff
changeset
|
626 header)))) |
|
54580
f9e5bd96c71c
(Buffer-menu-sort, Buffer-menu-make-sort-button): New funs.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
627 (with-current-buffer (get-buffer-create "*Buffer List*") |
|
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
628 (setq buffer-read-only nil) |
|
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
629 (erase-buffer) |
|
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
630 (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
|
631 (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
|
632 (insert header (propertize "---" 'face 'fixed-pitch) " ") |
|
77bc7a2e6bef
(list-buffers-noselect): Use window-inside-edges
Richard M. Stallman <rms@gnu.org>
parents:
50172
diff
changeset
|
633 (insert (Buffer-menu-buffer+size "------" "----")) |
|
77bc7a2e6bef
(list-buffers-noselect): Use window-inside-edges
Richard M. Stallman <rms@gnu.org>
parents:
50172
diff
changeset
|
634 (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
|
635 (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
|
636 (setq list |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
637 (delq t |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
638 (mapcar |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
639 (lambda (buffer) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
640 (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
|
641 (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
|
642 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
|
643 (cond |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
644 ;; 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
|
645 ((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
|
646 ;; 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
|
647 ((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
|
648 ((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
|
649 ;; Otherwise output info. |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
650 (t |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
651 (unless file |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
652 ;; 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
|
653 ;; list-buffers-directory. |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
654 (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
|
655 list-buffers-directory) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
656 (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
|
657 (list buffer |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
658 (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
|
659 (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
|
660 ;; 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
|
661 ;; 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
|
662 ;; later date. |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
663 (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
|
664 buffer-read-only) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
665 ?% ? ) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
666 ;; Identify modified buffers. |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
667 (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
|
668 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
|
669 (buffer-list)))) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
670 (dolist (buffer |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
671 (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
|
672 (sort list |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
673 (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
|
674 (lambda (a b) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
675 (< (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
|
676 (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
|
677 (lambda (a b) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
678 (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
|
679 (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
|
680 list)) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
681 (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
|
682 (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
|
683 (insert (cadr buffer) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
684 ;; 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
|
685 ;; 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
|
686 ;; 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
|
687 (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
|
688 (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
|
689 `(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
|
690 buffer ,(car buffer) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
691 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
|
692 mouse-face highlight |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
693 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
|
694 " " |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
695 (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
|
696 (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
|
697 (nth 4 buffer))) |
|
02944b0aaecd
(Buffer-menu, Buffer-menu-use-header-line, Buffer-menu-buffer-face,
Juanma Barranquero <lekktu@gmail.com>
parents:
40622
diff
changeset
|
698 (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
|
699 (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
|
700 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
|
701 (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
|
702 (princ "\n")) |
|
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
703 (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
|
704 (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
|
705 (setq header-line-format header)) |
|
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
706 ;; 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
|
707 ;; current buffer is not displayed for some reason. |
|
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
708 (and desired-point |
|
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
709 (goto-char desired-point)) |
|
54594
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
710 (setq Buffer-menu-files-only files-only) |
|
c07fb48cb0e2
(Buffer-menu-revert-function): Make it suitable for
Luc Teirlinck <teirllm@auburn.edu>
parents:
54580
diff
changeset
|
711 (set-buffer-modified-p nil) |
|
10592
bbb68f0d31c6
(list-buffers-noselect): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
10421
diff
changeset
|
712 (current-buffer)))) |
|
10419
cb6f68d16210
(list-buffers): New function.
Richard M. Stallman <rms@gnu.org>
parents:
10269
diff
changeset
|
713 |
| 52401 | 714 ;;; arch-tag: e7dfcfc9-6cb2-46e4-bf55-8ef1936d83c6 |
|
662
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
194
diff
changeset
|
715 ;;; buff-menu.el ends here |
