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