Mercurial > emacs
annotate lisp/replace.el @ 18965:7b3efca4f455
Change Quail package name to "ethiopic".
(ethio-toggle-punctuation): Give "ethiopic" to quail-defrule.
author | Kenichi Handa <handa@m17n.org> |
---|---|
date | Fri, 25 Jul 1997 07:28:50 +0000 |
parents | 0e0935f23d39 |
children | 2cf48aa123b8 |
rev | line source |
---|---|
658
7cbd4fcd8b0f
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
324
diff
changeset
|
1 ;;; replace.el --- replace commands for Emacs. |
7cbd4fcd8b0f
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
324
diff
changeset
|
2 |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
3 ;; Copyright (C) 1985, 1986, 1987, 1992, 1994, 1996 Free Software Foundation, Inc. |
61 | 4 |
5 ;; This file is part of GNU Emacs. | |
6 | |
7 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
8 ;; it under the terms of the GNU General Public License as published by | |
732 | 9 ;; the Free Software Foundation; either version 2, or (at your option) |
61 | 10 ;; any later version. |
11 | |
12 ;; GNU Emacs is distributed in the hope that it will be useful, | |
13 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 ;; GNU General Public License for more details. | |
16 | |
17 ;; You should have received a copy of the GNU General Public License | |
14169 | 18 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
19 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
20 ;; Boston, MA 02111-1307, USA. | |
61 | 21 |
2315
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2156
diff
changeset
|
22 ;;; Commentary: |
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2156
diff
changeset
|
23 |
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2156
diff
changeset
|
24 ;; This package supplies the string and regular-expression replace functions |
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2156
diff
changeset
|
25 ;; documented in the Emacs user's manual. |
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2156
diff
changeset
|
26 |
788
c8d4eb38ebfc
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
732
diff
changeset
|
27 ;;; Code: |
61 | 28 |
17664
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
29 (defcustom case-replace t |
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
30 "*Non-nil means query-replace should preserve case in replacements." |
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
31 :type 'boolean |
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
32 :group 'matching) |
264 | 33 |
864
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
34 (defvar query-replace-history nil) |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
35 |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
36 (defvar query-replace-interactive nil |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
37 "Non-nil means `query-replace' uses the last search string. |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
38 That becomes the \"string to replace\".") |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
39 |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
40 (defun query-replace-read-args (string regexp-flag) |
864
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
41 (let (from to) |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
42 (if query-replace-interactive |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
43 (setq from (car (if regexp-flag regexp-search-ring search-ring))) |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
44 (setq from (read-from-minibuffer (format "%s: " string) |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
45 nil nil nil |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
46 'query-replace-history))) |
864
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
47 (setq to (read-from-minibuffer (format "%s %s with: " string from) |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
48 nil nil nil |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
49 'query-replace-history)) |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
50 (list from to current-prefix-arg))) |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
51 |
260 | 52 (defun query-replace (from-string to-string &optional arg) |
53 "Replace some occurrences of FROM-STRING with TO-STRING. | |
54 As each match is found, the user must type a character saying | |
55 what to do with it. For directions, type \\[help-command] at that time. | |
56 | |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
57 If `query-replace-interactive' is non-nil, the last incremental search |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
58 string is used as FROM-STRING--you don't have to specify it with the |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
59 minibuffer. |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
60 |
6707 | 61 Preserves case in each replacement if `case-replace' and `case-fold-search' |
260 | 62 are non-nil and FROM-STRING has no uppercase letters. |
10104
8a04af3511c1
(replace-string, query-replace): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
10069
diff
changeset
|
63 \(Preserving case means that if the string matched is all caps, or capitalized, |
8a04af3511c1
(replace-string, query-replace): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
10069
diff
changeset
|
64 then its replacement is upcased or capitalized.) |
8a04af3511c1
(replace-string, query-replace): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
10069
diff
changeset
|
65 |
6707 | 66 Third arg DELIMITED (prefix arg if interactive), if non-nil, means replace |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
67 only matches surrounded by word boundaries. |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
68 |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
69 To customize possible responses, change the \"bindings\" in `query-replace-map'." |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
70 (interactive (query-replace-read-args "Query replace" nil)) |
10157
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
71 (perform-replace from-string to-string t nil arg)) |
268 | 72 (define-key esc-map "%" 'query-replace) |
260 | 73 |
74 (defun query-replace-regexp (regexp to-string &optional arg) | |
75 "Replace some things after point matching REGEXP with TO-STRING. | |
76 As each match is found, the user must type a character saying | |
77 what to do with it. For directions, type \\[help-command] at that time. | |
78 | |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
79 If `query-replace-interactive' is non-nil, the last incremental search |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
80 regexp is used as REGEXP--you don't have to specify it with the |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
81 minibuffer. |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
82 |
6707 | 83 Preserves case in each replacement if `case-replace' and `case-fold-search' |
260 | 84 are non-nil and REGEXP has no uppercase letters. |
6707 | 85 Third arg DELIMITED (prefix arg if interactive), if non-nil, means replace |
260 | 86 only matches surrounded by word boundaries. |
6707 | 87 In TO-STRING, `\\&' stands for whatever matched the whole of REGEXP, |
88 and `\\=\\N' (where N is a digit) stands for | |
89 whatever what matched the Nth `\\(...\\)' in REGEXP." | |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
90 (interactive (query-replace-read-args "Query replace regexp" t)) |
10157
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
91 (perform-replace regexp to-string t t arg)) |
260 | 92 |
93 (defun map-query-replace-regexp (regexp to-strings &optional arg) | |
94 "Replace some matches for REGEXP with various strings, in rotation. | |
95 The second argument TO-STRINGS contains the replacement strings, separated | |
96 by spaces. This command works like `query-replace-regexp' except | |
97 that each successive replacement uses the next successive replacement string, | |
98 wrapping around from the last such string to the first. | |
99 | |
100 Non-interactively, TO-STRINGS may be a list of replacement strings. | |
101 | |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
102 If `query-replace-interactive' is non-nil, the last incremental search |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
103 regexp is used as REGEXP--you don't have to specify it with the minibuffer. |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
104 |
260 | 105 A prefix argument N says to use each replacement string N times |
106 before rotating to the next." | |
864
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
107 (interactive |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
108 (let (from to) |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
109 (setq from (if query-replace-interactive |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
110 (car regexp-search-ring) |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
111 (read-from-minibuffer "Map query replace (regexp): " |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
112 nil nil nil |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
113 'query-replace-history))) |
864
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
114 (setq to (read-from-minibuffer |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
115 (format "Query replace %s with (space-separated strings): " |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
116 from) |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
117 nil nil nil |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
118 'query-replace-history)) |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
119 (list from to current-prefix-arg))) |
260 | 120 (let (replacements) |
121 (if (listp to-strings) | |
122 (setq replacements to-strings) | |
123 (while (/= (length to-strings) 0) | |
124 (if (string-match " " to-strings) | |
125 (setq replacements | |
126 (append replacements | |
127 (list (substring to-strings 0 | |
128 (string-match " " to-strings)))) | |
129 to-strings (substring to-strings | |
130 (1+ (string-match " " to-strings)))) | |
131 (setq replacements (append replacements (list to-strings)) | |
132 to-strings "")))) | |
10157
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
133 (perform-replace regexp replacements t t nil arg))) |
260 | 134 |
135 (defun replace-string (from-string to-string &optional delimited) | |
136 "Replace occurrences of FROM-STRING with TO-STRING. | |
137 Preserve case in each match if `case-replace' and `case-fold-search' | |
138 are non-nil and FROM-STRING has no uppercase letters. | |
10104
8a04af3511c1
(replace-string, query-replace): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
10069
diff
changeset
|
139 \(Preserving case means that if the string matched is all caps, or capitalized, |
8a04af3511c1
(replace-string, query-replace): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
10069
diff
changeset
|
140 then its replacement is upcased or capitalized.) |
8a04af3511c1
(replace-string, query-replace): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
10069
diff
changeset
|
141 |
6707 | 142 Third arg DELIMITED (prefix arg if interactive), if non-nil, means replace |
260 | 143 only matches surrounded by word boundaries. |
144 | |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
145 If `query-replace-interactive' is non-nil, the last incremental search |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
146 string is used as FROM-STRING--you don't have to specify it with the |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
147 minibuffer. |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
148 |
260 | 149 This function is usually the wrong thing to use in a Lisp program. |
150 What you probably want is a loop like this: | |
6707 | 151 (while (search-forward FROM-STRING nil t) |
152 (replace-match TO-STRING nil t)) | |
17211
ecf78b4eb138
(replace-string): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
17010
diff
changeset
|
153 which will run faster and will not set the mark or print anything. |
ecf78b4eb138
(replace-string): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
17010
diff
changeset
|
154 \(You may need a more complex loop if FROM-STRING can match the null string |
ecf78b4eb138
(replace-string): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
17010
diff
changeset
|
155 and TO-STRING is also null.)" |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
156 (interactive (query-replace-read-args "Replace string" nil)) |
10157
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
157 (perform-replace from-string to-string nil nil delimited)) |
260 | 158 |
159 (defun replace-regexp (regexp to-string &optional delimited) | |
160 "Replace things after point matching REGEXP with TO-STRING. | |
6707 | 161 Preserve case in each match if `case-replace' and `case-fold-search' |
260 | 162 are non-nil and REGEXP has no uppercase letters. |
6707 | 163 Third arg DELIMITED (prefix arg if interactive), if non-nil, means replace |
260 | 164 only matches surrounded by word boundaries. |
6707 | 165 In TO-STRING, `\\&' stands for whatever matched the whole of REGEXP, |
166 and `\\=\\N' (where N is a digit) stands for | |
6722
dd74576b79f6
(replace-regexp): Fix misbalanced quotes.
Karl Heuer <kwzh@gnu.org>
parents:
6707
diff
changeset
|
167 whatever what matched the Nth `\\(...\\)' in REGEXP. |
260 | 168 |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
169 If `query-replace-interactive' is non-nil, the last incremental search |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
170 regexp is used as REGEXP--you don't have to specify it with the minibuffer. |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
171 |
260 | 172 This function is usually the wrong thing to use in a Lisp program. |
173 What you probably want is a loop like this: | |
174 (while (re-search-forward REGEXP nil t) | |
6707 | 175 (replace-match TO-STRING nil nil)) |
260 | 176 which will run faster and will not set the mark or print anything." |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
177 (interactive (query-replace-read-args "Replace regexp" t)) |
10157
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
178 (perform-replace regexp to-string nil t delimited)) |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
179 |
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
180 (defvar regexp-history nil |
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
181 "History list for some commands that read regular expressions.") |
260 | 182 |
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2408
diff
changeset
|
183 (defalias 'delete-non-matching-lines 'keep-lines) |
61 | 184 (defun keep-lines (regexp) |
185 "Delete all lines except those containing matches for REGEXP. | |
186 A match split across lines preserves all the lines it lies in. | |
187 Applies to all lines after point." | |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
188 (interactive (list (read-from-minibuffer |
2685
b8c5199f31af
(flush-lines, keep-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
2571
diff
changeset
|
189 "Keep lines (containing match for regexp): " |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
190 nil nil nil 'regexp-history))) |
61 | 191 (save-excursion |
192 (or (bolp) (forward-line 1)) | |
193 (let ((start (point))) | |
194 (while (not (eobp)) | |
195 ;; Start is first char not preserved by previous match. | |
196 (if (not (re-search-forward regexp nil 'move)) | |
197 (delete-region start (point-max)) | |
198 (let ((end (save-excursion (goto-char (match-beginning 0)) | |
199 (beginning-of-line) | |
200 (point)))) | |
201 ;; Now end is first char preserved by the new match. | |
202 (if (< start end) | |
203 (delete-region start end)))) | |
204 (setq start (save-excursion (forward-line 1) | |
205 (point))) | |
206 ;; If the match was empty, avoid matching again at same place. | |
207 (and (not (eobp)) (= (match-beginning 0) (match-end 0)) | |
208 (forward-char 1)))))) | |
209 | |
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2408
diff
changeset
|
210 (defalias 'delete-matching-lines 'flush-lines) |
61 | 211 (defun flush-lines (regexp) |
212 "Delete lines containing matches for REGEXP. | |
213 If a match is split across lines, all the lines it lies in are deleted. | |
214 Applies to lines after point." | |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
215 (interactive (list (read-from-minibuffer |
2685
b8c5199f31af
(flush-lines, keep-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
2571
diff
changeset
|
216 "Flush lines (containing match for regexp): " |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
217 nil nil nil 'regexp-history))) |
61 | 218 (save-excursion |
219 (while (and (not (eobp)) | |
220 (re-search-forward regexp nil t)) | |
221 (delete-region (save-excursion (goto-char (match-beginning 0)) | |
222 (beginning-of-line) | |
223 (point)) | |
224 (progn (forward-line 1) (point)))))) | |
225 | |
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2408
diff
changeset
|
226 (defalias 'count-matches 'how-many) |
61 | 227 (defun how-many (regexp) |
228 "Print number of matches for REGEXP following point." | |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
229 (interactive (list (read-from-minibuffer |
2685
b8c5199f31af
(flush-lines, keep-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
2571
diff
changeset
|
230 "How many matches for (regexp): " |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
231 nil nil nil 'regexp-history))) |
61 | 232 (let ((count 0) opoint) |
233 (save-excursion | |
234 (while (and (not (eobp)) | |
235 (progn (setq opoint (point)) | |
236 (re-search-forward regexp nil t))) | |
237 (if (= opoint (point)) | |
238 (forward-char 1) | |
239 (setq count (1+ count)))) | |
240 (message "%d occurrences" count)))) | |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
241 |
61 | 242 (defvar occur-mode-map ()) |
243 (if occur-mode-map | |
244 () | |
245 (setq occur-mode-map (make-sparse-keymap)) | |
6596
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
246 (define-key occur-mode-map [mouse-2] 'occur-mode-mouse-goto) |
10266
a44beb55d3e1
(occur-mode-map): Bind C-m and `return' to occur-mode-goto-occurrence.
Richard M. Stallman <rms@gnu.org>
parents:
10157
diff
changeset
|
247 (define-key occur-mode-map "\C-c\C-c" 'occur-mode-goto-occurrence) |
16864
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
248 (define-key occur-mode-map "\C-m" 'occur-mode-goto-occurrence) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
249 (define-key occur-mode-map "\M-n" 'occur-next) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
250 (define-key occur-mode-map "\M-p" 'occur-prev) |
16864
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
251 (define-key occur-mode-map "g" 'revert-buffer)) |
61 | 252 |
253 (defvar occur-buffer nil) | |
254 (defvar occur-nlines nil) | |
16864
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
255 (defvar occur-command-arguments nil |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
256 "Arguments that were given to `occur' when it made this buffer.") |
61 | 257 |
17655
8e35bb3ec2e2
(occur-mode): Add a mode-class property.
Richard M. Stallman <rms@gnu.org>
parents:
17638
diff
changeset
|
258 (put 'occur-mode 'mode-class 'special) |
8e35bb3ec2e2
(occur-mode): Add a mode-class property.
Richard M. Stallman <rms@gnu.org>
parents:
17638
diff
changeset
|
259 |
61 | 260 (defun occur-mode () |
261 "Major mode for output from \\[occur]. | |
10266
a44beb55d3e1
(occur-mode-map): Bind C-m and `return' to occur-mode-goto-occurrence.
Richard M. Stallman <rms@gnu.org>
parents:
10157
diff
changeset
|
262 \\<occur-mode-map>Move point to one of the items in this buffer, then use |
a44beb55d3e1
(occur-mode-map): Bind C-m and `return' to occur-mode-goto-occurrence.
Richard M. Stallman <rms@gnu.org>
parents:
10157
diff
changeset
|
263 \\[occur-mode-goto-occurrence] to go to the occurrence that the item refers to. |
a44beb55d3e1
(occur-mode-map): Bind C-m and `return' to occur-mode-goto-occurrence.
Richard M. Stallman <rms@gnu.org>
parents:
10157
diff
changeset
|
264 Alternatively, click \\[occur-mode-mouse-goto] on an item to go to it. |
a44beb55d3e1
(occur-mode-map): Bind C-m and `return' to occur-mode-goto-occurrence.
Richard M. Stallman <rms@gnu.org>
parents:
10157
diff
changeset
|
265 |
61 | 266 \\{occur-mode-map}" |
267 (kill-all-local-variables) | |
268 (use-local-map occur-mode-map) | |
269 (setq major-mode 'occur-mode) | |
270 (setq mode-name "Occur") | |
16864
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
271 (make-local-variable 'revert-buffer-function) |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
272 (setq revert-buffer-function 'occur-revert-function) |
61 | 273 (make-local-variable 'occur-buffer) |
274 (make-local-variable 'occur-nlines) | |
16864
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
275 (make-local-variable 'occur-command-arguments) |
4975
db0c6ed6f145
(occur-mode): Run occur-mode-hook.
Richard M. Stallman <rms@gnu.org>
parents:
4429
diff
changeset
|
276 (run-hooks 'occur-mode-hook)) |
61 | 277 |
16864
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
278 ;; Handle revert-buffer for *Occur* buffers. |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
279 (defun occur-revert-function (ignore1 ignore2) |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
280 (let ((args occur-command-arguments )) |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
281 (save-excursion |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
282 (set-buffer occur-buffer) |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
283 (apply 'occur args)))) |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
284 |
6596
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
285 (defun occur-mode-mouse-goto (event) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
286 "In Occur mode, go to the occurrence whose line you click on." |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
287 (interactive "e") |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
288 (let (buffer pos) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
289 (save-excursion |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
290 (set-buffer (window-buffer (posn-window (event-end event)))) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
291 (save-excursion |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
292 (goto-char (posn-point (event-end event))) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
293 (setq pos (occur-mode-find-occurrence)) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
294 (setq buffer occur-buffer))) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
295 (pop-to-buffer buffer) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
296 (goto-char (marker-position pos)))) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
297 |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
298 (defun occur-mode-find-occurrence () |
61 | 299 (if (or (null occur-buffer) |
300 (null (buffer-name occur-buffer))) | |
301 (progn | |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
302 (setq occur-buffer nil) |
61 | 303 (error "Buffer in which occurrences were found is deleted"))) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
304 (let ((pos (get-text-property (point) 'occur))) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
305 (if (null pos) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
306 (error "No occurrence on this line") |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
307 pos))) |
6596
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
308 |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
309 (defun occur-mode-goto-occurrence () |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
310 "Go to the occurrence the current line describes." |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
311 (interactive) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
312 (let ((pos (occur-mode-find-occurrence))) |
61 | 313 (pop-to-buffer occur-buffer) |
6608
e631a154dc3b
(occur-mode-goto-occurrence): Delete excess close paren.
Richard M. Stallman <rms@gnu.org>
parents:
6607
diff
changeset
|
314 (goto-char (marker-position pos)))) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
315 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
316 (defun occur-next (&optional n) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
317 "Move to the Nth (default 1) next match in the *Occur* buffer." |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
318 (interactive "p") |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
319 (if (not n) (setq n 1)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
320 (let ((r)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
321 (while (> n 0) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
322 (if (get-text-property (point) 'occur-point) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
323 (forward-char 1)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
324 (setq r (next-single-property-change (point) 'occur-point)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
325 (if r |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
326 (goto-char r) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
327 (error "no more matches")) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
328 (setq n (1- n))))) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
329 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
330 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
331 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
332 (defun occur-prev (&optional n) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
333 "Move to the Nth (default 1) previous match in the *Occur* buffer." |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
334 (interactive "p") |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
335 (if (not n) (setq n 1)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
336 (let ((r)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
337 (while (> n 0) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
338 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
339 (setq r (get-text-property (point) 'occur-point)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
340 (if r (forward-char -1)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
341 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
342 (setq r (previous-single-property-change (point) 'occur-point)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
343 (if r |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
344 (goto-char (- r 1)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
345 (error "no earlier matches")) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
346 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
347 (setq n (1- n))))) |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
348 |
17664
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
349 (defcustom list-matching-lines-default-context-lines 0 |
260 | 350 "*Default number of context lines to include around a `list-matching-lines' |
61 | 351 match. A negative number means to include that many lines before the match. |
17664
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
352 A positive number means to include that many lines both before and after." |
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
353 :type 'integer |
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
354 :group 'matching) |
61 | 355 |
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2408
diff
changeset
|
356 (defalias 'list-matching-lines 'occur) |
61 | 357 |
16818
6de559d0b20f
(list-matching-lines-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
16758
diff
changeset
|
358 (defvar list-matching-lines-face 'bold |
6de559d0b20f
(list-matching-lines-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
16758
diff
changeset
|
359 "*Face used by M-x list-matching-lines to show the text that matches. |
6de559d0b20f
(list-matching-lines-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
16758
diff
changeset
|
360 If the value is nil, don't highlight the matching portions specially.") |
6de559d0b20f
(list-matching-lines-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
16758
diff
changeset
|
361 |
61 | 362 (defun occur (regexp &optional nlines) |
1427
c49077849583
(occur): Always search entire buffer.
Richard M. Stallman <rms@gnu.org>
parents:
866
diff
changeset
|
363 "Show all lines in the current buffer containing a match for REGEXP. |
61 | 364 |
260 | 365 If a match spreads across multiple lines, all those lines are shown. |
366 | |
367 Each line is displayed with NLINES lines before and after, or -NLINES | |
368 before if NLINES is negative. | |
369 NLINES defaults to `list-matching-lines-default-context-lines'. | |
61 | 370 Interactively it is the prefix arg. |
371 | |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
372 The lines are shown in a buffer named `*Occur*'. |
61 | 373 It serves as a menu to find any of the occurrences in this buffer. |
17655
8e35bb3ec2e2
(occur-mode): Add a mode-class property.
Richard M. Stallman <rms@gnu.org>
parents:
17638
diff
changeset
|
374 \\<occur-mode-map>\\[describe-mode] in that buffer will explain how. |
17638
9ece72836276
(occur): If regexp has uppercase in it, match it case-sensitively.
Richard M. Stallman <rms@gnu.org>
parents:
17211
diff
changeset
|
375 |
17655
8e35bb3ec2e2
(occur-mode): Add a mode-class property.
Richard M. Stallman <rms@gnu.org>
parents:
17638
diff
changeset
|
376 If REGEXP contains upper case characters (excluding those preceded by `\\'), |
8e35bb3ec2e2
(occur-mode): Add a mode-class property.
Richard M. Stallman <rms@gnu.org>
parents:
17638
diff
changeset
|
377 the matching is case-sensitive." |
15040
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
378 (interactive |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
379 (list (let* ((default (car regexp-history)) |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
380 (input |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
381 (read-from-minibuffer |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
382 (if default |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
383 (format "List lines matching regexp (default `%s'): " |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
384 default) |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
385 "List lines matching regexp: ") |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
386 nil nil nil 'regexp-history))) |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
387 (if (string-equal input "") |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
388 default |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
389 (set-text-properties 0 (length input) nil input) |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
390 input)) |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
391 current-prefix-arg)) |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
392 (let ((nlines (if nlines |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
393 (prefix-numeric-value nlines) |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
394 list-matching-lines-default-context-lines)) |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
395 (first t) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
396 (occur-num-matches 0) |
61 | 397 (buffer (current-buffer)) |
11075
e1b564b50569
(occur): Copy default-directory to *Occur* buffer.
Richard M. Stallman <rms@gnu.org>
parents:
10566
diff
changeset
|
398 (dir default-directory) |
61 | 399 (linenum 1) |
324 | 400 (prevpos (point-min)) |
17638
9ece72836276
(occur): If regexp has uppercase in it, match it case-sensitively.
Richard M. Stallman <rms@gnu.org>
parents:
17211
diff
changeset
|
401 (case-fold-search (and case-fold-search |
9ece72836276
(occur): If regexp has uppercase in it, match it case-sensitively.
Richard M. Stallman <rms@gnu.org>
parents:
17211
diff
changeset
|
402 (isearch-no-upper-case-p regexp t))) |
324 | 403 (final-context-start (make-marker))) |
1427
c49077849583
(occur): Always search entire buffer.
Richard M. Stallman <rms@gnu.org>
parents:
866
diff
changeset
|
404 ;;; (save-excursion |
c49077849583
(occur): Always search entire buffer.
Richard M. Stallman <rms@gnu.org>
parents:
866
diff
changeset
|
405 ;;; (beginning-of-line) |
c49077849583
(occur): Always search entire buffer.
Richard M. Stallman <rms@gnu.org>
parents:
866
diff
changeset
|
406 ;;; (setq linenum (1+ (count-lines (point-min) (point)))) |
c49077849583
(occur): Always search entire buffer.
Richard M. Stallman <rms@gnu.org>
parents:
866
diff
changeset
|
407 ;;; (setq prevpos (point))) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
408 (save-excursion |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
409 (goto-char (point-min)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
410 ;; Check first whether there are any matches at all. |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
411 (if (not (re-search-forward regexp nil t)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
412 (message "No matches for `%s'" regexp) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
413 ;; Back up, so the search loop below will find the first match. |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
414 (goto-char (match-beginning 0)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
415 (with-output-to-temp-buffer "*Occur*" |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
416 (save-excursion |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
417 (set-buffer standard-output) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
418 (setq default-directory dir) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
419 ;; We will insert the number of lines, and "lines", later. |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
420 (insert " matching ") |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
421 (let ((print-escape-newlines t)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
422 (prin1 regexp)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
423 (insert " in buffer " (buffer-name buffer) ?. ?\n) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
424 (occur-mode) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
425 (setq occur-buffer buffer) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
426 (setq occur-nlines nlines) |
16864
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
427 (setq occur-command-arguments |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
428 (list regexp nlines))) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
429 (if (eq buffer standard-output) |
13069
8197923b82ae
(occur): Indent better for matches that contain newlines.
Richard M. Stallman <rms@gnu.org>
parents:
12109
diff
changeset
|
430 (goto-char (point-max))) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
431 (save-excursion |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
432 ;; Find next match, but give up if prev match was at end of buffer. |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
433 (while (and (not (= prevpos (point-max))) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
434 (re-search-forward regexp nil t)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
435 (goto-char (match-beginning 0)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
436 (beginning-of-line) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
437 (save-match-data |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
438 (setq linenum (+ linenum (count-lines prevpos (point))))) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
439 (setq prevpos (point)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
440 (goto-char (match-end 0)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
441 (let* ((start (save-excursion |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
442 (goto-char (match-beginning 0)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
443 (forward-line (if (< nlines 0) nlines (- nlines))) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
444 (point))) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
445 (end (save-excursion |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
446 (goto-char (match-end 0)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
447 (if (> nlines 0) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
448 (forward-line (1+ nlines)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
449 (forward-line 1)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
450 (point))) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
451 (match-beg (- (match-beginning 0) start)) |
16818
6de559d0b20f
(list-matching-lines-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
16758
diff
changeset
|
452 (match-len (- (match-end 0) (match-beginning 0))) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
453 (tag (format "%5d" linenum)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
454 (empty (make-string (length tag) ?\ )) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
455 tem |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
456 occur-marker |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
457 (text-beg (make-marker)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
458 (text-end (make-marker)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
459 ) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
460 (save-excursion |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
461 (setq occur-marker (make-marker)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
462 (set-marker occur-marker (point)) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
463 (set-buffer standard-output) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
464 (setq occur-num-matches (1+ occur-num-matches)) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
465 (or first (zerop nlines) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
466 (insert "--------\n")) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
467 (setq first nil) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
468 (set-marker text-beg (point)) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
469 (insert-buffer-substring buffer start end) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
470 (set-marker text-end (point)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
471 (if list-matching-lines-face |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
472 (put-text-property |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
473 (+ (marker-position text-beg) match-beg) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
474 (+ (marker-position text-beg) match-beg match-len) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
475 'face list-matching-lines-face)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
476 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
477 ;; Identify a place for occur-next and occur-prev |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
478 ;; to move to. |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
479 (put-text-property |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
480 (+ (marker-position text-beg) match-beg match-len) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
481 (+ (marker-position text-beg) match-beg match-len 1) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
482 'occur-point t) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
483 (set-marker final-context-start |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
484 (- (point) (- end (match-end 0)))) |
17010
b0a097ba0ec5
(occur): Pay attention to multibyte characters.
Karl Heuer <kwzh@gnu.org>
parents:
16864
diff
changeset
|
485 (goto-char (- (point) (- end start))) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
486 ;;(setq tem nlines) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
487 (setq tem (if (< linenum nlines) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
488 (- nlines linenum) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
489 nlines)) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
490 (while (> tem 0) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
491 (insert empty ?:) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
492 (forward-line 1) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
493 (setq tem (1- tem))) |
16819 | 494 (let ((this-linenum linenum) |
495 line-start) | |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
496 (while (< (point) final-context-start) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
497 (if (null tag) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
498 (setq tag (format "%5d" this-linenum))) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
499 (insert tag ?:) |
16818
6de559d0b20f
(list-matching-lines-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
16758
diff
changeset
|
500 (setq line-start |
6de559d0b20f
(list-matching-lines-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
16758
diff
changeset
|
501 (save-excursion |
6de559d0b20f
(list-matching-lines-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
16758
diff
changeset
|
502 (beginning-of-line) |
6de559d0b20f
(list-matching-lines-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
16758
diff
changeset
|
503 (point))) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
504 (forward-line 1) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
505 (setq tag nil) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
506 (setq this-linenum (1+ this-linenum))) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
507 (while (<= (point) final-context-start) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
508 (insert empty ?:) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
509 (forward-line 1) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
510 (setq this-linenum (1+ this-linenum)))) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
511 (while (and (< (point) (point-max)) (< tem nlines)) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
512 (insert empty ?:) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
513 (forward-line 1) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
514 (setq tem (1+ tem))) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
515 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
516 ;; Add text properties. The `occur' prop is used to |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
517 ;; store the marker of the matching text in the |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
518 ;; source buffer. |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
519 (put-text-property (marker-position text-beg) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
520 (- (marker-position text-end) 1) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
521 'mouse-face 'highlight) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
522 (put-text-property (marker-position text-beg) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
523 (- (marker-position text-end) 1) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
524 'occur occur-marker) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
525 (goto-char (point-max))) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
526 (forward-line 1))) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
527 (set-buffer standard-output) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
528 (goto-char (point-min)) |
15328
90dc960355d9
(occur): Avoid "1 lines" in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
15040
diff
changeset
|
529 (let ((message-string |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
530 (if (= occur-num-matches 1) |
15328
90dc960355d9
(occur): Avoid "1 lines" in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
15040
diff
changeset
|
531 "1 line" |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
532 (format "%d lines" occur-num-matches)))) |
15328
90dc960355d9
(occur): Avoid "1 lines" in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
15040
diff
changeset
|
533 (insert message-string) |
90dc960355d9
(occur): Avoid "1 lines" in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
15040
diff
changeset
|
534 (if (interactive-p) |
90dc960355d9
(occur): Avoid "1 lines" in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
15040
diff
changeset
|
535 (message "%s matched" message-string))))))))) |
61 | 536 |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
537 ;; It would be nice to use \\[...], but there is no reasonable way |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
538 ;; to make that display both SPC and Y. |
61 | 539 (defconst query-replace-help |
540 "Type Space or `y' to replace one match, Delete or `n' to skip to next, | |
5337
0740b2a454d9
(query-replace-map): Don't bind ESC.
Richard M. Stallman <rms@gnu.org>
parents:
5298
diff
changeset
|
541 RET or `q' to exit, Period to replace one match and exit, |
61 | 542 Comma to replace but not move point immediately, |
543 C-r to enter recursive edit (\\[exit-recursive-edit] to get out again), | |
544 C-w to delete match and recursive edit, | |
545 C-l to clear the screen, redisplay, and offer same replacement again, | |
546 ! to replace all remaining matches with no more questions, | |
547 ^ to move point back to previous match." | |
548 "Help message while in query-replace") | |
549 | |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
550 (defvar query-replace-map (make-sparse-keymap) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
551 "Keymap that defines the responses to questions in `query-replace'. |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
552 The \"bindings\" in this map are not commands; they are answers. |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
553 The valid answers include `act', `skip', `act-and-show', |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
554 `exit', `act-and-exit', `edit', `delete-and-edit', `recenter', |
10057
460fecc93446
(query-replace-map): Define \e and escape as exit-prefix.
Richard M. Stallman <rms@gnu.org>
parents:
9908
diff
changeset
|
555 `automatic', `backup', `exit-prefix', and `help'.") |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
556 |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
557 (define-key query-replace-map " " 'act) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
558 (define-key query-replace-map "\d" 'skip) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
559 (define-key query-replace-map [delete] 'skip) |
2327
61b35714d880
(query-replace-map): Define backspace like delete.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
560 (define-key query-replace-map [backspace] 'skip) |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
561 (define-key query-replace-map "y" 'act) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
562 (define-key query-replace-map "n" 'skip) |
9908
32d20ec5ed51
(query-replace-map): Bind Y and N like y and n.
Richard M. Stallman <rms@gnu.org>
parents:
9847
diff
changeset
|
563 (define-key query-replace-map "Y" 'act) |
32d20ec5ed51
(query-replace-map): Bind Y and N like y and n.
Richard M. Stallman <rms@gnu.org>
parents:
9847
diff
changeset
|
564 (define-key query-replace-map "N" 'skip) |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
565 (define-key query-replace-map "," 'act-and-show) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
566 (define-key query-replace-map "q" 'exit) |
3852
e365900ca7e7
* replace.el (query-replace-map): Make return exit query-replace,
Jim Blandy <jimb@redhat.com>
parents:
2709
diff
changeset
|
567 (define-key query-replace-map "\r" 'exit) |
3885
d89645572b0f
* replace.el (query-replace-map): Fix typo in binding for [return].
Jim Blandy <jimb@redhat.com>
parents:
3852
diff
changeset
|
568 (define-key query-replace-map [return] 'exit) |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
569 (define-key query-replace-map "." 'act-and-exit) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
570 (define-key query-replace-map "\C-r" 'edit) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
571 (define-key query-replace-map "\C-w" 'delete-and-edit) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
572 (define-key query-replace-map "\C-l" 'recenter) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
573 (define-key query-replace-map "!" 'automatic) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
574 (define-key query-replace-map "^" 'backup) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
575 (define-key query-replace-map "\C-h" 'help) |
12109
6be53feb3323
(query-replace-map): Bind f1 and help.
Karl Heuer <kwzh@gnu.org>
parents:
11314
diff
changeset
|
576 (define-key query-replace-map [f1] 'help) |
6be53feb3323
(query-replace-map): Bind f1 and help.
Karl Heuer <kwzh@gnu.org>
parents:
11314
diff
changeset
|
577 (define-key query-replace-map [help] 'help) |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
578 (define-key query-replace-map "?" 'help) |
2083
ff782069e797
(query-replace-map): Add `quit' bindings. Delete default binding.
Richard M. Stallman <rms@gnu.org>
parents:
2080
diff
changeset
|
579 (define-key query-replace-map "\C-g" 'quit) |
ff782069e797
(query-replace-map): Add `quit' bindings. Delete default binding.
Richard M. Stallman <rms@gnu.org>
parents:
2080
diff
changeset
|
580 (define-key query-replace-map "\C-]" 'quit) |
10057
460fecc93446
(query-replace-map): Define \e and escape as exit-prefix.
Richard M. Stallman <rms@gnu.org>
parents:
9908
diff
changeset
|
581 (define-key query-replace-map "\e" 'exit-prefix) |
460fecc93446
(query-replace-map): Define \e and escape as exit-prefix.
Richard M. Stallman <rms@gnu.org>
parents:
9908
diff
changeset
|
582 (define-key query-replace-map [escape] 'exit-prefix) |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
583 |
61 | 584 (defun perform-replace (from-string replacements |
585 query-flag regexp-flag delimited-flag | |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
586 &optional repeat-count map) |
61 | 587 "Subroutine of `query-replace'. Its complexity handles interactive queries. |
588 Don't use this in your own program unless you want to query and set the mark | |
589 just as `query-replace' does. Instead, write a simple loop like this: | |
590 (while (re-search-forward \"foo[ \t]+bar\" nil t) | |
591 (replace-match \"foobar\" nil nil)) | |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
592 which will run faster and probably do exactly what you want." |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
593 (or map (setq map query-replace-map)) |
16631
024d3847af99
(perform-replace): Obey minibuffer-auto-raise.
Richard M. Stallman <rms@gnu.org>
parents:
16129
diff
changeset
|
594 (and query-flag minibuffer-auto-raise |
024d3847af99
(perform-replace): Obey minibuffer-auto-raise.
Richard M. Stallman <rms@gnu.org>
parents:
16129
diff
changeset
|
595 (raise-frame (window-frame (minibuffer-window)))) |
61 | 596 (let ((nocasify (not (and case-fold-search case-replace |
597 (string-equal from-string | |
598 (downcase from-string))))) | |
599 (literal (not regexp-flag)) | |
600 (search-function (if regexp-flag 're-search-forward 'search-forward)) | |
601 (search-string from-string) | |
732 | 602 (real-match-data nil) ; the match data for the current match |
61 | 603 (next-replacement nil) |
604 (replacement-index 0) | |
605 (keep-going t) | |
606 (stack nil) | |
607 (next-rotate-count 0) | |
608 (replace-count 0) | |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
609 (nonempty-match nil) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
610 |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
611 ;; Data for the next match. If a cons, it has the same format as |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
612 ;; (match-data); otherwise it is t if a match is possible at point. |
16725
cdc897a9054f
(perform-replace): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
16713
diff
changeset
|
613 (match-again t) |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
614 |
7258
68c7b93914fe
(perform-replace): Call substitute-command-keys just once
Richard M. Stallman <rms@gnu.org>
parents:
6722
diff
changeset
|
615 (message |
68c7b93914fe
(perform-replace): Call substitute-command-keys just once
Richard M. Stallman <rms@gnu.org>
parents:
6722
diff
changeset
|
616 (if query-flag |
68c7b93914fe
(perform-replace): Call substitute-command-keys just once
Richard M. Stallman <rms@gnu.org>
parents:
6722
diff
changeset
|
617 (substitute-command-keys |
68c7b93914fe
(perform-replace): Call substitute-command-keys just once
Richard M. Stallman <rms@gnu.org>
parents:
6722
diff
changeset
|
618 "Query replacing %s with %s: (\\<query-replace-map>\\[help] for help) ")))) |
61 | 619 (if (stringp replacements) |
620 (setq next-replacement replacements) | |
621 (or repeat-count (setq repeat-count 1))) | |
622 (if delimited-flag | |
623 (setq search-function 're-search-forward | |
624 search-string (concat "\\b" | |
625 (if regexp-flag from-string | |
626 (regexp-quote from-string)) | |
627 "\\b"))) | |
628 (push-mark) | |
629 (undo-boundary) | |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
630 (unwind-protect |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
631 ;; Loop finding occurrences that perhaps should be replaced. |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
632 (while (and keep-going |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
633 (not (eobp)) |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
634 ;; Use the next match if it is already known; |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
635 ;; otherwise, search for a match after moving forward |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
636 ;; one char if progress is required. |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
637 (setq real-match-data |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
638 (if (consp match-again) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
639 (progn (goto-char (nth 1 match-again)) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
640 match-again) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
641 (and (or match-again |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
642 (progn |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
643 (forward-char 1) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
644 (not (eobp)))) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
645 (funcall search-function search-string nil t) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
646 ;; For speed, use only integers and |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
647 ;; reuse the list used last time. |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
648 (match-data t real-match-data))))) |
732 | 649 |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
650 ;; Record whether the match is nonempty, to avoid an infinite loop |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
651 ;; repeatedly matching the same empty string. |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
652 (setq nonempty-match |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
653 (/= (nth 0 real-match-data) (nth 1 real-match-data))) |
16725
cdc897a9054f
(perform-replace): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
16713
diff
changeset
|
654 |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
655 ;; If the match is empty, record that the next one can't be adjacent. |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
656 ;; Otherwise, if matching a regular expression, do the next |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
657 ;; match now, since the replacement for this match may |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
658 ;; affect whether the next match is adjacent to this one. |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
659 (setq match-again |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
660 (and nonempty-match |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
661 (or (not regexp-flag) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
662 (and (looking-at search-string) |
18443
393843d18bec
(perform-replace): When matching lookahead, use markers rather than
Paul Eggert <eggert@twinsun.com>
parents:
18433
diff
changeset
|
663 (match-data))))) |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
664 |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
665 ;; If time for a change, advance to next replacement string. |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
666 (if (and (listp replacements) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
667 (= next-rotate-count replace-count)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
668 (progn |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
669 (setq next-rotate-count |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
670 (+ next-rotate-count repeat-count)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
671 (setq next-replacement (nth replacement-index replacements)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
672 (setq replacement-index (% (1+ replacement-index) (length replacements))))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
673 (if (not query-flag) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
674 (progn |
16725
cdc897a9054f
(perform-replace): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
16713
diff
changeset
|
675 (store-match-data real-match-data) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
676 (replace-match next-replacement nocasify literal) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
677 (setq replace-count (1+ replace-count))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
678 (undo-boundary) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
679 (let (done replaced key def) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
680 ;; Loop reading commands until one of them sets done, |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
681 ;; which means it has finished handling this occurrence. |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
682 (while (not done) |
8664
341906b946dd
(perform-replace): Restore match data before highlighting.
Richard M. Stallman <rms@gnu.org>
parents:
7258
diff
changeset
|
683 (store-match-data real-match-data) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
684 (replace-highlight (match-beginning 0) (match-end 0)) |
10566
9f018a8f2f67
(perform-replace): Don't log the repetitive prompts.
Karl Heuer <kwzh@gnu.org>
parents:
10267
diff
changeset
|
685 ;; Bind message-log-max so we don't fill up the message log |
9f018a8f2f67
(perform-replace): Don't log the repetitive prompts.
Karl Heuer <kwzh@gnu.org>
parents:
10267
diff
changeset
|
686 ;; with a bunch of identical messages. |
9f018a8f2f67
(perform-replace): Don't log the repetitive prompts.
Karl Heuer <kwzh@gnu.org>
parents:
10267
diff
changeset
|
687 (let ((message-log-max nil)) |
9f018a8f2f67
(perform-replace): Don't log the repetitive prompts.
Karl Heuer <kwzh@gnu.org>
parents:
10267
diff
changeset
|
688 (message message from-string next-replacement)) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
689 (setq key (read-event)) |
17933
a7579056d62e
(perform-replace): Restore match data after read-event.
Richard M. Stallman <rms@gnu.org>
parents:
17664
diff
changeset
|
690 ;; Necessary in case something happens during read-event |
a7579056d62e
(perform-replace): Restore match data after read-event.
Richard M. Stallman <rms@gnu.org>
parents:
17664
diff
changeset
|
691 ;; that clobbers the match data. |
a7579056d62e
(perform-replace): Restore match data after read-event.
Richard M. Stallman <rms@gnu.org>
parents:
17664
diff
changeset
|
692 (store-match-data real-match-data) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
693 (setq key (vector key)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
694 (setq def (lookup-key map key)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
695 ;; Restore the match data while we process the command. |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
696 (cond ((eq def 'help) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
697 (with-output-to-temp-buffer "*Help*" |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
698 (princ |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
699 (concat "Query replacing " |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
700 (if regexp-flag "regexp " "") |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
701 from-string " with " |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
702 next-replacement ".\n\n" |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
703 (substitute-command-keys |
9847
dc6c0b5fa4f0
(perform-replace): Set help-mode in *Help* buffer.
Karl Heuer <kwzh@gnu.org>
parents:
8935
diff
changeset
|
704 query-replace-help))) |
dc6c0b5fa4f0
(perform-replace): Set help-mode in *Help* buffer.
Karl Heuer <kwzh@gnu.org>
parents:
8935
diff
changeset
|
705 (save-excursion |
dc6c0b5fa4f0
(perform-replace): Set help-mode in *Help* buffer.
Karl Heuer <kwzh@gnu.org>
parents:
8935
diff
changeset
|
706 (set-buffer standard-output) |
dc6c0b5fa4f0
(perform-replace): Set help-mode in *Help* buffer.
Karl Heuer <kwzh@gnu.org>
parents:
8935
diff
changeset
|
707 (help-mode)))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
708 ((eq def 'exit) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
709 (setq keep-going nil) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
710 (setq done t)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
711 ((eq def 'backup) |
5905
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
712 (if stack |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
713 (let ((elt (car stack))) |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
714 (goto-char (car elt)) |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
715 (setq replaced (eq t (cdr elt))) |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
716 (or replaced |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
717 (store-match-data (cdr elt))) |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
718 (setq stack (cdr stack))) |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
719 (message "No previous match") |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
720 (ding 'no-terminate) |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
721 (sit-for 1))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
722 ((eq def 'act) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
723 (or replaced |
16129
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
724 (progn |
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
725 (replace-match next-replacement nocasify literal) |
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
726 (setq replace-count (1+ replace-count)))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
727 (setq done t replaced t)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
728 ((eq def 'act-and-exit) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
729 (or replaced |
16129
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
730 (progn |
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
731 (replace-match next-replacement nocasify literal) |
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
732 (setq replace-count (1+ replace-count)))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
733 (setq keep-going nil) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
734 (setq done t replaced t)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
735 ((eq def 'act-and-show) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
736 (if (not replaced) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
737 (progn |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
738 (replace-match next-replacement nocasify literal) |
16129
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
739 (setq replace-count (1+ replace-count)) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
740 (setq replaced t)))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
741 ((eq def 'automatic) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
742 (or replaced |
16129
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
743 (progn |
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
744 (replace-match next-replacement nocasify literal) |
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
745 (setq replace-count (1+ replace-count)))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
746 (setq done t query-flag nil replaced t)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
747 ((eq def 'skip) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
748 (setq done t)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
749 ((eq def 'recenter) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
750 (recenter nil)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
751 ((eq def 'edit) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
752 (store-match-data |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
753 (prog1 (match-data) |
16725
cdc897a9054f
(perform-replace): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
16713
diff
changeset
|
754 (save-excursion (recursive-edit)))) |
cdc897a9054f
(perform-replace): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
16713
diff
changeset
|
755 ;; Before we make the replacement, |
cdc897a9054f
(perform-replace): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
16713
diff
changeset
|
756 ;; decide whether the search string |
cdc897a9054f
(perform-replace): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
16713
diff
changeset
|
757 ;; can match again just after this match. |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
758 (if (and regexp-flag nonempty-match) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
759 (setq match-again (and (looking-at search-string) |
18443
393843d18bec
(perform-replace): When matching lookahead, use markers rather than
Paul Eggert <eggert@twinsun.com>
parents:
18433
diff
changeset
|
760 (match-data))))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
761 ((eq def 'delete-and-edit) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
762 (delete-region (match-beginning 0) (match-end 0)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
763 (store-match-data |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
764 (prog1 (match-data) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
765 (save-excursion (recursive-edit)))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
766 (setq replaced t)) |
10057
460fecc93446
(query-replace-map): Define \e and escape as exit-prefix.
Richard M. Stallman <rms@gnu.org>
parents:
9908
diff
changeset
|
767 ;; Note: we do not need to treat `exit-prefix' |
460fecc93446
(query-replace-map): Define \e and escape as exit-prefix.
Richard M. Stallman <rms@gnu.org>
parents:
9908
diff
changeset
|
768 ;; specially here, since we reread |
460fecc93446
(query-replace-map): Define \e and escape as exit-prefix.
Richard M. Stallman <rms@gnu.org>
parents:
9908
diff
changeset
|
769 ;; any unrecognized character. |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
770 (t |
10057
460fecc93446
(query-replace-map): Define \e and escape as exit-prefix.
Richard M. Stallman <rms@gnu.org>
parents:
9908
diff
changeset
|
771 (setq this-command 'mode-exited) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
772 (setq keep-going nil) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
773 (setq unread-command-events |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
774 (append (listify-key-sequence key) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
775 unread-command-events)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
776 (setq done t)))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
777 ;; Record previous position for ^ when we move on. |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
778 ;; Change markers to numbers in the match data |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
779 ;; since lots of markers slow down editing. |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
780 (setq stack |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
781 (cons (cons (point) |
16758
bbe21b1c17a7
(perform-replace): Request integers from match-data,
Richard M. Stallman <rms@gnu.org>
parents:
16725
diff
changeset
|
782 (or replaced (match-data t))) |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
783 stack))))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
784 (replace-dehighlight)) |
10157
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
785 (or unread-command-events |
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
786 (message "Replaced %d occurrence%s" |
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
787 replace-count |
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
788 (if (= replace-count 1) "" "s"))) |
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
789 (and keep-going stack))) |
61 | 790 |
17664
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
791 (defcustom query-replace-highlight nil |
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
792 "*Non-nil means to highlight words during query replacement." |
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
793 :type 'boolean |
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
794 :group 'matching) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
795 |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
796 (defvar replace-overlay nil) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
797 |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
798 (defun replace-dehighlight () |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
799 (and replace-overlay |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
800 (progn |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
801 (delete-overlay replace-overlay) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
802 (setq replace-overlay nil)))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
803 |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
804 (defun replace-highlight (start end) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
805 (and query-replace-highlight |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
806 (progn |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
807 (or replace-overlay |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
808 (progn |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
809 (setq replace-overlay (make-overlay start end)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
810 (overlay-put replace-overlay 'face |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
811 (if (internal-find-face 'query-replace) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
812 'query-replace 'region)))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
813 (move-overlay replace-overlay start end (current-buffer))))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
814 |
658
7cbd4fcd8b0f
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
324
diff
changeset
|
815 ;;; replace.el ends here |