Mercurial > emacs
annotate lisp/textmodes/page-ext.el @ 63433:d70b1038ee22
(reftex-toc-dframe-p, reftex-toc-promote-prepare): Follow error conventions.
author | Juanma Barranquero <lekktu@gmail.com> |
---|---|
date | Tue, 14 Jun 2005 15:36:08 +0000 |
parents | 695cf19ef79e |
children | a8fa7c632ee4 375f2633d815 |
rev | line source |
---|---|
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
1 ;;; page-ext.el --- extended page handling commands |
235 | 2 |
7300 | 3 ;; Copyright (C) 1990, 1991, 1993, 1994 Free Software Foundation |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
4 |
25278 | 5 ;; Maintainer: Robert J. Chassell <bob@gnu.org> |
38697
a19197c6442f
Keyword added and FSF specified as Maintainer.
Pavel Janík <Pavel@Janik.cz>
parents:
38436
diff
changeset
|
6 ;; Keywords: wp data |
235 | 7 |
664
9b0e666dfdf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
8 ;; This file is part of GNU Emacs. |
9b0e666dfdf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
9 |
9b0e666dfdf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
10 ;; GNU Emacs is free software; you can redistribute it and/or modify |
9b0e666dfdf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
11 ;; it under the terms of the GNU General Public License as published by |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
664
diff
changeset
|
12 ;; the Free Software Foundation; either version 2, or (at your option) |
664
9b0e666dfdf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
13 ;; any later version. |
9b0e666dfdf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
14 |
9b0e666dfdf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
15 ;; GNU Emacs is distributed in the hope that it will be useful, |
9b0e666dfdf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of |
9b0e666dfdf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
9b0e666dfdf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
18 ;; GNU General Public License for more details. |
9b0e666dfdf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
19 |
9b0e666dfdf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
20 ;; You should have received a copy of the GNU General Public License |
14169 | 21 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
22 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
23 ;; Boston, MA 02111-1307, USA. | |
24 | |
25 ;;; Commentary: | |
26 | |
27 ;; You may use these commands to handle an address list or other | |
28 ;; small data base. | |
664
9b0e666dfdf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
29 |
235 | 30 |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
31 ;;; Summary |
235 | 32 |
14169 | 33 ;; The current page commands are: |
235 | 34 |
14169 | 35 ;; forward-page C-x ] |
36 ;; backward-page C-x [ | |
37 ;; narrow-to-page C-x p | |
38 ;; count-lines-page C-x l | |
39 ;; mark-page C-x C-p (change this to C-x C-p C-m) | |
40 ;; sort-pages not bound | |
41 ;; what-page not bound | |
235 | 42 |
14169 | 43 ;; The new page handling commands all use `C-x C-p' as a prefix. This |
44 ;; means that the key binding for `mark-page' must be changed. | |
45 ;; Otherwise, no other changes are made to the current commands or | |
46 ;; their bindings. | |
235 | 47 |
14169 | 48 ;; New page handling commands: |
235 | 49 |
14169 | 50 ;; next-page C-x C-p C-n |
51 ;; previous-page C-x C-p C-p | |
52 ;; search-pages C-x C-p C-s | |
53 ;; add-new-page C-x C-p C-a | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
54 ;; sort-pages-buffer C-x C-p s |
14169 | 55 ;; set-page-delimiter C-x C-p C-l |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
56 ;; pages-directory C-x C-p C-d |
14169 | 57 ;; pages-directory-for-addresses C-x C-p d |
58 ;; pages-directory-goto C-c C-c | |
235 | 59 |
60 | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
61 ;;; Using the page commands |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
62 |
14169 | 63 ;; The page commands are helpful in several different contexts. For |
64 ;; example, programmers often divide source files into sections using the | |
65 ;; `page-delimiter'; you can use the `pages-directory' command to list | |
66 ;; the sections. | |
235 | 67 |
14169 | 68 ;; You may change the buffer local value of the `page-delimiter' with |
69 ;; the `set-page-delimiter' command. This command is bound to `C-x C-p | |
70 ;; C-l' The command prompts you for a new value for the page-delimiter. | |
71 ;; Called with a prefix-arg, the command resets the value of the | |
72 ;; page-delimiter to its original value. | |
235 | 73 |
14169 | 74 ;; You may set several user options: |
75 ;; | |
76 ;; The `pages-directory-buffer-narrowing-p' variable causes the | |
77 ;; `pages-directory-goto' command to narrow to the destination page. | |
78 ;; | |
79 ;; The `pages-directory-for-adding-page-narrowing-p' variable, causes the | |
80 ;; `add-new-page' command to narrow to the new entry. | |
81 ;; | |
82 ;; The `pages-directory-for-adding-new-page-before-current-page-p' variable | |
83 ;; causes the `add-new-page' command to insert a new page before current | |
84 ;; page. | |
85 ;; | |
86 ;; These variables are true by default. | |
87 ;; | |
88 ;; Additional, addresses-related user options are described in the next page | |
89 ;; of this file. | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
90 |
235 | 91 |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
92 ;;; Handling an address list or small data base |
235 | 93 |
14169 | 94 ;; You may use the page commands to handle an address list or other |
95 ;; small data base. Put each address or entry on its own page. The | |
96 ;; first line of text in each page is a `header line' and is listed by | |
97 ;; the `pages-directory' or `pages-directory-for-addresses' command. | |
235 | 98 |
14169 | 99 ;; Specifically: |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
100 ;; |
14169 | 101 ;; 1. Begin each entry with a `page-delimiter' (which is, by default, |
102 ;; `^L' at the beginning of the line). | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
103 ;; |
14169 | 104 ;; 2. The first line of text in each entry is the `heading line'; it |
105 ;; will appear in the pages-directory-buffer which is constructed | |
106 ;; using the `C-x C-p C-d' (pages-directory) command or the `C-x | |
107 ;; C-p d' (pages-directory-for-addresses) command. | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
108 ;; |
14169 | 109 ;; The heading line may be on the same line as the page-delimiter |
110 ;; or it may follow after. It is the first non-blank line on the | |
111 ;; page. Conventionally, the heading line is placed on the line | |
112 ;; immediately following the line containing page-delimiter. | |
113 ;; | |
114 ;; 3. Follow the heading line with the body of the entry. The body | |
115 ;; extends up to the next `page-delimiter'. The body may be of any | |
116 ;; length. It is conventional to place a blank line after the last | |
117 ;; line of the body. | |
235 | 118 |
14169 | 119 ;; For example, a file might look like this: |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
120 ;; |
14169 | 121 ;; FSF |
122 ;; Free Software Foundation | |
15741
a1176aab935b
Use current FSF address/phone in sample file.
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
123 ;; 59 Temple Place - Suite 330 |
a1176aab935b
Use current FSF address/phone in sample file.
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
124 ;; Boston, MA 02111-1307 USA. |
a1176aab935b
Use current FSF address/phone in sample file.
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
125 ;; (617) 542-5942 |
25278 | 126 ;; gnu@gnu.org |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
127 ;; |
14169 | 128 ;; |
129 ;; House Subcommittee on Intellectual Property, | |
130 ;; U.S. House of Representatives, | |
131 ;; Washington, DC 20515 | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
132 ;; |
14169 | 133 ;; Congressional committee concerned with permitting or preventing |
134 ;; monopolistic restrictions on the use of software technology. | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
135 ;; |
14169 | 136 ;; |
137 ;; George Lakoff | |
138 ;; ``Women, Fire, and Dangerous Things: | |
139 ;; What Categories Reveal about the Mind'' | |
140 ;; 1987, Univ. of Chicago Press | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
141 ;; |
14169 | 142 ;; About philosophy, Whorfian effects, and linguistics. |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
143 ;; |
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
144 ;; |
14169 | 145 ;; OBI (On line text collection.) |
146 ;; Open Book Initiative | |
147 ;; c/o Software Tool & Die | |
148 ;; 1330 Beacon St, Brookline, MA 02146 USA | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
149 ;; (617) 739-0202 |
14169 | 150 ;; obi@world.std.com |
235 | 151 |
14169 | 152 ;; In this example, the heading lines are: |
153 ;; | |
154 ;; FSF | |
155 ;; House Subcommittee on Intellectual Property | |
156 ;; George Lakoff | |
157 ;; OBI (On line text collection.) | |
235 | 158 |
14169 | 159 ;; The `C-x C-p s' (sort-pages-buffer) command sorts the entries in the |
160 ;; buffer alphabetically. | |
235 | 161 |
14169 | 162 ;; You may use any of the page commands, including the `next-page', |
163 ;; `previous-page', `add-new-page', `mark-page', and `search-pages' | |
164 ;; commands. | |
235 | 165 |
14169 | 166 ;; You may use either the `C-x C-p d' (pages-directory-for-addresses) |
167 ;; or the `C-x C-p C-d' (pages-directory) command to construct and | |
168 ;; display a directory of all the heading lines. | |
235 | 169 |
14169 | 170 ;; In the directory, you may position the cursor over a heading line |
171 ;; and type `C-c C-c' (pages-directory-goto) to go to the entry to | |
172 ;; which it refers in the pages buffer. | |
235 | 173 |
14169 | 174 ;; You can type `C-c C-p C-a' (add-new-page) to add a new entry in the |
175 ;; pages buffer or address file. This is the same command you use to | |
176 ;; add a new entry when you are in the pages buffer or address file. | |
235 | 177 |
14169 | 178 ;; If you wish, you may create several different directories, |
179 ;; one for each different buffer. | |
235 | 180 |
181 ;; `pages-directory-for-addresses' in detail | |
182 | |
14169 | 183 ;; The `pages-directory-for-addresses' assumes a default addresses |
184 ;; file. You do not need to specify the addresses file but merely type | |
185 ;; `C-x C-p d' from any buffer. The command finds the file, constructs | |
186 ;; a directory for it, and switches you to the directory. If you call | |
187 ;; the command with a prefix arg, `C-u C-x C-p d', it prompts you for a | |
188 ;; file name. | |
235 | 189 |
14169 | 190 ;; You may customize the addresses commands: |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
191 |
14169 | 192 ;; The `pages-addresses-file-name' variable determines the name of |
193 ;; the addresses file; by default it is "~/addresses". | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
194 |
14169 | 195 ;; The `pages-directory-for-addresses-goto-narrowing-p' variable |
196 ;; determines whether `pages-directory-goto' narrows the addresses | |
197 ;; buffer to the entry, which it does by default. | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
198 |
14169 | 199 ;; The `pages-directory-for-addresses-buffer-keep-windows-p' variable |
200 ;; determines whether `pages-directory-for-addresses' deletes other | |
201 ;; windows to show as many lines as possible on the screen or works | |
202 ;; in the usual Emacs manner and keeps other windows. Default is to | |
203 ;; keep other windows. | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
204 |
14169 | 205 ;; The `pages-directory-for-adding-addresses-narrowing-p' variable |
206 ;; determines whether `pages-directory-for-addresses' narrows the | |
207 ;; addresses buffer to a new entry when you are adding that entry. | |
208 ;; Default is to narrow to new entry, which means you see a blank | |
209 ;; screen before you write the new entry. | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
210 |
235 | 211 ;; `pages-directory' in detail |
212 | |
14169 | 213 ;; Call the `pages-directory' command from the buffer for which you |
214 ;; want a directory created; it creates a directory for the buffer and | |
215 ;; pops you to the directory. | |
235 | 216 |
14169 | 217 ;; The `pages-directory' command has several options: |
235 | 218 |
14169 | 219 ;; Called with a prefix arg, `C-u C-x C-p C-d', the `pages-directory' |
220 ;; prompts you for a regular expression and only lists only those | |
221 ;; header lines that are part of pages that contain matches to the | |
222 ;; regexp. In the example above, `C-u C-x C-p C-d 617 RET' would | |
223 ;; match the telephone area code of the first and fourth entries, so | |
224 ;; only the header lines of those two entries would appear in the | |
225 ;; pages-directory-buffer. | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
226 ;; |
14169 | 227 ;; Called with a numeric argument, the `pages-directory' command |
228 ;; lists the number of lines in each page. This is helpful when you | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
229 ;; are printing hardcopy. |
235 | 230 |
14169 | 231 ;; Called with a negative numeric argument, the `pages-directory' |
232 ;; command lists the lengths of pages whose contents match a regexp. | |
235 | 233 |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
234 ;;; Code: |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
235 |
235 | 236 |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
237 ;;; Customarily customizable variable definitions |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
238 |
17436
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
239 (defgroup pages nil |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
240 "Extended page-handling commands." |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
241 :group 'extensions) |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
242 |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
243 |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
244 (defcustom pages-directory-buffer-narrowing-p t |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
245 "*If non-nil, `pages-directory-goto' narrows pages buffer to entry." |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
246 :type 'boolean |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
247 :group 'pages) |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
248 |
17436
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
249 (defcustom pages-directory-for-adding-page-narrowing-p t |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
250 "*If non-nil, `add-new-page' narrows page buffer to new entry." |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
251 :type 'boolean |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
252 :group 'pages) |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
253 |
17436
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
254 (defcustom pages-directory-for-adding-new-page-before-current-page-p t |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
255 "*If non-nil, `add-new-page' inserts new page before current page." |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
256 :type 'boolean |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
257 :group 'pages) |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
258 |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
259 |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
260 ;;; Addresses related variables |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
261 |
17436
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
262 (defcustom pages-addresses-file-name "~/addresses" |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
263 "*Standard name for file of addresses. Entries separated by page-delimiter. |
17436
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
264 Used by `pages-directory-for-addresses' function." |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
265 :type 'file |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
266 :group 'pages) |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
267 |
17436
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
268 (defcustom pages-directory-for-addresses-goto-narrowing-p t |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
269 "*If non-nil, `pages-directory-goto' narrows addresses buffer to entry." |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
270 :type 'boolean |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
271 :group 'pages) |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
272 |
17436
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
273 (defcustom pages-directory-for-addresses-buffer-keep-windows-p t |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
274 "*If nil, `pages-directory-for-addresses' deletes other windows." |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
275 :type 'boolean |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
276 :group 'pages) |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
277 |
17436
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
278 (defcustom pages-directory-for-adding-addresses-narrowing-p t |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
279 "*If non-nil, `add-new-page' narrows addresses buffer to new entry." |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
280 :type 'boolean |
2a9fdbfcb993
Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
15741
diff
changeset
|
281 :group 'pages) |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
282 |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
283 |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
284 ;;; Key bindings for page handling functions |
235 | 285 |
286 (global-unset-key "\C-x\C-p") | |
287 | |
288 (defvar ctl-x-ctl-p-map (make-sparse-keymap) | |
289 "Keymap for subcommands of C-x C-p, which are for page handling.") | |
290 | |
291 (define-key ctl-x-map "\C-p" 'ctl-x-ctl-p-prefix) | |
292 (fset 'ctl-x-ctl-p-prefix ctl-x-ctl-p-map) | |
293 | |
294 (define-key ctl-x-ctl-p-map "\C-n" 'next-page) | |
295 (define-key ctl-x-ctl-p-map "\C-p" 'previous-page) | |
296 (define-key ctl-x-ctl-p-map "\C-a" 'add-new-page) | |
297 (define-key ctl-x-ctl-p-map "\C-m" 'mark-page) | |
298 (define-key ctl-x-ctl-p-map "\C-s" 'search-pages) | |
299 (define-key ctl-x-ctl-p-map "s" 'sort-pages-buffer) | |
300 (define-key ctl-x-ctl-p-map "\C-l" 'set-page-delimiter) | |
301 (define-key ctl-x-ctl-p-map "\C-d" 'pages-directory) | |
302 (define-key ctl-x-ctl-p-map "d" 'pages-directory-for-addresses) | |
303 | |
304 | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
305 ;;; Page movement function definitions |
235 | 306 |
307 (defun next-page (&optional count) | |
308 "Move to the next page bounded by the `page-delimiter' variable. | |
309 With arg (prefix if interactive), move that many pages." | |
310 (interactive "p") | |
311 (or count (setq count 1)) | |
312 (widen) | |
313 ;; Cannot use forward-page because of problems at page boundaries. | |
314 (while (and (> count 0) (not (eobp))) | |
315 (if (re-search-forward page-delimiter nil t) | |
316 nil | |
317 (goto-char (point-max))) | |
318 (setq count (1- count))) | |
1770
29bcc2c88773
* page-ext.el (next-page): Correctly handle negative page count.
Jim Blandy <jimb@redhat.com>
parents:
845
diff
changeset
|
319 ;; If COUNT is negative, we want to go back -COUNT + 1 page boundaries. |
29bcc2c88773
* page-ext.el (next-page): Correctly handle negative page count.
Jim Blandy <jimb@redhat.com>
parents:
845
diff
changeset
|
320 ;; The first page boundary we reach is the top of the current page, |
29bcc2c88773
* page-ext.el (next-page): Correctly handle negative page count.
Jim Blandy <jimb@redhat.com>
parents:
845
diff
changeset
|
321 ;; which doesn't count. |
29bcc2c88773
* page-ext.el (next-page): Correctly handle negative page count.
Jim Blandy <jimb@redhat.com>
parents:
845
diff
changeset
|
322 (while (and (< count 1) (not (bobp))) |
235 | 323 (if (re-search-backward page-delimiter nil t) |
324 (goto-char (match-beginning 0)) | |
325 (goto-char (point-min))) | |
326 (setq count (1+ count))) | |
327 (narrow-to-page) | |
328 (goto-char (point-min)) | |
329 (recenter 0)) | |
330 | |
331 (defun previous-page (&optional count) | |
332 "Move to the previous page bounded by the `page-delimiter' variable. | |
333 With arg (prefix if interactive), move that many pages." | |
334 (interactive "p") | |
335 (or count (setq count 1)) | |
336 (next-page (- count))) | |
337 | |
338 | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
339 ;;; Adding and searching pages |
235 | 340 |
341 (defun add-new-page (header-line) | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
342 "Insert new page. Prompt for header line. |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
343 |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
344 If point is in the pages directory buffer, insert the new page in the |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
345 buffer associated with the directory. |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
346 |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
347 Insert the new page just before current page if |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
348 pages-directory-for-adding-new-page-before-current-page-p variable |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
349 is non-nil. Else insert at exact location of point. |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
350 |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
351 Narrow to new page if |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
352 pages-directory-for-adding-page-narrowing-p variable |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
353 is non-nil. |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
354 |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
355 Page begins with a `^L' as the default page-delimiter. |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
356 Use \\[set-page-delimiter] to change the page-delimiter. |
235 | 357 Point is left in the body of page." |
358 (interactive "sHeader line: ") | |
359 (widen) | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
360 ;; If in pages directory buffer |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
361 (if (eq major-mode 'pages-directory-mode) |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
362 (progn |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
363 ;; Add new page before or after current page? |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
364 (if pages-directory-for-adding-new-page-before-current-page-p |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
365 (pages-directory-goto) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
366 (pages-directory-goto) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
367 (forward-page) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
368 (or (eobp) (forward-line -1))))) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
369 (widen) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
370 ;; Move point before current delimiter if desired. |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
371 (and pages-directory-for-adding-new-page-before-current-page-p |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
372 (if (re-search-backward page-delimiter nil t) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
373 (goto-char (match-beginning 0)) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
374 ;; If going to beginning of file, insert a page-delimiter |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
375 ;; before current first page. |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
376 (goto-char (point-min)) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
377 (insert |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
378 (format "%s\n" |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
379 ;; Remove leading `^' from page-delimiter string |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
380 (if (eq '^ (car (read-from-string page-delimiter))) |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
381 (substring page-delimiter 1)))) |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
382 (goto-char (point-min)))) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
383 ;; Insert page delimiter at beginning of line. |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
384 (if (not (looking-at "^.")) (forward-line 1)) |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
385 (insert (format "%s\n%s\n\n\n" |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
386 (if (eq '^ (car (read-from-string page-delimiter))) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
387 (substring page-delimiter 1)) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
388 header-line)) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
389 (forward-line -1) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
390 (and pages-directory-for-adding-page-narrowing-p (narrow-to-page))) |
235 | 391 |
392 (defvar pages-last-search nil | |
393 "Value of last regexp searched for. Initially, nil.") | |
394 | |
395 (defun search-pages (regexp) | |
396 "Search for REGEXP, starting from point, and narrow to page it is in." | |
397 (interactive (list | |
398 (read-string | |
399 (format "Search for `%s' (end with RET): " | |
400 (or pages-last-search "regexp"))))) | |
401 (if (equal regexp "") | |
402 (setq regexp pages-last-search) | |
403 (setq pages-last-search regexp)) | |
404 (widen) | |
405 (re-search-forward regexp) | |
406 (narrow-to-page)) | |
407 | |
408 | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
409 ;;; Sorting pages |
235 | 410 |
411 (autoload 'sort-subr "sort" "Primary function for sorting." t nil) | |
412 | |
413 (defun sort-pages-in-region (reverse beg end) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
414 "Sort pages in region alphabetically. Prefix arg means reverse order. |
235 | 415 |
416 Called from a program, there are three arguments: | |
417 REVERSE (non-nil means reverse order), BEG and END (region to sort)." | |
418 | |
419 ;;; This sort function handles ends of pages differently than | |
420 ;;; `sort-pages' and works better with lists of addresses and similar | |
421 ;;; files. | |
422 | |
423 (interactive "P\nr") | |
424 (save-restriction | |
425 (narrow-to-region beg end) | |
426 (goto-char (point-min)) | |
427 ;;; `sort-subr' takes three arguments | |
428 (sort-subr reverse | |
429 | |
430 ;; NEXTRECFUN is called with point at the end of the | |
431 ;; previous record. It moves point to the start of the | |
432 ;; next record. | |
433 (function (lambda () | |
434 (re-search-forward page-delimiter nil t) | |
435 (skip-chars-forward " \t\n") | |
436 )) | |
437 | |
438 ;; ENDRECFUN is is called with point within the record. | |
439 ;; It should move point to the end of the record. | |
440 (function (lambda () | |
441 (if (re-search-forward | |
442 page-delimiter | |
443 nil | |
444 t) | |
445 (goto-char (match-beginning 0)) | |
446 (goto-char (point-max)))))))) | |
447 | |
448 (defun sort-pages-buffer (&optional reverse) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
449 "Sort pages alphabetically in buffer. Prefix arg means reverse order. |
235 | 450 \(Non-nil arg if not interactive.\)" |
451 | |
452 (interactive "P") | |
453 (or reverse (setq reverse nil)) | |
454 (widen) | |
455 (let ((beginning (point-min)) | |
456 (end (point-max))) | |
457 (sort-pages-in-region reverse beginning end))) | |
458 | |
459 | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
460 ;;; Pages directory ancillary definitions |
235 | 461 |
462 (defvar pages-directory-previous-regexp nil | |
463 "Value of previous regexp used by `pages-directory'. | |
464 \(This regular expression may be used to select only those pages that | |
465 contain matches to the regexp.\)") | |
466 | |
467 (defvar pages-buffer nil | |
468 "The buffer for which the pages-directory function creates the directory.") | |
469 | |
470 (defvar pages-directory-prefix "*Directory for:" | |
471 "Prefix of name of temporary buffer for pages-directory.") | |
472 | |
473 (defvar pages-pos-list nil | |
474 "List containing the positions of the pages in the pages-buffer.") | |
475 | |
46863
28ae6b9b086e
(pages-target-buffer): Add defvar. Renamed from target-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
46847
diff
changeset
|
476 (defvar pages-target-buffer) |
28ae6b9b086e
(pages-target-buffer): Add defvar. Renamed from target-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
46847
diff
changeset
|
477 |
49701
77c73732b535
(pages-directory-mode-map): New.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49599
diff
changeset
|
478 (defvar pages-directory-mode-map |
77c73732b535
(pages-directory-mode-map): New.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49599
diff
changeset
|
479 (let ((map (make-sparse-keymap))) |
77c73732b535
(pages-directory-mode-map): New.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49599
diff
changeset
|
480 (define-key map "\C-c\C-c" 'pages-directory-goto) |
77c73732b535
(pages-directory-mode-map): New.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49599
diff
changeset
|
481 (define-key map "\C-c\C-p\C-a" 'add-new-page) |
77c73732b535
(pages-directory-mode-map): New.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49599
diff
changeset
|
482 (define-key map [mouse-2] 'pages-directory-goto-with-mouse) |
77c73732b535
(pages-directory-mode-map): New.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49599
diff
changeset
|
483 map) |
235 | 484 "Keymap for the pages-directory-buffer.") |
49701
77c73732b535
(pages-directory-mode-map): New.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49599
diff
changeset
|
485 (defvaralias 'pages-directory-map 'pages-directory-mode-map) |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
486 |
6337
32cb5a7228ab
(original-page-delimiter, set-page-delimiter): Use printable escapes instead of
Karl Heuer <kwzh@gnu.org>
parents:
5311
diff
changeset
|
487 (defvar original-page-delimiter "^\f" |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
488 "Default page delimiter.") |
235 | 489 |
490 (defun set-page-delimiter (regexp reset-p) | |
491 "Set buffer local value of page-delimiter to REGEXP. | |
492 Called interactively with a prefix argument, reset `page-delimiter' to | |
493 its original value. | |
494 | |
495 In a program, non-nil second arg causes first arg to be ignored and | |
496 resets the page-delimiter to the original value." | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
497 |
235 | 498 (interactive |
499 (if current-prefix-arg | |
6337
32cb5a7228ab
(original-page-delimiter, set-page-delimiter): Use printable escapes instead of
Karl Heuer <kwzh@gnu.org>
parents:
5311
diff
changeset
|
500 (list original-page-delimiter "^\f") |
235 | 501 (list (read-string "Set page-delimiter to regexp: " page-delimiter) |
502 nil))) | |
503 (make-local-variable 'original-page-delimiter) | |
504 (make-local-variable 'page-delimiter) | |
505 (setq original-page-delimiter | |
506 (or original-page-delimiter page-delimiter)) | |
507 (if (not reset-p) | |
508 (setq page-delimiter regexp) | |
509 (setq page-delimiter original-page-delimiter)) | |
510 (if (interactive-p) | |
511 (message "The value of `page-delimiter' is now: %s" page-delimiter))) | |
512 | |
513 | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
514 ;;; Pages directory main definitions |
235 | 515 |
516 (defun pages-directory | |
517 (pages-list-all-headers-p count-lines-p &optional regexp) | |
518 "Display a directory of the page headers in a temporary buffer. | |
519 A header is the first non-blank line after the page-delimiter. | |
520 \\[pages-directory-mode] | |
521 You may move point to one of the lines in the temporary buffer, | |
522 then use \\<pages-directory-goto> to go to the same line in the pages buffer. | |
523 | |
524 In interactive use: | |
525 | |
526 1. With no prefix arg, display all headers. | |
527 | |
528 2. With prefix arg, display the headers of only those pages that | |
529 contain matches to a regular expression for which you are | |
530 prompted. | |
531 | |
532 3. With numeric prefix arg, for every page, print the number of | |
533 lines within each page. | |
534 | |
535 4. With negative numeric prefix arg, for only those pages that | |
536 match a regular expression, print the number of lines within | |
537 each page. | |
538 | |
539 When called from a program, non-nil first arg means list all headers; | |
540 non-nil second arg means print numbers of lines in each page; if first | |
541 arg is nil, optional third arg is regular expression. | |
542 | |
543 If the buffer is narrowed, the `pages-directory' command creates a | |
544 directory for only the accessible portion of the buffer." | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
545 |
235 | 546 (interactive |
547 (cond ((not current-prefix-arg) | |
548 (list t nil nil)) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
549 ((listp current-prefix-arg) |
235 | 550 (list nil |
551 nil | |
552 (read-string | |
553 (format "Select according to `%s' (end with RET): " | |
554 (or pages-directory-previous-regexp "regexp"))))) | |
555 ((> (prefix-numeric-value current-prefix-arg) 0) | |
556 (list t t nil)) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
557 ((< (prefix-numeric-value current-prefix-arg) 0) |
235 | 558 (list nil |
559 t | |
560 (read-string | |
561 (format "Select according to `%s' (end with RET): " | |
562 (or pages-directory-previous-regexp "regexp"))))))) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
563 |
235 | 564 (if (equal regexp "") |
565 (setq regexp pages-directory-previous-regexp) | |
566 (setq pages-directory-previous-regexp regexp)) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
567 |
235 | 568 (if (interactive-p) |
569 (message "Creating directory for: %s " | |
570 (buffer-name))) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
571 |
46863
28ae6b9b086e
(pages-target-buffer): Add defvar. Renamed from target-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
46847
diff
changeset
|
572 (let ((pages-target-buffer (current-buffer)) |
235 | 573 (pages-directory-buffer |
5311
da52825a3880
(pages-copy-header-and-position): Call end-of-line, not forward-line.
Richard M. Stallman <rms@gnu.org>
parents:
5021
diff
changeset
|
574 (concat pages-directory-prefix " " (buffer-name))) |
235 | 575 (linenum 1) |
576 (pages-buffer-original-position (point)) | |
577 (pages-buffer-original-page 0)) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
578 |
235 | 579 ;; `with-output-to-temp-buffer' binds the value of the variable |
580 ;; `standard-output' to the buffer named as its first argument, | |
581 ;; but does not switch to that buffer. | |
582 (with-output-to-temp-buffer pages-directory-buffer | |
583 (save-excursion | |
584 (set-buffer standard-output) | |
585 (pages-directory-mode) | |
586 (insert | |
587 "==== Pages Directory: use `C-c C-c' to go to page under cursor. ====" ?\n) | |
46863
28ae6b9b086e
(pages-target-buffer): Add defvar. Renamed from target-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
46847
diff
changeset
|
588 (setq pages-buffer pages-target-buffer) |
235 | 589 (setq pages-pos-list nil)) |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
590 |
235 | 591 (if pages-list-all-headers-p |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
592 |
235 | 593 ;; 1. If no prefix argument, list all headers |
594 (save-excursion | |
595 (goto-char (point-min)) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
596 |
235 | 597 ;; (a) Point is at beginning of buffer; but the first |
598 ;; page may not begin with a page-delimiter | |
599 (save-restriction | |
600 ;; If page delimiter is at beginning of buffer, skip it | |
601 (if (and (save-excursion | |
602 (re-search-forward page-delimiter nil t)) | |
603 (= 1 (match-beginning 0))) | |
604 (goto-char (match-end 0))) | |
605 (narrow-to-page) | |
606 (pages-copy-header-and-position count-lines-p)) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
607 |
235 | 608 ;; (b) Search within pages buffer for next page-delimiter |
609 (while (re-search-forward page-delimiter nil t) | |
610 (pages-copy-header-and-position count-lines-p))) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
611 |
235 | 612 ;; 2. Else list headers whose pages match regexp. |
613 (save-excursion | |
614 ;; REMOVED save-restriction AND widen FROM HERE | |
615 (goto-char (point-min)) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
616 |
235 | 617 ;; (a) Handle first page |
618 (save-restriction | |
619 (narrow-to-page) | |
620 ;; search for selection regexp | |
621 (if (save-excursion (re-search-forward regexp nil t)) | |
622 (pages-copy-header-and-position count-lines-p))) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
623 |
235 | 624 ;; (b) Search for next page-delimiter |
625 (while (re-search-forward page-delimiter nil t) | |
626 (save-restriction | |
627 (narrow-to-page) | |
628 ;; search for selection regexp | |
629 (if (save-excursion (re-search-forward regexp nil t)) | |
630 (pages-copy-header-and-position count-lines-p) | |
631 ))))) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
632 |
235 | 633 (set-buffer standard-output) |
634 ;; Put positions in increasing order to go with buffer. | |
635 (setq pages-pos-list (nreverse pages-pos-list)) | |
636 (if (interactive-p) | |
637 (message "%d matching lines in: %s" | |
46863
28ae6b9b086e
(pages-target-buffer): Add defvar. Renamed from target-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
46847
diff
changeset
|
638 (length pages-pos-list) (buffer-name pages-target-buffer)))) |
235 | 639 (pop-to-buffer pages-directory-buffer) |
640 (sit-for 0) ; otherwise forward-line fails if N > window height. | |
641 (forward-line (if (= 0 pages-buffer-original-page) | |
642 1 | |
643 pages-buffer-original-page)))) | |
25329 | 644 (eval-when-compile |
645 (defvar pages-buffer-original-position) | |
646 (defvar pages-buffer-original-page) | |
647 (defvar pages-buffer-original-page)) | |
235 | 648 |
649 (defun pages-copy-header-and-position (count-lines-p) | |
650 "Copy page header and its position to the Pages Directory. | |
651 Only arg non-nil, count lines in page and insert before header. | |
652 Used by `pages-directory' function." | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
653 |
235 | 654 (let (position line-count) |
655 | |
656 (if count-lines-p | |
657 (save-excursion | |
658 (save-restriction | |
659 (narrow-to-page) | |
660 (setq line-count (count-lines (point-min) (point-max)))))) | |
661 | |
662 ;; Keep track of page for later cursor positioning | |
663 (if (<= (point) pages-buffer-original-position) | |
664 (setq pages-buffer-original-page | |
665 (1+ pages-buffer-original-page))) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
666 |
235 | 667 (save-excursion |
668 ;; go to first non-blank char after the page-delimiter | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
669 (skip-chars-forward " \t\n") |
235 | 670 ;; set the marker here; this the place to which the |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
671 ;; `pages-directory-goto' command will go |
235 | 672 (setq position (make-marker)) |
673 (set-marker position (point)) | |
674 (let ((start (point)) | |
23957
71fe29ccef4c
Added mouse-selection feature for pages directory buffer.
Richard M. Stallman <rms@gnu.org>
parents:
17436
diff
changeset
|
675 (end (save-excursion (end-of-line) (point))) |
71fe29ccef4c
Added mouse-selection feature for pages directory buffer.
Richard M. Stallman <rms@gnu.org>
parents:
17436
diff
changeset
|
676 inserted-at) |
235 | 677 ;; change to directory buffer |
678 (set-buffer standard-output) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
679 ;; record page position |
235 | 680 (setq pages-pos-list (cons position pages-pos-list)) |
681 ;; insert page header | |
23957
71fe29ccef4c
Added mouse-selection feature for pages directory buffer.
Richard M. Stallman <rms@gnu.org>
parents:
17436
diff
changeset
|
682 (setq inserted-at (point)) |
46863
28ae6b9b086e
(pages-target-buffer): Add defvar. Renamed from target-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
46847
diff
changeset
|
683 (insert-buffer-substring pages-target-buffer start end) |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
684 (add-text-properties inserted-at (point) |
38082
b1c18f0dd970
(pages-copy-header-and-position): Add help-echo to mouse-highlighted text.
Eli Zaretskii <eliz@gnu.org>
parents:
25329
diff
changeset
|
685 '(mouse-face highlight |
b1c18f0dd970
(pages-copy-header-and-position): Add help-echo to mouse-highlighted text.
Eli Zaretskii <eliz@gnu.org>
parents:
25329
diff
changeset
|
686 help-echo "mouse-2: go to this page")) |
23965 | 687 (put-text-property inserted-at (point) 'rear-nonsticky 'highlight)) |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
688 |
235 | 689 (if count-lines-p |
690 (save-excursion | |
691 (beginning-of-line) | |
692 (insert (format "%3d: " line-count)))) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
693 |
235 | 694 (terpri)) |
5311
da52825a3880
(pages-copy-header-and-position): Call end-of-line, not forward-line.
Richard M. Stallman <rms@gnu.org>
parents:
5021
diff
changeset
|
695 (end-of-line 1))) |
235 | 696 |
46847
b1f5929aa675
(pages-directory-mode): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
39895
diff
changeset
|
697 (defun pages-directory-mode () |
235 | 698 "Mode for handling the pages-directory buffer. |
699 | |
700 Move point to one of the lines in this buffer, then use \\[pages-directory-goto] to go | |
701 to the same line in the pages buffer." | |
46847
b1f5929aa675
(pages-directory-mode): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
39895
diff
changeset
|
702 |
b1f5929aa675
(pages-directory-mode): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
39895
diff
changeset
|
703 (kill-all-local-variables) |
49701
77c73732b535
(pages-directory-mode-map): New.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49599
diff
changeset
|
704 (use-local-map pages-directory-mode-map) |
46847
b1f5929aa675
(pages-directory-mode): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
39895
diff
changeset
|
705 (setq major-mode 'pages-directory-mode) |
b1f5929aa675
(pages-directory-mode): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
39895
diff
changeset
|
706 (setq mode-name "Pages-Directory") |
235 | 707 (make-local-variable 'pages-buffer) |
708 (make-local-variable 'pages-pos-list) | |
49701
77c73732b535
(pages-directory-mode-map): New.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49599
diff
changeset
|
709 (make-local-variable 'pages-directory-buffer-narrowing-p) |
77c73732b535
(pages-directory-mode-map): New.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49599
diff
changeset
|
710 (run-mode-hooks 'pages-directory-mode-hook)) |
235 | 711 |
712 (defun pages-directory-goto () | |
713 "Go to the corresponding line in the pages buffer." | |
714 | |
715 ;;; This function is mostly a copy of `occur-mode-goto-occurrence' | |
716 | |
717 (interactive) | |
718 (if (or (not pages-buffer) | |
719 (not (buffer-name pages-buffer))) | |
720 (progn | |
721 (setq pages-buffer nil | |
722 pages-pos-list nil) | |
38436
b174db545cfd
Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents:
38082
diff
changeset
|
723 (error "Buffer in which pages were found is deleted"))) |
235 | 724 (beginning-of-line) |
725 (let* ((pages-number (1- (count-lines (point-min) (point)))) | |
726 (pos (nth pages-number pages-pos-list)) | |
727 (end-of-directory-p (eobp)) | |
728 (narrowing-p pages-directory-buffer-narrowing-p)) | |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
729 (pop-to-buffer pages-buffer) |
235 | 730 (widen) |
731 (if end-of-directory-p | |
732 (goto-char (point-max)) | |
733 (goto-char (marker-position pos))) | |
734 (if narrowing-p (narrow-to-page)))) | |
735 | |
23957
71fe29ccef4c
Added mouse-selection feature for pages directory buffer.
Richard M. Stallman <rms@gnu.org>
parents:
17436
diff
changeset
|
736 (defun pages-directory-goto-with-mouse (event) |
71fe29ccef4c
Added mouse-selection feature for pages directory buffer.
Richard M. Stallman <rms@gnu.org>
parents:
17436
diff
changeset
|
737 "Go to the corresponding line under the mouse pointer in the pages buffer." |
71fe29ccef4c
Added mouse-selection feature for pages directory buffer.
Richard M. Stallman <rms@gnu.org>
parents:
17436
diff
changeset
|
738 (interactive "e") |
71fe29ccef4c
Added mouse-selection feature for pages directory buffer.
Richard M. Stallman <rms@gnu.org>
parents:
17436
diff
changeset
|
739 (save-excursion |
71fe29ccef4c
Added mouse-selection feature for pages directory buffer.
Richard M. Stallman <rms@gnu.org>
parents:
17436
diff
changeset
|
740 (set-buffer (window-buffer (posn-window (event-end event)))) |
71fe29ccef4c
Added mouse-selection feature for pages directory buffer.
Richard M. Stallman <rms@gnu.org>
parents:
17436
diff
changeset
|
741 (save-excursion |
71fe29ccef4c
Added mouse-selection feature for pages directory buffer.
Richard M. Stallman <rms@gnu.org>
parents:
17436
diff
changeset
|
742 (goto-char (posn-point (event-end event))) |
71fe29ccef4c
Added mouse-selection feature for pages directory buffer.
Richard M. Stallman <rms@gnu.org>
parents:
17436
diff
changeset
|
743 (pages-directory-goto)))) |
235 | 744 |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
745 ;;; The `pages-directory-for-addresses' function and ancillary code |
235 | 746 |
747 (defun pages-directory-for-addresses (&optional filename) | |
748 "Find addresses file and display its directory. | |
749 By default, create and display directory of `pages-addresses-file-name'. | |
750 Optional argument is FILENAME. In interactive use, with prefix | |
751 argument, prompt for file name and provide completion. | |
752 | |
753 Move point to one of the lines in the displayed directory, | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
754 then use \\[pages-directory-goto] to go to the same line |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
755 in the addresses buffer. |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
756 |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
757 If pages-directory-for-addresses-goto-narrowing-p is non-nil, |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
758 `pages-directory-goto' narrows addresses buffer to entry. |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
759 |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
760 If pages-directory-for-addresses-buffer-keep-windows-p is nil, |
49599
5ade352e8d1c
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46863
diff
changeset
|
761 this command deletes other windows when it displays the addresses |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
762 directory." |
235 | 763 |
764 (interactive | |
765 (list (if current-prefix-arg | |
766 (read-file-name "Filename: " pages-addresses-file-name)))) | |
767 | |
768 (if (interactive-p) | |
769 (message "Creating directory for: %s " | |
770 (or filename pages-addresses-file-name))) | |
771 (if (file-exists-p (or filename pages-addresses-file-name)) | |
772 (progn | |
773 (set-buffer | |
774 (find-file-noselect | |
775 (expand-file-name | |
776 (or filename pages-addresses-file-name)))) | |
777 (widen) | |
778 (pages-directory t nil nil) | |
779 (pages-directory-address-mode) | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
780 (setq pages-directory-buffer-narrowing-p |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
781 pages-directory-for-addresses-goto-narrowing-p) |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
782 (or pages-directory-for-addresses-buffer-keep-windows-p |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
783 (delete-other-windows)) |
235 | 784 (save-excursion |
785 (goto-char (point-min)) | |
786 (delete-region (point) (save-excursion (end-of-line) (point))) | |
787 (insert | |
788 "=== Address List Directory: use `C-c C-c' to go to page under cursor. ===") | |
789 (set-buffer-modified-p nil) | |
790 )) | |
791 (error "No addresses file found!"))) | |
792 | |
49701
77c73732b535
(pages-directory-mode-map): New.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49599
diff
changeset
|
793 (define-derived-mode pages-directory-address-mode pages-directory-mode |
77c73732b535
(pages-directory-mode-map): New.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49599
diff
changeset
|
794 "Addresses Directory" |
235 | 795 "Mode for handling the Addresses Directory buffer. |
796 | |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
797 Move point to one of the lines in this buffer, |
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
798 then use \\[pages-directory-goto] to go |
235 | 799 to the same line in the pages buffer." |
49701
77c73732b535
(pages-directory-mode-map): New.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49599
diff
changeset
|
800 :syntax-table nil) |
235 | 801 |
5021
47afb35f4968
Revise documentation. Add `provide'.
Richard M. Stallman <rms@gnu.org>
parents:
3591
diff
changeset
|
802 (provide 'page-ext) |
52401 | 803 |
804 ;;; arch-tag: 2f311550-c6e0-4458-9c12-7f039c058bdb | |
38436
b174db545cfd
Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents:
38082
diff
changeset
|
805 ;;; page-ext.el ends here |