Mercurial > emacs
annotate lisp/textmodes/page.el @ 105163:716269aba178
(sgml-mode-flyspell-verify): Pass limit args
to looking-back to avoid ridiculous slow down in large files (bug#4511).
author | Stefan Monnier <monnier@iro.umontreal.ca> |
---|---|
date | Wed, 23 Sep 2009 23:05:37 +0000 |
parents | 92f324954126 |
children | 1d1d5d9bd884 |
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 |
74509 | 3 ;; Copyright (C) 1985, 2001, 2002, 2003, 2004, 2005, |
100908 | 4 ;; 2006, 2007, 2008, 2009 Free Software Foundation, Inc. |
846
20674ae6bf52
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
807
diff
changeset
|
5 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
6 ;; Maintainer: FSF |
38697
a19197c6442f
Keyword added and FSF specified as Maintainer.
Pavel Janík <Pavel@Janik.cz>
parents:
38412
diff
changeset
|
7 ;; Keywords: wp convenience |
36 | 8 |
9 ;; This file is part of GNU Emacs. | |
10 | |
94670
f4a69fedbd46
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
11 ;; GNU Emacs is free software: you can redistribute it and/or modify |
36 | 12 ;; it under the terms of the GNU General Public License as published by |
94670
f4a69fedbd46
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
13 ;; the Free Software Foundation, either version 3 of the License, or |
f4a69fedbd46
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
14 ;; (at your option) any later version. |
36 | 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 | |
94670
f4a69fedbd46
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
22 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
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))) |
65435
f869318329b5
(narrow-to-page): Exclude _entire_ multi-line delimiter from the region
Eli Zaretskii <eliz@gnu.org>
parents:
64751
diff
changeset
|
114 (goto-char (match-beginning 0))) ; was (beginning-of-line) |
36 | 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 (let ((count 1) | |
153 (opoint (point))) | |
105018
589ca5b7f8cc
(what-page): Don't move to beginning of line.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
100908
diff
changeset
|
154 (goto-char (point-min)) |
36 | 155 (while (re-search-forward page-delimiter opoint t) |
105045
92f324954126
(what-page): Make sure we don't inf-loop if
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
105018
diff
changeset
|
156 (if (= (match-beginning 0) (match-end 0)) |
92f324954126
(what-page): Make sure we don't inf-loop if
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
105018
diff
changeset
|
157 (forward-char 1)) |
36 | 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 |
93975
1e3a407766b9
Fix up comment convention on the arch-tag lines.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
79719
diff
changeset
|
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 |