Mercurial > emacs
annotate lisp/textmodes/page.el @ 59442:37d47d9bf8b1
(vc-allow-async-revert): New user option.
(vc-disable-async-diff): New internal variable.
(vc-revert-buffer): Use them to disable asynchronous diff.
author | André Spiegel <spiegel@gnu.org> |
---|---|
date | Sun, 09 Jan 2005 21:27:28 +0000 |
parents | 695cf19ef79e |
children | a8fa7c632ee4 375f2633d815 |
rev | line source |
---|---|
38412
253f761ad37b
Some fixes to follow coding conventions in files maintained by FSF.
Pavel Janík <Pavel@Janik.cz>
parents:
20068
diff
changeset
|
1 ;;; page.el --- page motion commands for Emacs |
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
236
diff
changeset
|
2 |
846
20674ae6bf52
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
807
diff
changeset
|
3 ;; Copyright (C) 1985 Free Software Foundation, Inc. |
20674ae6bf52
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
807
diff
changeset
|
4 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
5 ;; Maintainer: FSF |
38697
a19197c6442f
Keyword added and FSF specified as Maintainer.
Pavel Janík <Pavel@Janik.cz>
parents:
38412
diff
changeset
|
6 ;; Keywords: wp convenience |
36 | 7 |
8 ;; This file is part of GNU Emacs. | |
9 | |
10 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
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:
659
diff
changeset
|
12 ;; the Free Software Foundation; either version 2, or (at your option) |
36 | 13 ;; any later version. |
14 | |
15 ;; GNU Emacs is distributed in the hope that it will be useful, | |
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
18 ;; GNU General Public License for more details. | |
19 | |
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. | |
36 | 24 |
2308
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1080
diff
changeset
|
25 ;;; Commentary: |
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1080
diff
changeset
|
26 |
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1080
diff
changeset
|
27 ;; This code provides the page-oriented movement and selection commands |
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1080
diff
changeset
|
28 ;; documented in the Emacs manual. |
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1080
diff
changeset
|
29 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
30 ;;; Code: |
36 | 31 |
32 (defun forward-page (&optional count) | |
33 "Move forward to page boundary. With arg, repeat, or go back if negative. | |
236 | 34 A page boundary is any line whose beginning matches the regexp |
35 `page-delimiter'." | |
36 | 36 (interactive "p") |
37 (or count (setq count 1)) | |
38 (while (and (> count 0) (not (eobp))) | |
1080 | 39 ;; In case the page-delimiter matches the null string, |
40 ;; don't find a match without moving. | |
41 (if (bolp) (forward-char 1)) | |
36 | 42 (if (re-search-forward page-delimiter nil t) |
43 nil | |
44 (goto-char (point-max))) | |
45 (setq count (1- count))) | |
46 (while (and (< count 0) (not (bobp))) | |
14160
d85151c5699d
(forward-page): Simplify how we avoid getting stuck when moving backwards.
Richard M. Stallman <rms@gnu.org>
parents:
8751
diff
changeset
|
47 ;; In case the page-delimiter matches the null string, |
d85151c5699d
(forward-page): Simplify how we avoid getting stuck when moving backwards.
Richard M. Stallman <rms@gnu.org>
parents:
8751
diff
changeset
|
48 ;; don't find a match without moving. |
d85151c5699d
(forward-page): Simplify how we avoid getting stuck when moving backwards.
Richard M. Stallman <rms@gnu.org>
parents:
8751
diff
changeset
|
49 (and (save-excursion (re-search-backward page-delimiter nil t)) |
d85151c5699d
(forward-page): Simplify how we avoid getting stuck when moving backwards.
Richard M. Stallman <rms@gnu.org>
parents:
8751
diff
changeset
|
50 (= (match-end 0) (point)) |
d85151c5699d
(forward-page): Simplify how we avoid getting stuck when moving backwards.
Richard M. Stallman <rms@gnu.org>
parents:
8751
diff
changeset
|
51 (goto-char (match-beginning 0))) |
36 | 52 (forward-char -1) |
14160
d85151c5699d
(forward-page): Simplify how we avoid getting stuck when moving backwards.
Richard M. Stallman <rms@gnu.org>
parents:
8751
diff
changeset
|
53 (if (re-search-backward page-delimiter nil t) |
d85151c5699d
(forward-page): Simplify how we avoid getting stuck when moving backwards.
Richard M. Stallman <rms@gnu.org>
parents:
8751
diff
changeset
|
54 ;; We found one--move to the end of it. |
d85151c5699d
(forward-page): Simplify how we avoid getting stuck when moving backwards.
Richard M. Stallman <rms@gnu.org>
parents:
8751
diff
changeset
|
55 (goto-char (match-end 0)) |
d85151c5699d
(forward-page): Simplify how we avoid getting stuck when moving backwards.
Richard M. Stallman <rms@gnu.org>
parents:
8751
diff
changeset
|
56 ;; We found nothing--go to beg of buffer. |
d85151c5699d
(forward-page): Simplify how we avoid getting stuck when moving backwards.
Richard M. Stallman <rms@gnu.org>
parents:
8751
diff
changeset
|
57 (goto-char (point-min))) |
36 | 58 (setq count (1+ count)))) |
59 | |
60 (defun backward-page (&optional count) | |
61 "Move backward to page boundary. With arg, repeat, or go fwd if negative. | |
236 | 62 A page boundary is any line whose beginning matches the regexp |
63 `page-delimiter'." | |
36 | 64 (interactive "p") |
65 (or count (setq count 1)) | |
66 (forward-page (- count))) | |
67 | |
68 (defun mark-page (&optional arg) | |
69 "Put mark at end of page, point at beginning. | |
70 A numeric arg specifies to move forward or backward by that many pages, | |
71 thus marking a page other than the one point was originally in." | |
72 (interactive "P") | |
73 (setq arg (if arg (prefix-numeric-value arg) 0)) | |
74 (if (> arg 0) | |
75 (forward-page arg) | |
76 (if (< arg 0) | |
77 (forward-page (1- arg)))) | |
78 (forward-page) | |
2825
bddd28afcc26
(mark-page): Activate the mark.
Richard M. Stallman <rms@gnu.org>
parents:
2308
diff
changeset
|
79 (push-mark nil t t) |
36 | 80 (forward-page -1)) |
81 | |
82 (defun narrow-to-page (&optional arg) | |
83 "Make text outside current page invisible. | |
84 A numeric arg specifies to move forward or backward by that many pages, | |
85 thus showing a page other than the one point was originally in." | |
86 (interactive "P") | |
87 (setq arg (if arg (prefix-numeric-value arg) 0)) | |
88 (save-excursion | |
89 (widen) | |
90 (if (> arg 0) | |
91 (forward-page arg) | |
92 (if (< arg 0) | |
16525
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
93 (let ((adjust 0) |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
94 (opoint (point))) |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
95 ;; If we are not now at the beginning of a page, |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
96 ;; move back one extra time, to get to the start of this page. |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
97 (save-excursion |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
98 (beginning-of-line) |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
99 (or (and (looking-at page-delimiter) |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
100 (eq (match-end 0) opoint)) |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
101 (setq adjust 1))) |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
102 (forward-page (- arg adjust))))) |
36 | 103 ;; Find the end of the page. |
20068
9c4fd611c3ec
(narrow-to-page): Check whether forward-page
Karl Heuer <kwzh@gnu.org>
parents:
16525
diff
changeset
|
104 (set-match-data nil) |
36 | 105 (forward-page) |
106 ;; If we stopped due to end of buffer, stay there. | |
107 ;; If we stopped after a page delimiter, put end of restriction | |
108 ;; at the beginning of that line. | |
20068
9c4fd611c3ec
(narrow-to-page): Check whether forward-page
Karl Heuer <kwzh@gnu.org>
parents:
16525
diff
changeset
|
109 ;; Before checking the match that was found, |
9c4fd611c3ec
(narrow-to-page): Check whether forward-page
Karl Heuer <kwzh@gnu.org>
parents:
16525
diff
changeset
|
110 ;; verify that forward-page actually set the match data. |
9c4fd611c3ec
(narrow-to-page): Check whether forward-page
Karl Heuer <kwzh@gnu.org>
parents:
16525
diff
changeset
|
111 (if (and (match-beginning 0) |
9c4fd611c3ec
(narrow-to-page): Check whether forward-page
Karl Heuer <kwzh@gnu.org>
parents:
16525
diff
changeset
|
112 (save-excursion |
9c4fd611c3ec
(narrow-to-page): Check whether forward-page
Karl Heuer <kwzh@gnu.org>
parents:
16525
diff
changeset
|
113 (goto-char (match-beginning 0)) ; was (beginning-of-line) |
9c4fd611c3ec
(narrow-to-page): Check whether forward-page
Karl Heuer <kwzh@gnu.org>
parents:
16525
diff
changeset
|
114 (looking-at page-delimiter))) |
36 | 115 (beginning-of-line)) |
116 (narrow-to-region (point) | |
117 (progn | |
118 ;; Find the top of the page. | |
119 (forward-page -1) | |
120 ;; If we found beginning of buffer, stay there. | |
121 ;; If extra text follows page delimiter on same line, | |
122 ;; include it. | |
123 ;; Otherwise, show text starting with following line. | |
124 (if (and (eolp) (not (bobp))) | |
125 (forward-line 1)) | |
126 (point))))) | |
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
236
diff
changeset
|
127 (put 'narrow-to-page 'disabled t) |
36 | 128 |
129 (defun count-lines-page () | |
130 "Report number of lines on current page, and how many are before or after point." | |
131 (interactive) | |
132 (save-excursion | |
133 (let ((opoint (point)) beg end | |
134 total before after) | |
135 (forward-page) | |
136 (beginning-of-line) | |
137 (or (looking-at page-delimiter) | |
138 (end-of-line)) | |
139 (setq end (point)) | |
140 (backward-page) | |
141 (setq beg (point)) | |
142 (setq total (count-lines beg end) | |
143 before (count-lines beg opoint) | |
144 after (count-lines opoint end)) | |
145 (message "Page has %d lines (%d + %d)" total before after)))) | |
146 | |
147 (defun what-page () | |
148 "Print page and line number of point." | |
149 (interactive) | |
150 (save-restriction | |
151 (widen) | |
152 (save-excursion | |
153 (beginning-of-line) | |
154 (let ((count 1) | |
155 (opoint (point))) | |
156 (goto-char 1) | |
157 (while (re-search-forward page-delimiter opoint t) | |
158 (setq count (1+ count))) | |
159 (message "Page %d, line %d" | |
160 count | |
161 (1+ (count-lines (point) opoint))))))) | |
5022 | 162 |
163 ;;; Place `provide' at end of file. | |
164 (provide 'page) | |
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
236
diff
changeset
|
165 |
52401 | 166 ;;; arch-tag: e8d7a0bd-8655-4b6e-b852-f2ee25316a1d |
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
236
diff
changeset
|
167 ;;; page.el ends here |