Mercurial > emacs
annotate lisp/textmodes/reftex-global.el @ 60760:a706fe4203bc
Revision: miles@gnu.org--gnu-2005/emacs--cvs-trunk--0--patch-193
Use gdb-ui breakpoint faces on ttys too
2005-03-20 Miles Bader <miles@gnu.org>
* lisp/progmodes/gdb-ui.el (gdb-put-breakpoint-icon): Use breakpoint faces
in text-mode too. Change to new face names.
(breakpoint-enabled): Renamed from `breakpoint-enabled-bitmap-face'.
Add `:weight bold' attribute.
(breakpoint-disabled): Renamed from `breakpoint-disabled-bitmap-face'.
author | Miles Bader <miles@gnu.org> |
---|---|
date | Sun, 20 Mar 2005 01:49:32 +0000 |
parents | fc3483d0f93e |
children | 35f6599373fc f8a7a9ba3d08 |
rev | line source |
---|---|
38422
7a94f1c588c4
Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents:
37998
diff
changeset
|
1 ;;; reftex-global.el --- operations on entire documents with RefTeX |
59534
9bad65481674
2005-01-14 Carsten Dominik <dominik@science.uva.nl>
Carsten Dominik <dominik@science.uva.nl>
parents:
52401
diff
changeset
|
2 ;; Copyright (c) 1997, 1998, 1999, 2000, 2003, 2004 Free Software Foundation, Inc. |
27035 | 3 |
46612
7522419c4db0
Updated to reftex 4.17
Carsten Dominik <dominik@science.uva.nl>
parents:
42418
diff
changeset
|
4 ;; Author: Carsten Dominik <dominik@science.uva.nl> |
59534
9bad65481674
2005-01-14 Carsten Dominik <dominik@science.uva.nl>
Carsten Dominik <dominik@science.uva.nl>
parents:
52401
diff
changeset
|
5 ;; Version: 4.26 |
27035 | 6 |
7 ;; This file is part of GNU Emacs. | |
8 | |
9 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
10 ;; it under the terms of the GNU General Public License as published by | |
11 ;; the Free Software Foundation; either version 2, or (at your option) | |
12 ;; any later version. | |
13 | |
14 ;; GNU Emacs is distributed in the hope that it will be useful, | |
15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
17 ;; GNU General Public License for more details. | |
18 | |
19 ;; You should have received a copy of the GNU General Public License | |
20 ;; along with GNU Emacs; see the file COPYING. If not, write to the | |
21 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
22 ;; Boston, MA 02111-1307, USA. | |
25280 | 23 |
38422
7a94f1c588c4
Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents:
37998
diff
changeset
|
24 ;;; Commentary: |
7a94f1c588c4
Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents:
37998
diff
changeset
|
25 |
7a94f1c588c4
Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents:
37998
diff
changeset
|
26 ;;; Code: |
7a94f1c588c4
Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents:
37998
diff
changeset
|
27 |
26910
489a5439b988
* reftex.el (reftex-compile-variables): respect new structure of
Carsten Dominik <dominik@science.uva.nl>
parents:
25806
diff
changeset
|
28 (eval-when-compile (require 'cl)) |
25280 | 29 (provide 'reftex-global) |
30 (require 'reftex) | |
31 ;;; | |
32 | |
33 (defun reftex-create-tags-file () | |
34 "Create TAGS file by running `etags' on the current document. | |
35 The TAGS file is also immediately visited with `visit-tags-table'." | |
36 (interactive) | |
37 (reftex-access-scan-info current-prefix-arg) | |
38 (let* ((master (reftex-TeX-master-file)) | |
39 (files (reftex-all-document-files)) | |
40 (cmd (format "etags %s" (mapconcat 'identity files " ")))) | |
41 (save-excursion | |
34402
5eec8d1d09f0
Update to RefTeX 4.15, see ChangeLog for details
Carsten Dominik <dominik@science.uva.nl>
parents:
29775
diff
changeset
|
42 (set-buffer (reftex-get-file-buffer-force master)) |
25280 | 43 (message "Running etags to create TAGS file...") |
44 (shell-command cmd) | |
45 (visit-tags-table "TAGS")))) | |
46 | |
47 ;; History of grep commands. | |
48 (defvar reftex-grep-history nil) | |
49 (defvar reftex-grep-command "grep -n " | |
50 "Last grep command used in \\[reftex-grep-document]; default for next grep.") | |
51 | |
52 (defun reftex-grep-document (grep-cmd) | |
53 "Run grep query through all files related to this document. | |
54 With prefix arg, force to rescan document. | |
55 No active TAGS table is required." | |
56 | |
57 (interactive | |
58 (list (read-from-minibuffer "Run grep on document (like this): " | |
59 reftex-grep-command nil nil | |
60 'reftex-grep-history))) | |
61 (reftex-access-scan-info current-prefix-arg) | |
62 (let* ((files (reftex-all-document-files t)) | |
63 (cmd (format | |
64 "%s %s" grep-cmd | |
65 (mapconcat 'identity files " ")))) | |
66 (grep cmd))) | |
67 | |
68 (defun reftex-search-document (&optional regexp) | |
69 "Regexp search through all files of the current document. | |
70 Starts always in the master file. Stops when a match is found. | |
71 To continue searching for next match, use command \\[tags-loop-continue]. | |
72 No active TAGS table is required." | |
73 (interactive) | |
74 (let ((default (reftex-this-word))) | |
75 (unless regexp | |
76 (setq regexp (read-string (format "Search regexp in document [%s]: " | |
77 default)))) | |
78 (if (string= regexp "") (setq regexp (regexp-quote default))) | |
79 | |
80 (reftex-access-scan-info current-prefix-arg) | |
81 (tags-search regexp (list 'reftex-all-document-files)))) | |
82 | |
83 (defun reftex-query-replace-document (&optional from to delimited) | |
42418
07e5765f1141
(reftex-query-replace-document, reftex-change-label): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
38422
diff
changeset
|
84 "Do `query-replace-regexp' of FROM with TO over the entire document. |
25280 | 85 Third arg DELIMITED (prefix arg) means replace only word-delimited matches. |
42418
07e5765f1141
(reftex-query-replace-document, reftex-change-label): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
38422
diff
changeset
|
86 If you exit (\\[keyboard-quit], RET or q), you can resume the query replace |
25280 | 87 with the command \\[tags-loop-continue]. |
88 No active TAGS table is required." | |
89 (interactive) | |
90 (let ((default (reftex-this-word))) | |
91 (unless from | |
92 (setq from (read-string (format "Replace regexp in document [%s]: " | |
93 default))) | |
94 (if (string= from "") (setq from (regexp-quote default)))) | |
95 (unless to | |
96 (setq to (read-string (format "Replace regexp %s with: " from)))) | |
97 (reftex-access-scan-info current-prefix-arg) | |
98 (tags-query-replace from to (or delimited current-prefix-arg) | |
99 (list 'reftex-all-document-files)))) | |
100 | |
101 (defun reftex-find-duplicate-labels () | |
102 "Produce a list of all duplicate labels in the document." | |
103 | |
104 (interactive) | |
105 | |
106 ;; Rescan the document to make sure | |
107 (reftex-access-scan-info t) | |
108 | |
109 (let ((master (reftex-TeX-master-file)) | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
110 (cnt 0) |
25280 | 111 (dlist |
112 (mapcar | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
113 (lambda (x) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
114 (let (x1) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
115 (cond |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
116 ((memq (car x) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
117 '(toc bof eof bib thebib label-numbers xr xr-doc |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
118 master-dir file-error bibview-cache appendix |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
119 is-multi index)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
120 nil) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
121 (t |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
122 (setq x1 (reftex-all-assoc-string |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
123 (car x) (symbol-value reftex-docstruct-symbol))) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
124 (if (< 1 (length x1)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
125 (append (list (car x)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
126 (mapcar (lambda(x) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
127 (abbreviate-file-name (nth 3 x))) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
128 x1)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
129 (list nil)))))) |
25280 | 130 (reftex-uniquify-by-car (symbol-value reftex-docstruct-symbol))))) |
131 | |
132 (setq dlist (reftex-uniquify-by-car dlist)) | |
133 (if (null dlist) (error "No duplicate labels in document")) | |
134 (switch-to-buffer-other-window "*Duplicate Labels*") | |
135 (set (make-local-variable 'TeX-master) master) | |
136 (erase-buffer) | |
137 (insert " MULTIPLE LABELS IN CURRENT DOCUMENT:\n") | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
138 (insert |
25280 | 139 " Move point to label and type `r' to run a query-replace on the label\n" |
140 " and its references. Type `q' to exit this buffer.\n\n") | |
141 (insert " LABEL FILE\n") | |
142 (insert " -------------------------------------------------------------\n") | |
143 (use-local-map (make-sparse-keymap)) | |
144 (local-set-key [?q] (lambda () "Kill this buffer." (interactive) | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
145 (kill-buffer (current-buffer)) (delete-window))) |
25280 | 146 (local-set-key [?r] 'reftex-change-label) |
147 (while dlist | |
148 (when (and (car (car dlist)) | |
149 (cdr (car dlist))) | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
150 (incf cnt) |
25280 | 151 (insert (mapconcat 'identity (car dlist) "\n ") "\n")) |
152 (pop dlist)) | |
153 (goto-char (point-min)) | |
154 (when (= cnt 0) | |
155 (kill-buffer (current-buffer)) | |
156 (delete-window) | |
157 (message "Document does not contain duplicate labels.")))) | |
158 | |
159 (defun reftex-change-label (&optional from to) | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
160 "Run `query-replace-regexp' of FROM with TO in all macro arguments. |
25280 | 161 Works on the entire multifile document. |
42418
07e5765f1141
(reftex-query-replace-document, reftex-change-label): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
38422
diff
changeset
|
162 If you exit (\\[keyboard-quit], RET or q), you can resume the query replace |
25280 | 163 with the command \\[tags-loop-continue]. |
164 No active TAGS table is required." | |
165 (interactive) | |
166 (let ((default (reftex-this-word "-a-zA-Z0-9_*.:"))) | |
167 (unless from | |
168 (setq from (read-string (format "Replace label globally [%s]: " | |
169 default)))) | |
170 (if (string= from "") (setq from default)) | |
171 (unless to | |
172 (setq to (read-string (format "Replace label %s with: " | |
173 from)))) | |
174 (reftex-query-replace-document | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
175 (concat "{" (regexp-quote from) "}") |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
176 (format "{%s}" to)))) |
25280 | 177 |
178 (defun reftex-renumber-simple-labels () | |
179 "Renumber all simple labels in the document to make them sequentially. | |
180 Simple labels are the ones created by RefTeX, consisting only of the | |
181 prefix and a number. After the command completes, all these labels will | |
182 have sequential numbers throughout the document. Any references to | |
183 the labels will be changed as well. For this, RefTeX looks at the | |
184 arguments of any macros which either start or end in the string `ref'. | |
185 This command should be used with care, in particular in multifile | |
186 documents. You should not use it if another document refers to this | |
187 one with the `xr' package." | |
188 (interactive) | |
189 ;; Resan the entire document | |
190 (reftex-access-scan-info 1) | |
191 ;; Get some insurance | |
192 (if (and (reftex-is-multi) | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
193 (not (yes-or-no-p "Replacing all simple labels in multiple files is risky. Continue? "))) |
25280 | 194 (error "Abort")) |
195 ;; Make the translation list | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
196 (let* ((re-core (concat "\\(" |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
197 (mapconcat 'cdr reftex-typekey-to-prefix-alist "\\|") |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
198 "\\)")) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
199 (label-re (concat "\\`" re-core "\\([0-9]+\\)\\'")) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
200 (search-re (concat "[{,]\\(" re-core "\\([0-9]+\\)\\)[,}]")) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
201 (error-fmt "Undefined label or reference %s. Ignore and continue? ") |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
202 (label-numbers-alist (mapcar (lambda (x) (cons (cdr x) 0)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
203 reftex-typekey-to-prefix-alist)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
204 (files (reftex-all-document-files)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
205 (list (symbol-value reftex-docstruct-symbol)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
206 translate-alist n entry label new-label nr-cell changed-sequence) |
25280 | 207 |
208 (while (setq entry (pop list)) | |
209 (when (and (stringp (car entry)) | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
210 (string-match label-re (car entry))) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
211 (setq label (car entry) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
212 nr-cell (assoc (match-string 1 (car entry)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
213 label-numbers-alist)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
214 (if (assoc label translate-alist) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
215 (error "Duplicate label %s" label)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
216 (setq new-label (concat (match-string 1 (car entry)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
217 (int-to-string (incf (cdr nr-cell))))) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
218 (push (cons label new-label) translate-alist) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
219 (or (string= label new-label) (setq changed-sequence t)))) |
25280 | 220 |
221 (unless changed-sequence | |
222 (error "Simple labels are already in correct sequence")) | |
223 | |
29775
31536c6cf2e3
* textmodes/reftex.el (reftex-find-citation-regexp-format):
Carsten Dominik <dominik@science.uva.nl>
parents:
27603
diff
changeset
|
224 (reftex-ensure-write-access (reftex-all-document-files)) |
31536c6cf2e3
* textmodes/reftex.el (reftex-find-citation-regexp-format):
Carsten Dominik <dominik@science.uva.nl>
parents:
27603
diff
changeset
|
225 |
25280 | 226 ;; Save all document buffers before this operation |
227 (reftex-save-all-document-buffers) | |
228 | |
229 ;; First test to check for erros | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
230 (setq n (reftex-translate |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
231 files search-re translate-alist error-fmt 'test)) |
25280 | 232 |
233 ;; Now the real thing. | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
234 (if (yes-or-no-p |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
235 (format "Replace %d items at %d places in %d files? " |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
236 (length translate-alist) n (length files))) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
237 (progn |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
238 (let ((inhibit-quit t)) ;; Do not disturb... |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
239 (reftex-translate |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
240 files search-re translate-alist error-fmt nil) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
241 (setq quit-flag nil)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
242 (if (and (reftex-is-multi) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
243 (yes-or-no-p "Save entire document? ")) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
244 (reftex-save-all-document-buffers)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
245 ;; Rescan again... |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
246 (reftex-access-scan-info 1) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
247 (message "Done replacing simple labels.")) |
25280 | 248 (message "No replacements done")))) |
249 | |
250 (defun reftex-translate (files search-re translate-alist error-fmt test) | |
251 ;; In FILES, look for SEARCH-RE and replace match 1 of it with | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
252 ;; its association in TRANSLATE-ALSIT. |
25280 | 253 ;; If we do not find an association and TEST is non-nil, query |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
254 ;; to ignore the problematic string. |
25280 | 255 ;; If TEST is nil, it is ignored without query. |
256 ;; Return the number of replacements. | |
257 (let ((n 0) file label match-data buf macro pos cell) | |
258 (while (setq file (pop files)) | |
259 (setq buf (reftex-get-file-buffer-force file)) | |
260 (unless buf | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
261 (error "No such file %s" file)) |
25280 | 262 (set-buffer buf) |
263 (save-excursion | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
264 (save-restriction |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
265 (widen) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
266 (goto-char (point-min)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
267 (while (re-search-forward search-re nil t) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
268 (backward-char) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
269 (save-excursion |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
270 (setq label (reftex-match-string 1) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
271 cell (assoc label translate-alist) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
272 match-data (match-data) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
273 macro (reftex-what-macro 1) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
274 pos (cdr macro)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
275 (goto-char (or pos (point))) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
276 (when (and macro |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
277 (or (looking-at "\\\\ref") |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
278 (looking-at "\\\\[a-zA-Z]*ref\\(range\\)?[^a-zA-Z]") |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
279 (looking-at "\\\\ref[a-zA-Z]*[^a-zA-Z]") |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
280 (looking-at (format |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
281 reftex-find-label-regexp-format |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
282 (regexp-quote label))))) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
283 ;; OK, we should replace it. |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
284 (set-match-data match-data) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
285 (cond |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
286 ((and test (not cell)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
287 ;; We've got a problem |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
288 (unwind-protect |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
289 (progn |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
290 (reftex-highlight 1 (match-beginning 0) (match-end 0)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
291 (ding) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
292 (or (y-or-n-p (format error-fmt label)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
293 (error "Abort"))) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
294 (reftex-unhighlight 1))) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
295 ((and test cell) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
296 (incf n)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
297 ((and (not test) cell) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
298 ;; Replace |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
299 (goto-char (match-beginning 1)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
300 (delete-region (match-beginning 1) (match-end 1)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
301 (insert (cdr cell))) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
302 (t nil)))))))) |
25280 | 303 n)) |
304 | |
305 (defun reftex-save-all-document-buffers () | |
306 "Save all documents associated with the current document. | |
307 The function is useful after a global action like replacing or renumbering | |
308 labels." | |
309 (interactive) | |
310 (let ((files (reftex-all-document-files)) | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
311 file buffer) |
25280 | 312 (save-excursion |
313 (while (setq file (pop files)) | |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
314 (setq buffer (reftex-get-buffer-visiting file)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
315 (when buffer |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
316 (set-buffer buffer) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
317 (save-buffer)))))) |
25280 | 318 |
29775
31536c6cf2e3
* textmodes/reftex.el (reftex-find-citation-regexp-format):
Carsten Dominik <dominik@science.uva.nl>
parents:
27603
diff
changeset
|
319 (defun reftex-ensure-write-access (files) |
31536c6cf2e3
* textmodes/reftex.el (reftex-find-citation-regexp-format):
Carsten Dominik <dominik@science.uva.nl>
parents:
27603
diff
changeset
|
320 "Make sure we have write access to all files in FILES. |
31536c6cf2e3
* textmodes/reftex.el (reftex-find-citation-regexp-format):
Carsten Dominik <dominik@science.uva.nl>
parents:
27603
diff
changeset
|
321 Also checks if buffers visiting the files are in read-only mode." |
31536c6cf2e3
* textmodes/reftex.el (reftex-find-citation-regexp-format):
Carsten Dominik <dominik@science.uva.nl>
parents:
27603
diff
changeset
|
322 (let (file buf) |
31536c6cf2e3
* textmodes/reftex.el (reftex-find-citation-regexp-format):
Carsten Dominik <dominik@science.uva.nl>
parents:
27603
diff
changeset
|
323 (while (setq file (pop files)) |
31536c6cf2e3
* textmodes/reftex.el (reftex-find-citation-regexp-format):
Carsten Dominik <dominik@science.uva.nl>
parents:
27603
diff
changeset
|
324 (unless (file-exists-p file) |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
325 (ding) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
326 (or (y-or-n-p (format "No such file %s. Continue? " file)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
327 (error "Abort"))) |
29775
31536c6cf2e3
* textmodes/reftex.el (reftex-find-citation-regexp-format):
Carsten Dominik <dominik@science.uva.nl>
parents:
27603
diff
changeset
|
328 (unless (file-writable-p file) |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
329 (ding) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
330 (or (y-or-n-p (format "No write access to %s. Continue? " file)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
331 (error "Abort"))) |
29775
31536c6cf2e3
* textmodes/reftex.el (reftex-find-citation-regexp-format):
Carsten Dominik <dominik@science.uva.nl>
parents:
27603
diff
changeset
|
332 (when (and (setq buf (reftex-get-buffer-visiting file)) |
52170
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
333 (save-excursion |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
334 (set-buffer buf) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
335 buffer-read-only)) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
336 (ding) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
337 (or (y-or-n-p (format "Buffer %s is read-only. Continue? " |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
338 (buffer-name buf))) |
27340819ef07
Updated to version 4.21
Carsten Dominik <dominik@science.uva.nl>
parents:
49599
diff
changeset
|
339 (error "Abort")))))) |
25280 | 340 |
59736
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
341 (defun reftex-isearch-wrap-function () |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
342 (if (not isearch-word) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
343 (switch-to-buffer |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
344 (funcall isearch-next-buffer-function (current-buffer) t))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
345 (goto-char (if isearch-forward (point-min) (point-max)))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
346 |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
347 (defun reftex-isearch-push-state-function () |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
348 `(lambda (cmd) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
349 (reftex-isearch-pop-state-function cmd ,(current-buffer)))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
350 |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
351 (defun reftex-isearch-pop-state-function (cmd buffer) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
352 (switch-to-buffer buffer)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
353 |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
354 (defun reftex-isearch-isearch-search (string bound noerror) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
355 (let ((nxt-buff nil) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
356 (search-fun |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
357 (cond |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
358 (isearch-word |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
359 (if isearch-forward 'word-search-forward 'word-search-backward)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
360 (isearch-regexp |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
361 (if isearch-forward 're-search-forward 're-search-backward)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
362 (t |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
363 (if isearch-forward 'search-forward 'search-backward))))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
364 (or |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
365 (funcall search-fun string bound noerror) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
366 (unless bound |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
367 (condition-case nil |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
368 (when isearch-next-buffer-function |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
369 (while (not (funcall search-fun string bound noerror)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
370 (cond |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
371 (isearch-forward |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
372 (setq nxt-buff |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
373 (funcall isearch-next-buffer-function |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
374 (current-buffer))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
375 (if (not nxt-buff) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
376 (progn |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
377 (error "Wrap forward")) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
378 (switch-to-buffer nxt-buff) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
379 (goto-char (point-min)))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
380 (t |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
381 (setq nxt-buff |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
382 (funcall isearch-next-buffer-function |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
383 (current-buffer))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
384 (if (not nxt-buff) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
385 (progn |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
386 (error "Wrap backward")) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
387 (switch-to-buffer nxt-buff) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
388 (goto-char (point-max)))))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
389 (point)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
390 (error nil)))))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
391 |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
392 ;;; This function is called when isearch reaches the end of a |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
393 ;;; buffer. For reftex what we want to do is not wrap to the |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
394 ;;; beginning, but switch to the next buffer in the logical order of |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
395 ;;; the document. This function looks through list of files in the |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
396 ;;; document (reftex-all-document-files), searches for the current |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
397 ;;; buffer and switches to the next/previous one in the logical order |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
398 ;;; of the document. If WRAPP is true then wrap the search to the |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
399 ;;; beginning/end of the file list, depending of the search direction. |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
400 (defun reftex-isearch-switch-to-next-file (crt-buf &optional wrapp) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
401 (reftex-access-scan-info) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
402 (let* ((cb (buffer-file-name crt-buf)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
403 (flist (reftex-all-document-files)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
404 (orig-flist flist)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
405 (when flist |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
406 (if wrapp |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
407 (unless isearch-forward |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
408 (setq flist (last flist))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
409 (unless isearch-forward |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
410 (setq flist (nreverse (copy-list flist))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
411 (setq orig-flist flist)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
412 (while (not (string= (car flist) cb)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
413 (setq flist (cdr flist))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
414 (setq flist (cdr flist))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
415 (when flist |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
416 (find-file (car flist)))))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
417 |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
418 ;;;###autoload |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
419 (defvar reftex-isearch-minor-mode nil) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
420 (make-variable-buffer-local 'reftex-isearch-minor-mode) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
421 |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
422 ;;;###autoload |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
423 (defun reftex-isearch-minor-mode (&optional arg) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
424 "When on, isearch searches the whole document, not only the current file. |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
425 This minor mode allows isearch to search through all the files of |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
426 the current TeX document. |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
427 |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
428 With no argument, this command toggles |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
429 `reftex-isearch-minor-mode'. With a prefix argument ARG, turn |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
430 `reftex-isearch-minor-mode' on iff ARG is positive." |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
431 (interactive "P") |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
432 (let ((old-reftex-isearch-minor-mode reftex-isearch-minor-mode)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
433 (setq reftex-isearch-minor-mode |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
434 (not (or (and (null arg) reftex-isearch-minor-mode) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
435 (<= (prefix-numeric-value arg) 0)))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
436 (unless (eq reftex-isearch-minor-mode old-reftex-isearch-minor-mode) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
437 (if reftex-isearch-minor-mode |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
438 (progn |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
439 (dolist (crt-buf (buffer-list)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
440 (with-current-buffer crt-buf |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
441 (when reftex-mode |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
442 (set (make-local-variable 'isearch-wrap-function) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
443 'reftex-isearch-wrap-function) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
444 (set (make-local-variable 'isearch-search-fun-function) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
445 (lambda () 'reftex-isearch-isearch-search)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
446 (set (make-local-variable 'isearch-push-state-function) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
447 'reftex-isearch-push-state-function) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
448 (set (make-local-variable 'isearch-next-buffer-function) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
449 'reftex-isearch-switch-to-next-file) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
450 (setq reftex-isearch-minor-mode t)))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
451 (add-hook 'reftex-mode-hook 'reftex-isearch-minor-mode)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
452 (dolist (crt-buf (buffer-list)) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
453 (with-current-buffer crt-buf |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
454 (when reftex-mode |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
455 (kill-local-variable 'isearch-wrap-function) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
456 (kill-local-variable 'isearch-search-fun-function) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
457 (kill-local-variable 'isearch-push-state-function) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
458 (kill-local-variable 'isearch-next-buffer-function) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
459 (setq reftex-isearch-minor-mode nil)))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
460 (remove-hook 'reftex-mode-hook 'reftex-isearch-minor-mode))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
461 ;; Force modeline redisplay. |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
462 (set-buffer-modified-p (buffer-modified-p)))) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
463 |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
464 (add-minor-mode 'reftex-isearch-minor-mode "/I" nil nil |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
465 'reftex-isearch-minor-mode) |
fc3483d0f93e
* textmodes/reftex-global.el (reftex-isearch-push-state-function)
Carsten Dominik <dominik@science.uva.nl>
parents:
59534
diff
changeset
|
466 |
52401 | 467 ;;; arch-tag: 2dbf7633-92c8-4340-8656-7aa019d0f80d |
25280 | 468 ;;; reftex-global.el ends here |