# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 908144223 0
# Node ID b511a32c37fdc195b797d4f21307e0ce06743119
# Parent  c9d093e48f15de4ffd9801e47c06e9fd32bd48fb
(tags-loop-revert-buffers): New variable.
(next-file): Optionally offer to revert a file's buffer,
if it has an existing buffer but the file has changed.

diff -r c9d093e48f15 -r b511a32c37fd lisp/progmodes/etags.el
--- a/lisp/progmodes/etags.el	Sun Oct 11 12:47:19 1998 +0000
+++ b/lisp/progmodes/etags.el	Sun Oct 11 22:17:03 1998 +0000
@@ -1348,6 +1348,15 @@
       (and (search-forward "\177" (save-excursion (end-of-line) (point)) t)
 	   (re-search-backward re bol t)))))
 
+(defcustom tags-loop-revert-buffers nil
+  "*Non-nil means tags-scanning loops should offer to reread changed files.
+These loops normally read each file into Emacs, but when a file
+is already visited, they use the existing buffer.
+When this flag is non-nil, they offer to revert the existing buffer
+in the case where the file has changed since you visited it."
+  :type 'boolean
+  :group 'etags)
+
 ;;;###autoload
 (defun next-file (&optional initialize novisit)
   "Select next file among files in current tags table.
@@ -1398,10 +1407,17 @@
 	 (kill-buffer " *next-file*"))
     (error "All files processed"))
   (let* ((next (car next-file-list))
-	 (new (not (get-file-buffer next))))
+	 (buffer (get-file-buffer next))
+	 (new (not buffer)))
     ;; Advance the list before trying to find the file.
     ;; If we get an error finding the file, don't get stuck on it.
     (setq next-file-list (cdr next-file-list))
+    ;; Optionally offer to revert buffers
+    ;; if the files have changed on disk.
+    (and buffer tags-loop-revert-buffers
+	 (not (verify-visited-file-modtime buffer))
+	 (with-current-buffer buffer
+	   (revert-buffer t)))
     (if (not (and new novisit))
 	(set-buffer (find-file-noselect next novisit))
       ;; Like find-file, but avoids random warning messages.