Mercurial > emacs
annotate lisp/replace.el @ 23865:e5da22ef0b94
(compilation-error-regexp-alist): Fix regexp to match
"ChangeLog:1:1998-12-09 ..."
author | Karl Heuer <kwzh@gnu.org> |
---|---|
date | Mon, 14 Dec 1998 03:06:46 +0000 |
parents | 3ca22a873859 |
children | 7a53fe8294bf |
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 |
20579
a30c6f1b3335
(occur): Pass default to read-from-minibuffer so that
Richard M. Stallman <rms@gnu.org>
parents:
20248
diff
changeset
|
3 ;; Copyright (C) 1985, 86, 87, 92, 94, 96, 1997 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 |
20806
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
40 (defcustom query-replace-from-history-variable 'query-replace-history |
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
41 "History list to use for the FROM argument of query-replace commands. |
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
42 The value of this variable should be a symbol; that symbol |
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
43 is used as a variable to hold a history list for the strings |
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
44 or patterns to be replaced." |
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
45 :group 'matching |
21669
9861518505cb
*** empty log message ***
Dan Nicolaescu <done@ece.arizona.edu>
parents:
21294
diff
changeset
|
46 :type 'symbol |
9861518505cb
*** empty log message ***
Dan Nicolaescu <done@ece.arizona.edu>
parents:
21294
diff
changeset
|
47 :version "20.3") |
20806
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
48 |
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
49 (defcustom query-replace-to-history-variable 'query-replace-history |
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
50 "History list to use for the TO argument of query-replace commands. |
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
51 The value of this variable should be a symbol; that symbol |
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
52 is used as a variable to hold a history list for replacement |
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
53 strings or patterns." |
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
54 :group 'matching |
21669
9861518505cb
*** empty log message ***
Dan Nicolaescu <done@ece.arizona.edu>
parents:
21294
diff
changeset
|
55 :type 'symbol |
9861518505cb
*** empty log message ***
Dan Nicolaescu <done@ece.arizona.edu>
parents:
21294
diff
changeset
|
56 :version "20.3") |
20806
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
57 |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
58 (defun query-replace-read-args (string regexp-flag) |
864
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
59 (let (from to) |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
60 (if query-replace-interactive |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
61 (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
|
62 (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
|
63 nil nil nil |
20806
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
64 query-replace-from-history-variable |
24a1fcdc31d7
(query-replace-from-history-variable): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
20658
diff
changeset
|
65 nil t))) |
864
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
66 (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
|
67 nil nil nil |
20860
1432a2b3c44e
(occur): Apply default by hand after read-from-minibuffer.
Richard M. Stallman <rms@gnu.org>
parents:
20806
diff
changeset
|
68 query-replace-to-history-variable from t)) |
864
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
69 (list from to current-prefix-arg))) |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
70 |
260 | 71 (defun query-replace (from-string to-string &optional arg) |
72 "Replace some occurrences of FROM-STRING with TO-STRING. | |
73 As each match is found, the user must type a character saying | |
74 what to do with it. For directions, type \\[help-command] at that time. | |
75 | |
20248
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
76 In Transient Mark mode, if the mark is active, operate on the contents |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
77 of the region. Otherwise, operate from point to the end of the buffer. |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
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 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
|
81 minibuffer. |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
82 |
23457
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
83 Replacement transfers the case of the old text to the new text, |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
84 if `case-replace' and `case-fold-search' |
260 | 85 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
|
86 \(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
|
87 then its replacement is upcased or capitalized.) |
8a04af3511c1
(replace-string, query-replace): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
10069
diff
changeset
|
88 |
6707 | 89 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
|
90 only matches surrounded by word boundaries. |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
91 |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
92 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
|
93 (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
|
94 (perform-replace from-string to-string t nil arg)) |
20248
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
95 |
268 | 96 (define-key esc-map "%" 'query-replace) |
260 | 97 |
98 (defun query-replace-regexp (regexp to-string &optional arg) | |
99 "Replace some things after point matching REGEXP with TO-STRING. | |
100 As each match is found, the user must type a character saying | |
101 what to do with it. For directions, type \\[help-command] at that time. | |
102 | |
20248
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
103 In Transient Mark mode, if the mark is active, operate on the contents |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
104 of the region. Otherwise, operate from point to the end of the buffer. |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
105 |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
106 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
|
107 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
|
108 minibuffer. |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
109 |
6707 | 110 Preserves case in each replacement if `case-replace' and `case-fold-search' |
260 | 111 are non-nil and REGEXP has no uppercase letters. |
6707 | 112 Third arg DELIMITED (prefix arg if interactive), if non-nil, means replace |
260 | 113 only matches surrounded by word boundaries. |
6707 | 114 In TO-STRING, `\\&' stands for whatever matched the whole of REGEXP, |
115 and `\\=\\N' (where N is a digit) stands for | |
116 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
|
117 (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
|
118 (perform-replace regexp to-string t t arg)) |
22353
402ebb81ae84
(esc-map): Bind C-M-% to query-replace-regexp.
Karl Heuer <kwzh@gnu.org>
parents:
21669
diff
changeset
|
119 (define-key esc-map [?\C-%] 'query-replace-regexp) |
260 | 120 |
121 (defun map-query-replace-regexp (regexp to-strings &optional arg) | |
122 "Replace some matches for REGEXP with various strings, in rotation. | |
123 The second argument TO-STRINGS contains the replacement strings, separated | |
124 by spaces. This command works like `query-replace-regexp' except | |
125 that each successive replacement uses the next successive replacement string, | |
126 wrapping around from the last such string to the first. | |
127 | |
20248
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
128 In Transient Mark mode, if the mark is active, operate on the contents |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
129 of the region. Otherwise, operate from point to the end of the buffer. |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
130 |
260 | 131 Non-interactively, TO-STRINGS may be a list of replacement strings. |
132 | |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
133 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
|
134 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
|
135 |
260 | 136 A prefix argument N says to use each replacement string N times |
137 before rotating to the next." | |
864
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
138 (interactive |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
139 (let (from to) |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
140 (setq from (if query-replace-interactive |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
141 (car regexp-search-ring) |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
142 (read-from-minibuffer "Map query replace (regexp): " |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
143 nil nil nil |
19551
256843b0f804
(query-replace-read-args): Locally bind
Kenichi Handa <handa@m17n.org>
parents:
18991
diff
changeset
|
144 'query-replace-history nil t))) |
864
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
145 (setq to (read-from-minibuffer |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
146 (format "Query replace %s with (space-separated strings): " |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
147 from) |
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
148 nil nil nil |
20860
1432a2b3c44e
(occur): Apply default by hand after read-from-minibuffer.
Richard M. Stallman <rms@gnu.org>
parents:
20806
diff
changeset
|
149 'query-replace-history from t)) |
864
fe5f6b7c9727
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
862
diff
changeset
|
150 (list from to current-prefix-arg))) |
260 | 151 (let (replacements) |
152 (if (listp to-strings) | |
153 (setq replacements to-strings) | |
154 (while (/= (length to-strings) 0) | |
155 (if (string-match " " to-strings) | |
156 (setq replacements | |
157 (append replacements | |
158 (list (substring to-strings 0 | |
159 (string-match " " to-strings)))) | |
160 to-strings (substring to-strings | |
161 (1+ (string-match " " to-strings)))) | |
162 (setq replacements (append replacements (list to-strings)) | |
163 to-strings "")))) | |
10157
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
164 (perform-replace regexp replacements t t nil arg))) |
260 | 165 |
166 (defun replace-string (from-string to-string &optional delimited) | |
167 "Replace occurrences of FROM-STRING with TO-STRING. | |
168 Preserve case in each match if `case-replace' and `case-fold-search' | |
169 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
|
170 \(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
|
171 then its replacement is upcased or capitalized.) |
8a04af3511c1
(replace-string, query-replace): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
10069
diff
changeset
|
172 |
20248
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
173 In Transient Mark mode, if the mark is active, operate on the contents |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
174 of the region. Otherwise, operate from point to the end of the buffer. |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
175 |
6707 | 176 Third arg DELIMITED (prefix arg if interactive), if non-nil, means replace |
260 | 177 only matches surrounded by word boundaries. |
178 | |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
179 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
|
180 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
|
181 minibuffer. |
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
182 |
260 | 183 This function is usually the wrong thing to use in a Lisp program. |
184 What you probably want is a loop like this: | |
6707 | 185 (while (search-forward FROM-STRING nil t) |
186 (replace-match TO-STRING nil t)) | |
17211
ecf78b4eb138
(replace-string): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
17010
diff
changeset
|
187 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
|
188 \(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
|
189 and TO-STRING is also null.)" |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
190 (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
|
191 (perform-replace from-string to-string nil nil delimited)) |
260 | 192 |
193 (defun replace-regexp (regexp to-string &optional delimited) | |
194 "Replace things after point matching REGEXP with TO-STRING. | |
6707 | 195 Preserve case in each match if `case-replace' and `case-fold-search' |
260 | 196 are non-nil and REGEXP has no uppercase letters. |
6707 | 197 Third arg DELIMITED (prefix arg if interactive), if non-nil, means replace |
260 | 198 only matches surrounded by word boundaries. |
6707 | 199 In TO-STRING, `\\&' stands for whatever matched the whole of REGEXP, |
200 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
|
201 whatever what matched the Nth `\\(...\\)' in REGEXP. |
260 | 202 |
20248
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
203 In Transient Mark mode, if the mark is active, operate on the contents |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
204 of the region. Otherwise, operate from point to the end of the buffer. |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
205 |
8935
0e9e6ff083e8
(query-replace-interactive): New user option.
Richard M. Stallman <rms@gnu.org>
parents:
8664
diff
changeset
|
206 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
|
207 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
|
208 |
260 | 209 This function is usually the wrong thing to use in a Lisp program. |
210 What you probably want is a loop like this: | |
211 (while (re-search-forward REGEXP nil t) | |
6707 | 212 (replace-match TO-STRING nil nil)) |
260 | 213 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
|
214 (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
|
215 (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
|
216 |
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
217 (defvar regexp-history nil |
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
218 "History list for some commands that read regular expressions.") |
260 | 219 |
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2408
diff
changeset
|
220 (defalias 'delete-non-matching-lines 'keep-lines) |
61 | 221 (defun keep-lines (regexp) |
222 "Delete all lines except those containing matches for REGEXP. | |
223 A match split across lines preserves all the lines it lies in. | |
23457
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
224 Applies to all lines after point. |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
225 |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
226 If REGEXP contains upper case characters (excluding those preceded by `\\'), |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
227 the matching is case-sensitive." |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
228 (interactive (list (read-from-minibuffer |
2685
b8c5199f31af
(flush-lines, keep-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
2571
diff
changeset
|
229 "Keep lines (containing match for regexp): " |
19551
256843b0f804
(query-replace-read-args): Locally bind
Kenichi Handa <handa@m17n.org>
parents:
18991
diff
changeset
|
230 nil nil nil 'regexp-history nil t))) |
61 | 231 (save-excursion |
232 (or (bolp) (forward-line 1)) | |
23457
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
233 (let ((start (point)) |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
234 (case-fold-search (and case-fold-search |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
235 (isearch-no-upper-case-p regexp t)))) |
61 | 236 (while (not (eobp)) |
237 ;; Start is first char not preserved by previous match. | |
238 (if (not (re-search-forward regexp nil 'move)) | |
239 (delete-region start (point-max)) | |
240 (let ((end (save-excursion (goto-char (match-beginning 0)) | |
241 (beginning-of-line) | |
242 (point)))) | |
243 ;; Now end is first char preserved by the new match. | |
244 (if (< start end) | |
245 (delete-region start end)))) | |
246 (setq start (save-excursion (forward-line 1) | |
247 (point))) | |
248 ;; If the match was empty, avoid matching again at same place. | |
249 (and (not (eobp)) (= (match-beginning 0) (match-end 0)) | |
250 (forward-char 1)))))) | |
251 | |
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2408
diff
changeset
|
252 (defalias 'delete-matching-lines 'flush-lines) |
61 | 253 (defun flush-lines (regexp) |
254 "Delete lines containing matches for REGEXP. | |
255 If a match is split across lines, all the lines it lies in are deleted. | |
23457
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
256 Applies to lines after point. |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
257 |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
258 If REGEXP contains upper case characters (excluding those preceded by `\\'), |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
259 the matching is case-sensitive." |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
260 (interactive (list (read-from-minibuffer |
2685
b8c5199f31af
(flush-lines, keep-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
2571
diff
changeset
|
261 "Flush lines (containing match for regexp): " |
19551
256843b0f804
(query-replace-read-args): Locally bind
Kenichi Handa <handa@m17n.org>
parents:
18991
diff
changeset
|
262 nil nil nil 'regexp-history nil t))) |
23457
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
263 (let ((case-fold-search (and case-fold-search |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
264 (isearch-no-upper-case-p regexp t)))) |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
265 (save-excursion |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
266 (while (and (not (eobp)) |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
267 (re-search-forward regexp nil t)) |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
268 (delete-region (save-excursion (goto-char (match-beginning 0)) |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
269 (beginning-of-line) |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
270 (point)) |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
271 (progn (forward-line 1) (point))))))) |
61 | 272 |
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2408
diff
changeset
|
273 (defalias 'count-matches 'how-many) |
61 | 274 (defun how-many (regexp) |
23457
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
275 "Print number of matches for REGEXP following point. |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
276 |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
277 If REGEXP contains upper case characters (excluding those preceded by `\\'), |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
278 the matching is case-sensitive." |
22972 | 279 (interactive (list (read-from-minibuffer |
280 "How many matches for (regexp): " | |
281 nil nil nil 'regexp-history nil t))) | |
23457
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
282 (let ((count 0) opoint |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
283 (case-fold-search (and case-fold-search |
3ca22a873859
(keep-lines, flush-lines, how-many):
Richard M. Stallman <rms@gnu.org>
parents:
23384
diff
changeset
|
284 (isearch-no-upper-case-p regexp t)))) |
61 | 285 (save-excursion |
286 (while (and (not (eobp)) | |
287 (progn (setq opoint (point)) | |
288 (re-search-forward regexp nil t))) | |
289 (if (= opoint (point)) | |
290 (forward-char 1) | |
291 (setq count (1+ count)))) | |
292 (message "%d occurrences" count)))) | |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
293 |
61 | 294 (defvar occur-mode-map ()) |
295 (if occur-mode-map | |
296 () | |
297 (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
|
298 (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
|
299 (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
|
300 (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
|
301 (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
|
302 (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
|
303 (define-key occur-mode-map "g" 'revert-buffer)) |
61 | 304 |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
305 |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
306 (defvar occur-buffer nil |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
307 "Name of buffer for last occur.") |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
308 |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
309 |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
310 (defvar occur-nlines nil |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
311 "Number of lines of context to show around matching line.") |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
312 |
16864
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
313 (defvar occur-command-arguments nil |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
314 "Arguments that were given to `occur' when it made this buffer.") |
61 | 315 |
17655
8e35bb3ec2e2
(occur-mode): Add a mode-class property.
Richard M. Stallman <rms@gnu.org>
parents:
17638
diff
changeset
|
316 (put 'occur-mode 'mode-class 'special) |
8e35bb3ec2e2
(occur-mode): Add a mode-class property.
Richard M. Stallman <rms@gnu.org>
parents:
17638
diff
changeset
|
317 |
61 | 318 (defun occur-mode () |
319 "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
|
320 \\<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
|
321 \\[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
|
322 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
|
323 |
61 | 324 \\{occur-mode-map}" |
325 (kill-all-local-variables) | |
326 (use-local-map occur-mode-map) | |
327 (setq major-mode 'occur-mode) | |
328 (setq mode-name "Occur") | |
16864
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
329 (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
|
330 (setq revert-buffer-function 'occur-revert-function) |
61 | 331 (make-local-variable 'occur-buffer) |
332 (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
|
333 (make-local-variable 'occur-command-arguments) |
4975
db0c6ed6f145
(occur-mode): Run occur-mode-hook.
Richard M. Stallman <rms@gnu.org>
parents:
4429
diff
changeset
|
334 (run-hooks 'occur-mode-hook)) |
61 | 335 |
16864
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
336 ;; 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
|
337 (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
|
338 (let ((args occur-command-arguments )) |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
339 (save-excursion |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
340 (set-buffer occur-buffer) |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
341 (apply 'occur args)))) |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
342 |
6596
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
343 (defun occur-mode-mouse-goto (event) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
344 "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
|
345 (interactive "e") |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
346 (let (buffer pos) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
347 (save-excursion |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
348 (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
|
349 (save-excursion |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
350 (goto-char (posn-point (event-end event))) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
351 (setq pos (occur-mode-find-occurrence)) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
352 (setq buffer occur-buffer))) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
353 (pop-to-buffer buffer) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
354 (goto-char (marker-position pos)))) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
355 |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
356 (defun occur-mode-find-occurrence () |
61 | 357 (if (or (null occur-buffer) |
358 (null (buffer-name occur-buffer))) | |
359 (progn | |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
360 (setq occur-buffer nil) |
61 | 361 (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
|
362 (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
|
363 (if (null pos) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
364 (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
|
365 pos))) |
6596
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
366 |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
367 (defun occur-mode-goto-occurrence () |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
368 "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
|
369 (interactive) |
80df3b456672
(occur-mode-find-occurrence): New subroutine.
Richard M. Stallman <rms@gnu.org>
parents:
6410
diff
changeset
|
370 (let ((pos (occur-mode-find-occurrence))) |
61 | 371 (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
|
372 (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
|
373 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
374 (defun occur-next (&optional n) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
375 "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
|
376 (interactive "p") |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
377 (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
|
378 (let ((r)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
379 (while (> n 0) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
380 (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
|
381 (forward-char 1)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
382 (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
|
383 (if r |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
384 (goto-char r) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
385 (error "no more matches")) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
386 (setq n (1- n))))) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
387 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
388 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
389 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
390 (defun occur-prev (&optional n) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
391 "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
|
392 (interactive "p") |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
393 (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
|
394 (let ((r)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
395 (while (> n 0) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
396 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
397 (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
|
398 (if r (forward-char -1)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
399 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
400 (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
|
401 (if r |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
402 (goto-char (- r 1)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
403 (error "no earlier matches")) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
404 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
405 (setq n (1- n))))) |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
406 |
17664
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
407 (defcustom list-matching-lines-default-context-lines 0 |
260 | 408 "*Default number of context lines to include around a `list-matching-lines' |
61 | 409 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
|
410 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
|
411 :type 'integer |
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
412 :group 'matching) |
61 | 413 |
2571
b65cf676a09b
All fsets changed to defaliases.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2408
diff
changeset
|
414 (defalias 'list-matching-lines 'occur) |
61 | 415 |
16818
6de559d0b20f
(list-matching-lines-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
16758
diff
changeset
|
416 (defvar list-matching-lines-face 'bold |
6de559d0b20f
(list-matching-lines-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
16758
diff
changeset
|
417 "*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
|
418 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
|
419 |
61 | 420 (defun occur (regexp &optional nlines) |
1427
c49077849583
(occur): Always search entire buffer.
Richard M. Stallman <rms@gnu.org>
parents:
866
diff
changeset
|
421 "Show all lines in the current buffer containing a match for REGEXP. |
61 | 422 |
260 | 423 If a match spreads across multiple lines, all those lines are shown. |
424 | |
425 Each line is displayed with NLINES lines before and after, or -NLINES | |
426 before if NLINES is negative. | |
427 NLINES defaults to `list-matching-lines-default-context-lines'. | |
61 | 428 Interactively it is the prefix arg. |
429 | |
2408
a9c05a12b615
(regexp-history): New history list.
Richard M. Stallman <rms@gnu.org>
parents:
2327
diff
changeset
|
430 The lines are shown in a buffer named `*Occur*'. |
61 | 431 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
|
432 \\<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
|
433 |
17655
8e35bb3ec2e2
(occur-mode): Add a mode-class property.
Richard M. Stallman <rms@gnu.org>
parents:
17638
diff
changeset
|
434 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
|
435 the matching is case-sensitive." |
15040
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
436 (interactive |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
437 (list (let* ((default (car regexp-history)) |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
438 (input |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
439 (read-from-minibuffer |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
440 (if default |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
441 (format "List lines matching regexp (default `%s'): " |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
442 default) |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
443 "List lines matching regexp: ") |
20579
a30c6f1b3335
(occur): Pass default to read-from-minibuffer so that
Richard M. Stallman <rms@gnu.org>
parents:
20248
diff
changeset
|
444 nil nil nil 'regexp-history default t))) |
20860
1432a2b3c44e
(occur): Apply default by hand after read-from-minibuffer.
Richard M. Stallman <rms@gnu.org>
parents:
20806
diff
changeset
|
445 (and (equal input "") default |
1432a2b3c44e
(occur): Apply default by hand after read-from-minibuffer.
Richard M. Stallman <rms@gnu.org>
parents:
20806
diff
changeset
|
446 (setq input default)) |
20579
a30c6f1b3335
(occur): Pass default to read-from-minibuffer so that
Richard M. Stallman <rms@gnu.org>
parents:
20248
diff
changeset
|
447 input) |
15040
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
448 current-prefix-arg)) |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
449 (let ((nlines (if nlines |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
450 (prefix-numeric-value nlines) |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
451 list-matching-lines-default-context-lines)) |
04f81516b6e0
(occur): Fix up interactive code.
Richard M. Stallman <rms@gnu.org>
parents:
14819
diff
changeset
|
452 (first t) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
453 ;;flag to prevent printing separator for first match |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
454 (occur-num-matches 0) |
61 | 455 (buffer (current-buffer)) |
11075
e1b564b50569
(occur): Copy default-directory to *Occur* buffer.
Richard M. Stallman <rms@gnu.org>
parents:
10566
diff
changeset
|
456 (dir default-directory) |
61 | 457 (linenum 1) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
458 (prevpos |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
459 ;;position of most recent match |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
460 (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
|
461 (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
|
462 (isearch-no-upper-case-p regexp t))) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
463 (final-context-start |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
464 ;; Marker to the start of context immediately following |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
465 ;; the matched text in *Occur*. |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
466 (make-marker))) |
1427
c49077849583
(occur): Always search entire buffer.
Richard M. Stallman <rms@gnu.org>
parents:
866
diff
changeset
|
467 ;;; (save-excursion |
c49077849583
(occur): Always search entire buffer.
Richard M. Stallman <rms@gnu.org>
parents:
866
diff
changeset
|
468 ;;; (beginning-of-line) |
c49077849583
(occur): Always search entire buffer.
Richard M. Stallman <rms@gnu.org>
parents:
866
diff
changeset
|
469 ;;; (setq linenum (1+ (count-lines (point-min) (point)))) |
c49077849583
(occur): Always search entire buffer.
Richard M. Stallman <rms@gnu.org>
parents:
866
diff
changeset
|
470 ;;; (setq prevpos (point))) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
471 (save-excursion |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
472 (goto-char (point-min)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
473 ;; 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
|
474 (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
|
475 (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
|
476 ;; 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
|
477 (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
|
478 (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
|
479 (save-excursion |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
480 (set-buffer standard-output) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
481 (setq default-directory dir) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
482 ;; 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
|
483 (insert " matching ") |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
484 (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
|
485 (prin1 regexp)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
486 (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
|
487 (occur-mode) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
488 (setq occur-buffer buffer) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
489 (setq occur-nlines nlines) |
16864
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
490 (setq occur-command-arguments |
59ed508195a4
(occur-mode-map): Bind g to revert-buffer.
Richard M. Stallman <rms@gnu.org>
parents:
16819
diff
changeset
|
491 (list regexp nlines))) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
492 (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
|
493 (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
|
494 (save-excursion |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
495 ;; 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
|
496 (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
|
497 (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
|
498 (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
|
499 (beginning-of-line) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
500 (save-match-data |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
501 (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
|
502 (setq prevpos (point)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
503 (goto-char (match-end 0)) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
504 (let* ((start |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
505 ;;start point of text in source buffer to be put |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
506 ;;into *Occur* |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
507 (save-excursion |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
508 (goto-char (match-beginning 0)) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
509 (forward-line (if (< nlines 0) |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
510 nlines |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
511 (- nlines))) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
512 (point))) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
513 (end |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
514 ;; end point of text in source buffer to be put |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
515 ;; into *Occur* |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
516 (save-excursion |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
517 (goto-char (match-end 0)) |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
518 (if (> nlines 0) |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
519 (forward-line (1+ nlines)) |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
520 (forward-line 1)) |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
521 (point))) |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
522 (match-beg |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
523 ;; Amount of context before matching text |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
524 (- (match-beginning 0) start)) |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
525 (match-len |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
526 ;; Length of matching text |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
527 (- (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
|
528 (tag (format "%5d" linenum)) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
529 (empty (make-string (length tag) ?\ )) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
530 tem |
20658
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
531 insertion-start |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
532 ;; Number of lines of context to show for current match. |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
533 occur-marker |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
534 ;; Marker pointing to end of match in source buffer. |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
535 (text-beg |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
536 ;; Marker pointing to start of text for one |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
537 ;; match in *Occur*. |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
538 (make-marker)) |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
539 (text-end |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
540 ;; Marker pointing to end of text for one match |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
541 ;; in *Occur*. |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
542 (make-marker)) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
543 ) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
544 (save-excursion |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
545 (setq occur-marker (make-marker)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
546 (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
|
547 (set-buffer standard-output) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
548 (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
|
549 (or first (zerop nlines) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
550 (insert "--------\n")) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
551 (setq first nil) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
552 |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
553 ;; Insert matching text including context lines from |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
554 ;; source buffer into *Occur* |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
555 (set-marker text-beg (point)) |
20658
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
556 (setq insertion-start (point)) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
557 (insert-buffer-substring buffer start end) |
20658
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
558 (or (and (/= (+ start match-beg) end) |
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
559 (with-current-buffer buffer |
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
560 (eq (char-before end) ?\n))) |
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
561 (insert "\n")) |
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
562 (set-marker final-context-start |
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
563 (+ (- (point) (- end (match-end 0))) |
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
564 (if (save-excursion |
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
565 (set-buffer buffer) |
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
566 (save-excursion |
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
567 (goto-char (match-end 0)) |
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
568 (end-of-line) |
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
569 (bolp))) |
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
570 1 0))) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
571 (set-marker text-end (point)) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
572 |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
573 ;; Highlight text that was matched. |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
574 (if list-matching-lines-face |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
575 (put-text-property |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
576 (+ (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
|
577 (+ (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
|
578 'face list-matching-lines-face)) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
579 |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
580 ;; `occur-point' property is used by occur-next and |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
581 ;; occur-prev to move between matching lines. |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
582 (put-text-property |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
583 (+ (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
|
584 (+ (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
|
585 'occur-point t) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
586 |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
587 ;; Now go back to the start of the matching text |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
588 ;; adding the space and colon to the start of each line. |
20658
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
589 (goto-char insertion-start) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
590 ;; Insert space and colon for lines of context before match. |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
591 (setq tem (if (< linenum nlines) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
592 (- nlines linenum) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
593 nlines)) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
594 (while (> tem 0) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
595 (insert empty ?:) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
596 (forward-line 1) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
597 (setq tem (1- tem))) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
598 |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
599 ;; Insert line number and colon for the lines of |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
600 ;; matching text. |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
601 (let ((this-linenum linenum)) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
602 (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
|
603 (if (null tag) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
604 (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
|
605 (insert tag ?:) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
606 (forward-line 1) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
607 (setq tag nil) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
608 (setq this-linenum (1+ this-linenum))) |
20658
545fec062c8c
(occur): If the matching line has no final newline,
Karl Heuer <kwzh@gnu.org>
parents:
20579
diff
changeset
|
609 (while (and (not (eobp)) (<= (point) final-context-start)) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
610 (insert empty ?:) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
611 (forward-line 1) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
612 (setq this-linenum (1+ this-linenum)))) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
613 |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
614 ;; Insert space and colon for lines of context after match. |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
615 (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
|
616 (insert empty ?:) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
617 (forward-line 1) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
618 (setq tem (1+ tem))) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
619 |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
620 ;; 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
|
621 ;; 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
|
622 ;; source buffer. |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
623 (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
|
624 (- (marker-position text-end) 1) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
625 'mouse-face 'highlight) |
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
626 (put-text-property (marker-position text-beg) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
627 (marker-position text-end) |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
628 'occur occur-marker) |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
629 (goto-char (point-max))) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
630 (forward-line 1))) |
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
631 (set-buffer standard-output) |
18991
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
632 ;; Go back to top of *Occur* and finish off by printing the |
2cf48aa123b8
(occur): Local variable line-start redundant.
Richard M. Stallman <rms@gnu.org>
parents:
18918
diff
changeset
|
633 ;; number of matching lines. |
14819
ece1210e739f
(occur): If no matches, just display in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
634 (goto-char (point-min)) |
15328
90dc960355d9
(occur): Avoid "1 lines" in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
15040
diff
changeset
|
635 (let ((message-string |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
636 (if (= occur-num-matches 1) |
15328
90dc960355d9
(occur): Avoid "1 lines" in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
15040
diff
changeset
|
637 "1 line" |
18918
0e0935f23d39
(occur): Use text property `occur' to store the
Richard M. Stallman <rms@gnu.org>
parents:
18443
diff
changeset
|
638 (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
|
639 (insert message-string) |
90dc960355d9
(occur): Avoid "1 lines" in echo area.
Richard M. Stallman <rms@gnu.org>
parents:
15040
diff
changeset
|
640 (if (interactive-p) |
22531 | 641 (message "%s matched" message-string))) |
642 (setq buffer-read-only t))))))) | |
61 | 643 |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
644 ;; 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
|
645 ;; to make that display both SPC and Y. |
61 | 646 (defconst query-replace-help |
647 "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
|
648 RET or `q' to exit, Period to replace one match and exit, |
61 | 649 Comma to replace but not move point immediately, |
650 C-r to enter recursive edit (\\[exit-recursive-edit] to get out again), | |
651 C-w to delete match and recursive edit, | |
652 C-l to clear the screen, redisplay, and offer same replacement again, | |
653 ! to replace all remaining matches with no more questions, | |
654 ^ to move point back to previous match." | |
655 "Help message while in query-replace") | |
656 | |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
657 (defvar query-replace-map (make-sparse-keymap) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
658 "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
|
659 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
|
660 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
|
661 `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
|
662 `automatic', `backup', `exit-prefix', and `help'.") |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
663 |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
664 (define-key query-replace-map " " 'act) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
665 (define-key query-replace-map "\d" 'skip) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
666 (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
|
667 (define-key query-replace-map [backspace] 'skip) |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
668 (define-key query-replace-map "y" 'act) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
669 (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
|
670 (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
|
671 (define-key query-replace-map "N" 'skip) |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
672 (define-key query-replace-map "," 'act-and-show) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
673 (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
|
674 (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
|
675 (define-key query-replace-map [return] 'exit) |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
676 (define-key query-replace-map "." 'act-and-exit) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
677 (define-key query-replace-map "\C-r" 'edit) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
678 (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
|
679 (define-key query-replace-map "\C-l" 'recenter) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
680 (define-key query-replace-map "!" 'automatic) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
681 (define-key query-replace-map "^" 'backup) |
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
682 (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
|
683 (define-key query-replace-map [f1] 'help) |
6be53feb3323
(query-replace-map): Bind f1 and help.
Karl Heuer <kwzh@gnu.org>
parents:
11314
diff
changeset
|
684 (define-key query-replace-map [help] 'help) |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
685 (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
|
686 (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
|
687 (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
|
688 (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
|
689 (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
|
690 |
61 | 691 (defun perform-replace (from-string replacements |
692 query-flag regexp-flag delimited-flag | |
2080
6ee99287dbc6
(query-replace-map): New keymap.
Richard M. Stallman <rms@gnu.org>
parents:
1820
diff
changeset
|
693 &optional repeat-count map) |
61 | 694 "Subroutine of `query-replace'. Its complexity handles interactive queries. |
695 Don't use this in your own program unless you want to query and set the mark | |
696 just as `query-replace' does. Instead, write a simple loop like this: | |
697 (while (re-search-forward \"foo[ \t]+bar\" nil t) | |
698 (replace-match \"foobar\" nil nil)) | |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
699 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
|
700 (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
|
701 (and query-flag minibuffer-auto-raise |
024d3847af99
(perform-replace): Obey minibuffer-auto-raise.
Richard M. Stallman <rms@gnu.org>
parents:
16129
diff
changeset
|
702 (raise-frame (window-frame (minibuffer-window)))) |
61 | 703 (let ((nocasify (not (and case-fold-search case-replace |
704 (string-equal from-string | |
705 (downcase from-string))))) | |
706 (literal (not regexp-flag)) | |
707 (search-function (if regexp-flag 're-search-forward 'search-forward)) | |
708 (search-string from-string) | |
732 | 709 (real-match-data nil) ; the match data for the current match |
61 | 710 (next-replacement nil) |
711 (replacement-index 0) | |
712 (keep-going t) | |
713 (stack nil) | |
714 (next-rotate-count 0) | |
715 (replace-count 0) | |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
716 (nonempty-match nil) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
717 |
20248
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
718 ;; If non-nil, it is marker saying where in the buffer to stop. |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
719 (limit nil) |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
720 |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
721 ;; 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
|
722 ;; (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
|
723 (match-again t) |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
724 |
7258
68c7b93914fe
(perform-replace): Call substitute-command-keys just once
Richard M. Stallman <rms@gnu.org>
parents:
6722
diff
changeset
|
725 (message |
68c7b93914fe
(perform-replace): Call substitute-command-keys just once
Richard M. Stallman <rms@gnu.org>
parents:
6722
diff
changeset
|
726 (if query-flag |
68c7b93914fe
(perform-replace): Call substitute-command-keys just once
Richard M. Stallman <rms@gnu.org>
parents:
6722
diff
changeset
|
727 (substitute-command-keys |
68c7b93914fe
(perform-replace): Call substitute-command-keys just once
Richard M. Stallman <rms@gnu.org>
parents:
6722
diff
changeset
|
728 "Query replacing %s with %s: (\\<query-replace-map>\\[help] for help) ")))) |
20248
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
729 |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
730 ;; If region is active, in Transient Mark mode, operate on region. |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
731 (if (and transient-mark-mode mark-active) |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
732 (progn |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
733 (setq limit (copy-marker (region-end))) |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
734 (goto-char (region-beginning)) |
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
735 (deactivate-mark))) |
61 | 736 (if (stringp replacements) |
737 (setq next-replacement replacements) | |
738 (or repeat-count (setq repeat-count 1))) | |
739 (if delimited-flag | |
740 (setq search-function 're-search-forward | |
741 search-string (concat "\\b" | |
742 (if regexp-flag from-string | |
743 (regexp-quote from-string)) | |
744 "\\b"))) | |
745 (push-mark) | |
746 (undo-boundary) | |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
747 (unwind-protect |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
748 ;; Loop finding occurrences that perhaps should be replaced. |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
749 (while (and keep-going |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
750 (not (eobp)) |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
751 ;; 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
|
752 ;; 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
|
753 ;; 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
|
754 (setq real-match-data |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
755 (if (consp match-again) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
756 (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
|
757 match-again) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
758 (and (or match-again |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
759 (progn |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
760 (forward-char 1) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
761 (not (eobp)))) |
20248
b87f3ba0e1d7
(perform-replace): In Transient Mark mode, if
Karl Heuer <kwzh@gnu.org>
parents:
20244
diff
changeset
|
762 (funcall search-function search-string limit t) |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
763 ;; 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
|
764 ;; 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
|
765 (match-data t real-match-data))))) |
732 | 766 |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
767 ;; 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
|
768 ;; 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
|
769 (setq nonempty-match |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
770 (/= (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
|
771 |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
772 ;; 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
|
773 ;; 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
|
774 ;; 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
|
775 ;; 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
|
776 (setq match-again |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
777 (and nonempty-match |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
778 (or (not regexp-flag) |
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
779 (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
|
780 (match-data))))) |
18433
1de7cef26431
(perform-replace): When matching regexps, if the next match is
Paul Eggert <eggert@twinsun.com>
parents:
17933
diff
changeset
|
781 |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
782 ;; 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
|
783 (if (and (listp replacements) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
784 (= next-rotate-count replace-count)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
785 (progn |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
786 (setq next-rotate-count |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
787 (+ next-rotate-count repeat-count)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
788 (setq next-replacement (nth replacement-index replacements)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
789 (setq replacement-index (% (1+ replacement-index) (length replacements))))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
790 (if (not query-flag) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
791 (progn |
21157
59f75e1f5541
(perform-replace): store-match-data => set-match-data.
Richard M. Stallman <rms@gnu.org>
parents:
20860
diff
changeset
|
792 (set-match-data real-match-data) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
793 (replace-match next-replacement nocasify literal) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
794 (setq replace-count (1+ replace-count))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
795 (undo-boundary) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
796 (let (done replaced key def) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
797 ;; 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
|
798 ;; which means it has finished handling this occurrence. |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
799 (while (not done) |
21157
59f75e1f5541
(perform-replace): store-match-data => set-match-data.
Richard M. Stallman <rms@gnu.org>
parents:
20860
diff
changeset
|
800 (set-match-data real-match-data) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
801 (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
|
802 ;; 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
|
803 ;; with a bunch of identical messages. |
9f018a8f2f67
(perform-replace): Don't log the repetitive prompts.
Karl Heuer <kwzh@gnu.org>
parents:
10267
diff
changeset
|
804 (let ((message-log-max nil)) |
9f018a8f2f67
(perform-replace): Don't log the repetitive prompts.
Karl Heuer <kwzh@gnu.org>
parents:
10267
diff
changeset
|
805 (message message from-string next-replacement)) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
806 (setq key (read-event)) |
17933
a7579056d62e
(perform-replace): Restore match data after read-event.
Richard M. Stallman <rms@gnu.org>
parents:
17664
diff
changeset
|
807 ;; 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
|
808 ;; that clobbers the match data. |
21157
59f75e1f5541
(perform-replace): store-match-data => set-match-data.
Richard M. Stallman <rms@gnu.org>
parents:
20860
diff
changeset
|
809 (set-match-data real-match-data) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
810 (setq key (vector key)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
811 (setq def (lookup-key map key)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
812 ;; 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
|
813 (cond ((eq def 'help) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
814 (with-output-to-temp-buffer "*Help*" |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
815 (princ |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
816 (concat "Query replacing " |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
817 (if regexp-flag "regexp " "") |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
818 from-string " with " |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
819 next-replacement ".\n\n" |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
820 (substitute-command-keys |
9847
dc6c0b5fa4f0
(perform-replace): Set help-mode in *Help* buffer.
Karl Heuer <kwzh@gnu.org>
parents:
8935
diff
changeset
|
821 query-replace-help))) |
dc6c0b5fa4f0
(perform-replace): Set help-mode in *Help* buffer.
Karl Heuer <kwzh@gnu.org>
parents:
8935
diff
changeset
|
822 (save-excursion |
dc6c0b5fa4f0
(perform-replace): Set help-mode in *Help* buffer.
Karl Heuer <kwzh@gnu.org>
parents:
8935
diff
changeset
|
823 (set-buffer standard-output) |
dc6c0b5fa4f0
(perform-replace): Set help-mode in *Help* buffer.
Karl Heuer <kwzh@gnu.org>
parents:
8935
diff
changeset
|
824 (help-mode)))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
825 ((eq def 'exit) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
826 (setq keep-going nil) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
827 (setq done t)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
828 ((eq def 'backup) |
5905
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
829 (if stack |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
830 (let ((elt (car stack))) |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
831 (goto-char (car elt)) |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
832 (setq replaced (eq t (cdr elt))) |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
833 (or replaced |
21157
59f75e1f5541
(perform-replace): store-match-data => set-match-data.
Richard M. Stallman <rms@gnu.org>
parents:
20860
diff
changeset
|
834 (set-match-data (cdr elt))) |
5905
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
835 (setq stack (cdr stack))) |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
836 (message "No previous match") |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
837 (ding 'no-terminate) |
a068f8b61f2a
(perform-replace): Check for empty stack.
Karl Heuer <kwzh@gnu.org>
parents:
5393
diff
changeset
|
838 (sit-for 1))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
839 ((eq def 'act) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
840 (or replaced |
16129
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
841 (progn |
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
842 (replace-match next-replacement nocasify literal) |
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
843 (setq replace-count (1+ replace-count)))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
844 (setq done t replaced t)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
845 ((eq def 'act-and-exit) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
846 (or replaced |
16129
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
847 (progn |
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
848 (replace-match next-replacement nocasify literal) |
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
849 (setq replace-count (1+ replace-count)))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
850 (setq keep-going nil) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
851 (setq done t replaced t)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
852 ((eq def 'act-and-show) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
853 (if (not replaced) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
854 (progn |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
855 (replace-match next-replacement nocasify literal) |
16129
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
856 (setq replace-count (1+ replace-count)) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
857 (setq replaced t)))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
858 ((eq def 'automatic) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
859 (or replaced |
16129
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
860 (progn |
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
861 (replace-match next-replacement nocasify literal) |
f6c51da4c4e3
(perform-replace): Increment replace-count
Richard M. Stallman <rms@gnu.org>
parents:
15328
diff
changeset
|
862 (setq replace-count (1+ replace-count)))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
863 (setq done t query-flag nil replaced t)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
864 ((eq def 'skip) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
865 (setq done t)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
866 ((eq def 'recenter) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
867 (recenter nil)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
868 ((eq def 'edit) |
23384
a194e59ab82c
(perform-replace): Position point properly
Karl Heuer <kwzh@gnu.org>
parents:
22972
diff
changeset
|
869 (let ((opos (point-marker))) |
a194e59ab82c
(perform-replace): Position point properly
Karl Heuer <kwzh@gnu.org>
parents:
22972
diff
changeset
|
870 (goto-char (match-beginning 0)) |
a194e59ab82c
(perform-replace): Position point properly
Karl Heuer <kwzh@gnu.org>
parents:
22972
diff
changeset
|
871 (save-excursion |
a194e59ab82c
(perform-replace): Position point properly
Karl Heuer <kwzh@gnu.org>
parents:
22972
diff
changeset
|
872 (funcall search-function search-string limit t) |
a194e59ab82c
(perform-replace): Position point properly
Karl Heuer <kwzh@gnu.org>
parents:
22972
diff
changeset
|
873 (setq real-match-data (match-data))) |
a194e59ab82c
(perform-replace): Position point properly
Karl Heuer <kwzh@gnu.org>
parents:
22972
diff
changeset
|
874 (save-excursion (recursive-edit)) |
a194e59ab82c
(perform-replace): Position point properly
Karl Heuer <kwzh@gnu.org>
parents:
22972
diff
changeset
|
875 (goto-char opos)) |
21294
e010f1191668
(perform-replace): Before recursive edit,
Richard M. Stallman <rms@gnu.org>
parents:
21157
diff
changeset
|
876 (set-match-data real-match-data) |
16725
cdc897a9054f
(perform-replace): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
16713
diff
changeset
|
877 ;; Before we make the replacement, |
cdc897a9054f
(perform-replace): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
16713
diff
changeset
|
878 ;; decide whether the search string |
cdc897a9054f
(perform-replace): Undo previous change.
Richard M. Stallman <rms@gnu.org>
parents:
16713
diff
changeset
|
879 ;; 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
|
880 (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
|
881 (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
|
882 (match-data))))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
883 ((eq def 'delete-and-edit) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
884 (delete-region (match-beginning 0) (match-end 0)) |
21157
59f75e1f5541
(perform-replace): store-match-data => set-match-data.
Richard M. Stallman <rms@gnu.org>
parents:
20860
diff
changeset
|
885 (set-match-data |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
886 (prog1 (match-data) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
887 (save-excursion (recursive-edit)))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
888 (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
|
889 ;; 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
|
890 ;; 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
|
891 ;; any unrecognized character. |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
892 (t |
10057
460fecc93446
(query-replace-map): Define \e and escape as exit-prefix.
Richard M. Stallman <rms@gnu.org>
parents:
9908
diff
changeset
|
893 (setq this-command 'mode-exited) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
894 (setq keep-going nil) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
895 (setq unread-command-events |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
896 (append (listify-key-sequence key) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
897 unread-command-events)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
898 (setq done t)))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
899 ;; Record previous position for ^ when we move on. |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
900 ;; Change markers to numbers in the match data |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
901 ;; since lots of markers slow down editing. |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
902 (setq stack |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
903 (cons (cons (point) |
16758
bbe21b1c17a7
(perform-replace): Request integers from match-data,
Richard M. Stallman <rms@gnu.org>
parents:
16725
diff
changeset
|
904 (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
|
905 stack))))) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
906 (replace-dehighlight)) |
10157
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
907 (or unread-command-events |
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
908 (message "Replaced %d occurrence%s" |
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
909 replace-count |
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
910 (if (= replace-count 1) "" "s"))) |
7953cde9d951
(perform-replace): Report number of replacements when done.
Richard M. Stallman <rms@gnu.org>
parents:
10155
diff
changeset
|
911 (and keep-going stack))) |
61 | 912 |
20244
6fbf1436a7f4
(query-replace-highlight): Change default to t.
Karl Heuer <kwzh@gnu.org>
parents:
19551
diff
changeset
|
913 (defcustom query-replace-highlight t |
17664
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
914 "*Non-nil means to highlight words during query replacement." |
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
915 :type 'boolean |
d8cb277f0ce8
Use defgroup and defcustom.
Richard M. Stallman <rms@gnu.org>
parents:
17655
diff
changeset
|
916 :group 'matching) |
5393
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
917 |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
918 (defvar replace-overlay nil) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
919 |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
920 (defun replace-dehighlight () |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
921 (and replace-overlay |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
922 (progn |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
923 (delete-overlay replace-overlay) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
924 (setq replace-overlay nil)))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
925 |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
926 (defun replace-highlight (start end) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
927 (and query-replace-highlight |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
928 (progn |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
929 (or replace-overlay |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
930 (progn |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
931 (setq replace-overlay (make-overlay start end)) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
932 (overlay-put replace-overlay 'face |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
933 (if (internal-find-face 'query-replace) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
934 'query-replace 'region)))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
935 (move-overlay replace-overlay start end (current-buffer))))) |
cfd16a1af914
(query-replace-highlight): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
5337
diff
changeset
|
936 |
658
7cbd4fcd8b0f
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
324
diff
changeset
|
937 ;;; replace.el ends here |