Mercurial > emacs
annotate lisp/textmodes/page.el @ 30024:9fd285caeb51
(concat): While copying text properties, make each composition
property value a copy.
author | Kenichi Handa <handa@m17n.org> |
---|---|
date | Tue, 04 Jul 2000 07:38:15 +0000 |
parents | 9c4fd611c3ec |
children | 253f761ad37b |
rev | line source |
---|---|
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
236
diff
changeset
|
1 ;;; page.el --- page motion commands for emacs. |
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 |
36 | 6 |
7 ;; This file is part of GNU Emacs. | |
8 | |
9 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
10 ;; 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
|
11 ;; the Free Software Foundation; either version 2, or (at your option) |
36 | 12 ;; any later version. |
13 | |
14 ;; GNU Emacs is distributed in the hope that it will be useful, | |
15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
17 ;; GNU General Public License for more details. | |
18 | |
19 ;; You should have received a copy of the GNU General Public License | |
14169 | 20 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
21 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
22 ;; Boston, MA 02111-1307, USA. | |
36 | 23 |
2308
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1080
diff
changeset
|
24 ;;; Commentary: |
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1080
diff
changeset
|
25 |
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1080
diff
changeset
|
26 ;; 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
|
27 ;; documented in the Emacs manual. |
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1080
diff
changeset
|
28 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
29 ;;; Code: |
36 | 30 |
31 (defun forward-page (&optional count) | |
32 "Move forward to page boundary. With arg, repeat, or go back if negative. | |
236 | 33 A page boundary is any line whose beginning matches the regexp |
34 `page-delimiter'." | |
36 | 35 (interactive "p") |
36 (or count (setq count 1)) | |
37 (while (and (> count 0) (not (eobp))) | |
1080 | 38 ;; In case the page-delimiter matches the null string, |
39 ;; don't find a match without moving. | |
40 (if (bolp) (forward-char 1)) | |
36 | 41 (if (re-search-forward page-delimiter nil t) |
42 nil | |
43 (goto-char (point-max))) | |
44 (setq count (1- count))) | |
45 (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
|
46 ;; 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
|
47 ;; 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
|
48 (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
|
49 (= (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
|
50 (goto-char (match-beginning 0))) |
36 | 51 (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
|
52 (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
|
53 ;; 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
|
54 (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
|
55 ;; 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
|
56 (goto-char (point-min))) |
36 | 57 (setq count (1+ count)))) |
58 | |
59 (defun backward-page (&optional count) | |
60 "Move backward to page boundary. With arg, repeat, or go fwd if negative. | |
236 | 61 A page boundary is any line whose beginning matches the regexp |
62 `page-delimiter'." | |
36 | 63 (interactive "p") |
64 (or count (setq count 1)) | |
65 (forward-page (- count))) | |
66 | |
67 (defun mark-page (&optional arg) | |
68 "Put mark at end of page, point at beginning. | |
69 A numeric arg specifies to move forward or backward by that many pages, | |
70 thus marking a page other than the one point was originally in." | |
71 (interactive "P") | |
72 (setq arg (if arg (prefix-numeric-value arg) 0)) | |
73 (if (> arg 0) | |
74 (forward-page arg) | |
75 (if (< arg 0) | |
76 (forward-page (1- arg)))) | |
77 (forward-page) | |
2825
bddd28afcc26
(mark-page): Activate the mark.
Richard M. Stallman <rms@gnu.org>
parents:
2308
diff
changeset
|
78 (push-mark nil t t) |
36 | 79 (forward-page -1)) |
80 | |
81 (defun narrow-to-page (&optional arg) | |
82 "Make text outside current page invisible. | |
83 A numeric arg specifies to move forward or backward by that many pages, | |
84 thus showing a page other than the one point was originally in." | |
85 (interactive "P") | |
86 (setq arg (if arg (prefix-numeric-value arg) 0)) | |
87 (save-excursion | |
88 (widen) | |
89 (if (> arg 0) | |
90 (forward-page arg) | |
91 (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
|
92 (let ((adjust 0) |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
93 (opoint (point))) |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
94 ;; 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
|
95 ;; 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
|
96 (save-excursion |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
97 (beginning-of-line) |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
98 (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
|
99 (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
|
100 (setq adjust 1))) |
521d5794ac2b
(narrow-to-page): With negative arg, move back one extra
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
101 (forward-page (- arg adjust))))) |
36 | 102 ;; Find the end of the page. |
20068
9c4fd611c3ec
(narrow-to-page): Check whether forward-page
Karl Heuer <kwzh@gnu.org>
parents:
16525
diff
changeset
|
103 (set-match-data nil) |
36 | 104 (forward-page) |
105 ;; If we stopped due to end of buffer, stay there. | |
106 ;; If we stopped after a page delimiter, put end of restriction | |
107 ;; at the beginning of that line. | |
20068
9c4fd611c3ec
(narrow-to-page): Check whether forward-page
Karl Heuer <kwzh@gnu.org>
parents:
16525
diff
changeset
|
108 ;; Before checking the match that was found, |
9c4fd611c3ec
(narrow-to-page): Check whether forward-page
Karl Heuer <kwzh@gnu.org>
parents:
16525
diff
changeset
|
109 ;; 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
|
110 (if (and (match-beginning 0) |
9c4fd611c3ec
(narrow-to-page): Check whether forward-page
Karl Heuer <kwzh@gnu.org>
parents:
16525
diff
changeset
|
111 (save-excursion |
9c4fd611c3ec
(narrow-to-page): Check whether forward-page
Karl Heuer <kwzh@gnu.org>
parents:
16525
diff
changeset
|
112 (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
|
113 (looking-at page-delimiter))) |
36 | 114 (beginning-of-line)) |
115 (narrow-to-region (point) | |
116 (progn | |
117 ;; Find the top of the page. | |
118 (forward-page -1) | |
119 ;; If we found beginning of buffer, stay there. | |
120 ;; If extra text follows page delimiter on same line, | |
121 ;; include it. | |
122 ;; Otherwise, show text starting with following line. | |
123 (if (and (eolp) (not (bobp))) | |
124 (forward-line 1)) | |
125 (point))))) | |
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
236
diff
changeset
|
126 (put 'narrow-to-page 'disabled t) |
36 | 127 |
128 (defun count-lines-page () | |
129 "Report number of lines on current page, and how many are before or after point." | |
130 (interactive) | |
131 (save-excursion | |
132 (let ((opoint (point)) beg end | |
133 total before after) | |
134 (forward-page) | |
135 (beginning-of-line) | |
136 (or (looking-at page-delimiter) | |
137 (end-of-line)) | |
138 (setq end (point)) | |
139 (backward-page) | |
140 (setq beg (point)) | |
141 (setq total (count-lines beg end) | |
142 before (count-lines beg opoint) | |
143 after (count-lines opoint end)) | |
144 (message "Page has %d lines (%d + %d)" total before after)))) | |
145 | |
146 (defun what-page () | |
147 "Print page and line number of point." | |
148 (interactive) | |
149 (save-restriction | |
150 (widen) | |
151 (save-excursion | |
152 (beginning-of-line) | |
153 (let ((count 1) | |
154 (opoint (point))) | |
155 (goto-char 1) | |
156 (while (re-search-forward page-delimiter opoint t) | |
157 (setq count (1+ count))) | |
158 (message "Page %d, line %d" | |
159 count | |
160 (1+ (count-lines (point) opoint))))))) | |
5022 | 161 |
162 ;;; Place `provide' at end of file. | |
163 (provide 'page) | |
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
236
diff
changeset
|
164 |
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
236
diff
changeset
|
165 ;;; page.el ends here |