annotate lisp/=isearch-old.el @ 668:47871343371e

*** empty log message ***
author Noah Friedman <friedman@splode.com>
date Sun, 31 May 1992 21:13:26 +0000
parents 08eb386dd0f3
children a8d94735277e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
660
08eb386dd0f3 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 347
diff changeset
1 ;;; isearch.el --- incremental search commands
08eb386dd0f3 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 347
diff changeset
2
347
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
3 ;; Copyright (C) 1985, 1986 Free Software Foundation, Inc.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
4
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
5 ;; This file is part of GNU Emacs.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
6
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
7 ;; GNU Emacs is free software; you can redistribute it and/or modify
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
8 ;; it under the terms of the GNU General Public License as published by
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
9 ;; the Free Software Foundation; either version 1, or (at your option)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
10 ;; any later version.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
11
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
12 ;; GNU Emacs is distributed in the hope that it will be useful,
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
13 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
14 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
15 ;; GNU General Public License for more details.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
16
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
17 ;; You should have received a copy of the GNU General Public License
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
18 ;; along with GNU Emacs; see the file COPYING. If not, write to
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
19 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
20
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
21 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
22 (defvar search-last-string "" "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
23 Last string search for by a non-regexp search command.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
24 This does not include direct calls to the primitive search functions,
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
25 and does not include searches that are aborted.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
26
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
27 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
28 (defvar search-last-regexp "" "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
29 Last string searched for by a regexp search command.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
30 This does not include direct calls to the primitive search functions,
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
31 and does not include searches that are aborted.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
32
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
33
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
34 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
35 (defconst search-repeat-char ?\C-s "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
36 *Character to repeat incremental search forwards.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
37 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
38 (defconst search-reverse-char ?\C-r "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
39 *Character to repeat incremental search backwards.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
40 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
41 (defconst search-exit-char ?\C-m "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
42 *Character to exit incremental search.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
43 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
44 (defconst search-delete-char ?\177 "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
45 *Character to delete from incremental search string.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
46 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
47 (defconst search-quote-char ?\C-q "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
48 *Character to quote special characters for incremental search.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
49 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
50 (defconst search-yank-word-char ?\C-w "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
51 *Character to pull next word from buffer into search string.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
52 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
53 (defconst search-yank-line-char ?\C-y "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
54 *Character to pull rest of line from buffer into search string.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
55 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
56 (defconst search-ring-advance-char ?\M-n "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
57 *Character to pull next (more recent) search string from the ring of same.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
58 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
59 (defconst search-ring-retreat-char ?\M-p "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
60 *Character to pull previous (older) search string from the ring of same.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
61
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
62 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
63 (defconst search-exit-option t "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
64 *Non-nil means random control characters terminate incremental search.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
65
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
66 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
67 (defvar search-slow-window-lines 1 "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
68 *Number of lines in slow search display windows.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
69 These are the short windows used during incremental search on slow terminals.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
70 Negative means put the slow search window at the top (normally it's at bottom)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
71 and the value is minus the number of lines.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
72
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
73 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
74 (defvar search-slow-speed 1200 "\
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
75 *Highest terminal speed at which to use \"slow\" style incremental search.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
76 This is the style where a one-line window is created to show the line
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
77 that the search has reached.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
78
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
79 (defconst search-upper-case t
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
80 "*Non-nil means an upper-case letter as search input means case-sensitive.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
81 Any upper-case letter given explicitly as input to the incremental search
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
82 has the effect of turning off `case-fold-search' for the rest of this search.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
83 Deleting the letter from the search string cancels the effect.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
84
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
85 (fset 'search-forward-regexp 're-search-forward)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
86 (fset 'search-backward-regexp 're-search-backward)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
87
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
88 (defvar search-ring nil
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
89 "List of recent non-regexp incremental searches.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
90 Each element is a cons cell of the form (STRING . UPPERCASE-FLAG).")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
91
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
92 (defvar regexp-search-ring nil
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
93 "List of recent regexp incremental searches.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
94 Each element is a cons cell of the form (STRING . UPPERCASE-FLAG).")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
95
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
96 (defconst search-ring-max 16
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
97 "*Maximum length of search ring before oldest elements are thrown away.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
98
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
99 (defvar search-ring-yank-pointer nil
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
100 "The tail of the search ring whose car is the last thing searched for.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
101
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
102 (defvar regexp-search-ring-yank-pointer nil
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
103 "The tail of the regular expression search ring whose car is the last
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
104 thing searched for.")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
105
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
106
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
107 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
108 (defun isearch-forward ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
109 "Do incremental search forward.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
110 As you type characters, they add to the search string and are found.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
111 Type Delete to cancel characters from end of search string.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
112 Type RET to exit, leaving point at location found.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
113 Type C-s to search again forward, C-r to search again backward.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
114 Type C-w to yank word from buffer onto end of search string and search for it.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
115 Type C-y to yank rest of line onto end of search string, etc.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
116 Type C-q to quote control character to search for it.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
117 Other control and meta characters terminate the search
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
118 and are then executed normally.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
119 The above special characters are mostly controlled by parameters;
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
120 do M-x apropos on search-.*-char to find them.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
121 C-g while searching or when search has failed
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
122 cancels input back to what has been found successfully.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
123 C-g when search is successful aborts and moves point to starting point."
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
124 (interactive)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
125 (isearch t))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
126 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
127 (define-key global-map "\C-s" 'isearch-forward)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
128
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
129 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
130 (defun isearch-forward-regexp ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
131 "Do incremental search forward for regular expression.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
132 Like ordinary incremental search except that your input
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
133 is treated as a regexp. See \\[isearch-forward] for more info."
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
134 (interactive)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
135 (isearch t t))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
136 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
137 (define-key esc-map "\C-s" 'isearch-forward-regexp)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
138
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
139 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
140 (defun isearch-backward ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
141 "Do incremental search backward.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
142 See \\[isearch-forward] for more information."
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
143 (interactive)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
144 (isearch nil))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
145 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
146 (define-key global-map "\C-r" 'isearch-backward)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
147
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
148 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
149 (defun isearch-backward-regexp ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
150 "Do incremental search backward for regular expression.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
151 Like ordinary incremental search except that your input
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
152 is treated as a regexp. See \\[isearch-forward] for more info."
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
153 (interactive)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
154 (isearch nil t))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
155 ;;;###autoload
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
156 (define-key esc-map "\C-r" 'isearch-backward-regexp)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
157
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
158
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
159 ;; This function does all the work of incremental search.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
160 ;; The functions attached to ^R and ^S are trivial,
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
161 ;; merely calling this one, but they are always loaded by default
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
162 ;; whereas this file can optionally be autoloadable.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
163 ;; This is the only entry point in this file.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
164
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
165 ;; OP-FUN is a function to be called after each input character is processed.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
166 ;; (It is not called after characters that exit the search.)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
167
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
168 (defun isearch (forward &optional regexp op-fun)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
169 (let ((search-string "")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
170 (search-message "")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
171 ;; List of previous states during this search.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
172 (history nil)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
173 ;; t means search is currently successful.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
174 (success t)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
175 ;; Set once the search has wrapped around the end of the buffer.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
176 (wrapped nil)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
177 ;; Nominal starting point for searching
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
178 ;; Usually this is the same as the opoint,
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
179 ;; but it is changed by wrapping
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
180 ;; and also by repeating the search.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
181 (barrier (point))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
182 ;; Set temporarily when adding a character to a regexp
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
183 ;; enables it to match more rather than fewer places in the buffer.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
184 liberalized
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
185 ;; Set temporarily by yanking text into the search string.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
186 yank-flag
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
187 (invalid-regexp nil)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
188 ;; non-nil means an explicit uppercase letter seen in the input
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
189 (uppercase-flag nil)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
190 ;; Non-nil means start using a small window
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
191 ;; if the search moves outside what is currently on the screen.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
192 (slow-terminal-mode (and (<= baud-rate search-slow-speed)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
193 (> (window-height)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
194 (* 4 search-slow-window-lines))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
195 ;; t means a small window is currently in use.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
196 (small-window nil) ;if t, using a small window
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
197 ;; These variables preserve information from the small window
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
198 ;; through exit from the save-window-excursion.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
199 (found-point nil)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
200 (found-start nil)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
201 ;; Point is at one end of the last match.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
202 ;; This variable records the other end of that match.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
203 (other-end nil)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
204 ;; Value of point at start of search,
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
205 ;; for moving the cursor back on quitting.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
206 (opoint (point))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
207 (inhibit-quit t) ;Prevent ^G from quitting, so we can read it.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
208 ;; The screen we're working on; if this changes, we exit isearch.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
209 (screen (if (fboundp 'selected-screen) (selected-screen))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
210
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
211 (isearch-push-state)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
212 (save-window-excursion
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
213 (catch 'search-done
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
214 (while t
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
215 (or (and (numberp unread-command-char) (>= unread-command-char 0))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
216 (progn
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
217 (or (input-pending-p)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
218 (isearch-message))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
219 (if (and slow-terminal-mode
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
220 (not (or small-window (pos-visible-in-window-p))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
221 (progn
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
222 (setq small-window t)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
223 (setq found-point (point))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
224 (move-to-window-line 0)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
225 (let ((window-min-height 1))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
226 (split-window nil (if (< search-slow-window-lines 0)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
227 (1+ (- search-slow-window-lines))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
228 (- (window-height)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
229 (1+ search-slow-window-lines)))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
230 (if (< search-slow-window-lines 0)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
231 (progn (vertical-motion (- 1 search-slow-window-lines))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
232 (set-window-start (next-window) (point))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
233 (set-window-hscroll (next-window)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
234 (window-hscroll))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
235 (set-window-hscroll (selected-window) 0))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
236 (other-window 1))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
237 (goto-char found-point)))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
238 (let ((char (if quit-flag
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
239 ?\C-g
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
240 (read-event))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
241 (setq quit-flag nil liberalized nil yank-flag nil)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
242 (cond ((and (or (not (integerp char))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
243 (and (>= char 128)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
244 (not (= char search-ring-advance-char))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
245 (not (= char search-ring-retreat-char))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
246 search-exit-option)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
247 (setq unread-command-char char)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
248 (throw 'search-done t))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
249
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
250 ;; If the user switches to a different screen, exit.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
251 ((not (eq screen last-event-screen))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
252 (setq unread-command-char char)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
253 (throw 'search-done t))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
254
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
255 ((eq char search-exit-char)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
256 ;; RET means exit search normally.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
257 ;; Except, if first thing typed, it means do nonincremental
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
258 (if (= 0 (length search-string))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
259 (nonincremental-search forward regexp))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
260 (throw 'search-done t))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
261 ((= char ?\C-g)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
262 ;; ^G means the user tried to quit.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
263 (ding)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
264 (discard-input)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
265 (if success
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
266 ;; If search is successful, move back to starting point
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
267 ;; and really do quit.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
268 (progn (goto-char opoint)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
269 (signal 'quit nil))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
270 ;; If search is failing, rub out until it is once more
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
271 ;; successful.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
272 (while (not success) (isearch-pop))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
273 ((or (eq char search-repeat-char)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
274 (eq char search-reverse-char))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
275 (if (eq forward (eq char search-repeat-char))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
276 ;; C-s in forward or C-r in reverse.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
277 (if (equal search-string "")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
278 ;; If search string is empty, use last one.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
279 (isearch-get-string-from-ring)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
280 ;; If already have what to search for, repeat it.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
281 (or success
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
282 (progn (goto-char (if forward (point-min) (point-max)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
283 (setq wrapped t))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
284 ;; C-s in reverse or C-r in forward, change direction.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
285 (setq forward (not forward)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
286 (setq barrier (point)) ; For subsequent \| if regexp.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
287 (setq success t)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
288 (or (equal search-string "")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
289 (progn
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
290 ;; If repeating a search that found an empty string,
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
291 ;; ensure we advance. Test history to make sure we
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
292 ;; actually have done a search already; otherwise,
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
293 ;; the match data will be random.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
294 (if (and (cdr history)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
295 (= (match-end 0) (match-beginning 0)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
296 (forward-char (if forward 1 -1)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
297 (isearch-search)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
298 (isearch-push-state))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
299 ((= char search-delete-char)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
300 ;; Rubout means discard last input item and move point
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
301 ;; back. If buffer is empty, just beep.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
302 (if (null (cdr history))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
303 (ding)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
304 (isearch-pop)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
305 ((= char search-ring-advance-char)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
306 (isearch-pop)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
307 (if regexp
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
308 (let ((length (length regexp-search-ring)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
309 (if (zerop length)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
310 ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
311 (setq regexp-search-ring-yank-pointer
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
312 (nthcdr (% (+ 1 (- length (length regexp-search-ring-yank-pointer)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
313 length)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
314 regexp-search-ring))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
315 (isearch-get-string-from-ring)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
316 (let ((length (length search-ring)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
317 (if (zerop length)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
318 ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
319 (setq search-ring-yank-pointer
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
320 (nthcdr (% (+ 1 (- length (length search-ring-yank-pointer)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
321 length)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
322 search-ring))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
323 (isearch-get-string-from-ring))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
324 (isearch-push-state)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
325 (isearch-search))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
326 ((= char search-ring-retreat-char)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
327 (isearch-pop)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
328 (if regexp
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
329 (let ((length (length regexp-search-ring)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
330 (if (zerop length)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
331 ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
332 (setq regexp-search-ring-yank-pointer
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
333 (nthcdr (% (+ (- length (length regexp-search-ring-yank-pointer))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
334 (1- length))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
335 length)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
336 regexp-search-ring))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
337 (isearch-get-string-from-ring)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
338 (let ((length (length search-ring)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
339 (if (zerop length)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
340 ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
341 (setq search-ring-yank-pointer
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
342 (nthcdr (% (+ (- length (length search-ring-yank-pointer))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
343 (1- length))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
344 length)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
345 search-ring))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
346 (isearch-get-string-from-ring))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
347 (isearch-push-state)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
348 (isearch-search))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
349 (t
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
350 (cond ((or (eq char search-yank-word-char)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
351 (eq char search-yank-line-char))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
352 ;; ^W means gobble next word from buffer.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
353 ;; ^Y means gobble rest of line from buffer.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
354 (let ((word (save-excursion
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
355 (and (not forward) other-end
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
356 (goto-char other-end))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
357 (buffer-substring
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
358 (point)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
359 (save-excursion
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
360 (if (eq char search-yank-line-char)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
361 (end-of-line)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
362 (forward-word 1))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
363 (point))))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
364 (if regexp
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
365 (setq word (regexp-quote word)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
366 (setq search-string (concat search-string word)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
367 search-message
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
368 (concat search-message
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
369 (mapconcat 'text-char-description
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
370 word ""))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
371 ;; Don't move cursor in reverse search.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
372 yank-flag t)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
373 ;; Any other control char =>
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
374 ;; unread it and exit the search normally.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
375 ((and search-exit-option
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
376 (/= char search-quote-char)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
377 (or (>= char ?\177)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
378 (and (< char ? )
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
379 (/= char ?\t)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
380 (/= char ?\n))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
381 (setq unread-command-char char)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
382 (throw 'search-done t))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
383 (t
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
384 ;; Any other character => add it to the
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
385 ;; search string and search.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
386 (cond ((= char search-quote-char)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
387 (setq char (read-quoted-char
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
388 (isearch-message t))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
389 ((= char ?\r)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
390 ;; RET translates to newline.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
391 (setq char ?\n)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
392 (setq search-string (concat search-string
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
393 (char-to-string char))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
394 search-message (concat search-message
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
395 (text-char-description char))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
396 uppercase-flag (or uppercase-flag
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
397 (not (= char (downcase char)))))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
398 (if (and (not success)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
399 ;; unsuccessful regexp search may become
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
400 ;; successful by addition of characters which
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
401 ;; make search-string valid
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
402 (not regexp))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
403 nil
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
404 ;; Check for chars that can make a regexp more liberal.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
405 ;; They can make a regexp match sooner
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
406 ;; or make it succeed instead of failing.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
407 ;; So go back to place last successful search started
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
408 ;; or to the last ^S/^R (barrier), whichever is nearer.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
409 (and regexp history
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
410 (cond ((and (memq char '(?* ??))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
411 ;; Don't treat *, ? as special
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
412 ;; within [] or after \.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
413 (not (nth 6 (car history))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
414 (setq liberalized t)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
415 ;; This used to use element 2
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
416 ;; in a reverse search, but it seems that 5
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
417 ;; (which is the end of the old match)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
418 ;; is better in that case too.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
419 (let ((cs (nth 5 ; old other-end.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
420 (car (cdr history)))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
421 ;; (car history) is after last search;
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
422 ;; (car (cdr history)) is from before it.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
423 (setq cs (or cs barrier))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
424 (goto-char
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
425 (if forward
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
426 (max cs barrier)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
427 (min cs barrier)))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
428 ((eq char ?\|)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
429 (setq liberalized t)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
430 (goto-char barrier))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
431 ;; Turn off case-sensitivity if string requests it.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
432 (let ((case-fold-search
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
433 (and case-fold-search
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
434 (not (and uppercase-flag
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
435 search-upper-case)))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
436 ;; In reverse search, adding stuff at
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
437 ;; the end may cause zero or many more chars to be
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
438 ;; matched, in the string following point.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
439 ;; Allow all those possibilities without moving point as
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
440 ;; long as the match does not extend past search origin.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
441 (if (and (not forward) (not liberalized)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
442 (condition-case ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
443 (looking-at (if regexp search-string
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
444 (regexp-quote search-string)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
445 (error nil))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
446 (or yank-flag
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
447 ;; Used to have (min opoint barrier)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
448 ;; instead of barrier.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
449 ;; This lost when wrapping.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
450 (<= (match-end 0) barrier)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
451 (setq success t invalid-regexp nil
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
452 other-end (match-end 0))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
453 ;; Not regexp, not reverse, or no match at point.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
454 (if (and other-end (not liberalized))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
455 (goto-char (if forward other-end
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
456 ;; Used to have opoint inside the min.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
457 ;; This lost when wrapping.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
458 (min barrier (1+ other-end)))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
459 (isearch-search))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
460 (isearch-push-state))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
461 (if op-fun (funcall op-fun))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
462 (setq found-start (window-start (selected-window)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
463 (setq found-point (point)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
464 (if (> (length search-string) 0)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
465 (if (and regexp (not (member search-string regexp-search-ring)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
466 (progn
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
467 (setq regexp-search-ring (cons (cons search-string uppercase-flag)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
468 regexp-search-ring)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
469 regexp-search-ring-yank-pointer regexp-search-ring)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
470 (if (> (length regexp-search-ring) regexp-search-ring-max)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
471 (setcdr (nthcdr (1- search-ring-max) regexp-search-ring) nil)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
472 (if (not (member search-string search-ring))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
473 (progn
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
474 (setq search-ring (cons (cons search-string uppercase-flag)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
475 search-ring)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
476 search-ring-yank-pointer search-ring)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
477 (if (> (length search-ring) search-ring-max)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
478 (setcdr (nthcdr (1- search-ring-max) search-ring) nil))))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
479 ;; If we displayed a single-line window, set point in this window.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
480 (if small-window
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
481 (goto-char found-point))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
482 ;; If there was movement, mark the starting position.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
483 ;; Maybe should test difference between and set mark iff > threshold.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
484 (if (/= (point) opoint)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
485 (push-mark opoint)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
486 (message ""))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
487 (or small-window
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
488 ;; Exiting the save-window-excursion clobbers this; restore it.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
489 (set-window-start (selected-window) found-start t))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
490
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
491 (defun isearch-message (&optional c-q-hack ellipsis)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
492 ;; If about to search, and previous search regexp was invalid,
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
493 ;; check that it still is. If it is valid now,
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
494 ;; let the message we display while searching say that it is valid.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
495 (and invalid-regexp ellipsis
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
496 (condition-case ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
497 (progn (re-search-forward search-string (point) t)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
498 (setq invalid-regexp nil))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
499 (error nil)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
500 ;; If currently failing, display no ellipsis.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
501 (or success (setq ellipsis nil))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
502 (let ((m (concat (if success "" "failing ")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
503 (if wrapped "wrapped ")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
504 (if (or (not case-fold-search)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
505 (and uppercase-flag search-upper-case))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
506 "case-sensitive ")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
507 (if regexp "regexp " "")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
508 "I-search"
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
509 (if forward ": " " backward: ")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
510 search-message
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
511 (if c-q-hack "^Q" "")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
512 (if invalid-regexp
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
513 (concat " [" invalid-regexp "]")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
514 ""))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
515 (aset m 0 (upcase (aref m 0)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
516 (let ((cursor-in-echo-area ellipsis))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
517 (if c-q-hack m (message "%s" m)))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
518
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
519 ;; Get the search string from the "front" of the ring of previous searches.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
520 (defun isearch-get-string-from-ring ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
521 (let ((elt (car (if regexp
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
522 (or regexp-search-ring-yank-pointer regexp-search-ring)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
523 (or search-ring-yank-pointer search-ring)))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
524 ;; ELT describes the most recent search or where we have rotated the ring.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
525 (if elt
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
526 (setq search-string (car elt)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
527 uppercase-flag (cdr elt))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
528 (setq search-string "" uppercase-flag nil)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
529 ;; Let's give this one the benefit of the doubt.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
530 (setq invalid-regexp nil)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
531 (setq search-message (mapconcat 'text-char-description search-string "")))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
532
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
533 (defun isearch-pop ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
534 (setq history (cdr history))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
535 (let ((cmd (car history)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
536 (setq search-string (car cmd)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
537 search-message (car (cdr cmd))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
538 success (nth 3 cmd)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
539 forward (nth 4 cmd)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
540 other-end (nth 5 cmd)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
541 invalid-regexp (nth 6 cmd)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
542 wrapped (nth 7 cmd)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
543 barrier (nth 8 cmd)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
544 uppercase-flag (nth 9 cmd))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
545 (goto-char (car (cdr (cdr cmd))))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
546
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
547 (defun isearch-push-state ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
548 (setq history (cons (list search-string search-message (point)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
549 success forward other-end invalid-regexp
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
550 wrapped barrier uppercase-flag)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
551 history)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
552
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
553 (defun isearch-search ()
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
554 (let ((case-fold-search
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
555 (and case-fold-search
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
556 (not (and uppercase-flag
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
557 search-upper-case)))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
558 (isearch-message nil t)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
559 (condition-case lossage
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
560 (let ((inhibit-quit nil))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
561 (if regexp (setq invalid-regexp nil))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
562 (setq success
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
563 (funcall
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
564 (if regexp
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
565 (if forward 're-search-forward 're-search-backward)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
566 (if forward 'search-forward 'search-backward))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
567 search-string nil t))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
568 (if success
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
569 (setq other-end
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
570 (if forward (match-beginning 0) (match-end 0)))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
571 (quit (setq unread-command-char ?\C-g)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
572 (setq success nil))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
573 (invalid-regexp (setq invalid-regexp (car (cdr lossage)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
574 (if (string-match "\\`Premature \\|\\`Unmatched \\|\\`Invalid "
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
575 invalid-regexp)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
576 (setq invalid-regexp "incomplete input"))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
577 (if success
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
578 nil
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
579 ;; Ding if failed this time after succeeding last time.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
580 (and (nth 3 (car history))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
581 (ding))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
582 (goto-char (nth 2 (car history))))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
583
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
584 ;; This is called from incremental-search
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
585 ;; if the first input character is the exit character.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
586 ;; The interactive-arg-reader uses free variables `forward' and `regexp'
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
587 ;; which are bound by `incremental-search'.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
588
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
589 ;; We store the search string in `search-string'
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
590 ;; which has been bound already by `incremental-search'
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
591 ;; so that, when we exit, it is copied into `search-last-string'.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
592
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
593 (defun nonincremental-search (forward regexp)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
594 (let (message char function string inhibit-quit)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
595 (let ((cursor-in-echo-area t))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
596 ;; Prompt assuming not word search,
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
597 (setq message (if regexp
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
598 (if forward "Regexp search: "
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
599 "Regexp search backward: ")
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
600 (if forward "Search: " "Search backward: ")))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
601 (message "%s" message)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
602 ;; Read 1 char and switch to word search if it is ^W.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
603 (setq char (read-event)))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
604 (if (and (numberp char) (eq char search-yank-word-char))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
605 (setq message (if forward "Word search: " "Word search backward: "))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
606 ;; Otherwise let that 1 char be part of the search string.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
607 (setq unread-command-char char))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
608 (setq function
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
609 (if (eq char search-yank-word-char)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
610 (if forward 'word-search-forward 'word-search-backward)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
611 (if regexp
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
612 (if forward 're-search-forward 're-search-backward)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
613 (if forward 'search-forward 'search-backward))))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
614 ;; Read the search string with corrected prompt.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
615 (setq string (read-string message))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
616 ;; Empty means use default.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
617 (if (= 0 (length string))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
618 (setq string search-last-string)
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
619 ;; Set last search string now so it is set even if we fail.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
620 (setq search-last-string string))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
621 ;; Since we used the minibuffer, we should be available for redo.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
622 (setq command-history (cons (list function string) command-history))
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
623 ;; Go ahead and search.
6506740942fa Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
624 (funcall function string)))
660
08eb386dd0f3 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 347
diff changeset
625
08eb386dd0f3 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 347
diff changeset
626 ;;; isearch.el ends here