annotate lisp/autorevert.el @ 54119:91cc4f9686bc

*** empty log message ***
author Luc Teirlinck <teirllm@auburn.edu>
date Sat, 21 Feb 2004 18:24:22 +0000
parents d2d55f9f67e7
children b0a078151291
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
38436
b174db545cfd Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents: 36992
diff changeset
1 ;;; autorevert.el --- revert buffers when files on disk change
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2
36992
55fdf25cbb27 (global-auto-revert-non-file-buffers): Remove
Gerd Moellmann <gerd@gnu.org>
parents: 27574
diff changeset
3 ;; Copyright (C) 1997, 1998, 1999, 2001 Free Software Foundation, Inc.
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4
26673
f649f6c04a54 (auto-revert-buffers): Auto-revert mode was turned
Gerd Moellmann <gerd@gnu.org>
parents: 26097
diff changeset
5 ;; Author: Anders Lindgren <andersl@andersl.com>
22250
a77d473867b8 *** empty log message ***
Dan Nicolaescu <done@ece.arizona.edu>
parents: 21289
diff changeset
6 ;; Keywords: convenience
26673
f649f6c04a54 (auto-revert-buffers): Auto-revert mode was turned
Gerd Moellmann <gerd@gnu.org>
parents: 26097
diff changeset
7 ;; Created: 1997-06-01
f649f6c04a54 (auto-revert-buffers): Auto-revert mode was turned
Gerd Moellmann <gerd@gnu.org>
parents: 26097
diff changeset
8 ;; Date: 1999-11-30
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 ;; This file is part of GNU Emacs.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; GNU Emacs is free software; you can redistribute it and/or modify
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; it under the terms of the GNU General Public License as published by
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; the Free Software Foundation; either version 2, or (at your option)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;; any later version.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; GNU Emacs is distributed in the hope that it will be useful,
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;; GNU General Public License for more details.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 ;; You should have received a copy of the GNU General Public License
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 ;; along with GNU Emacs; see the file COPYING. If not, write to the
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 ;; Boston, MA 02111-1307, USA.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 ;;; Commentary:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 ;; Introduction:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 ;;
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 ;; Whenever a file that Emacs is editing has been changed by another
21288
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
32 ;; program the user normally has to execute the command `revert-buffer'
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 ;; to load the new content of the file into Emacs.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 ;;
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 ;; This package contains two minor modes: Global Auto-Revert Mode and
21288
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
36 ;; Auto-Revert Mode. Both modes automatically revert buffers
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 ;; whenever the corresponding files have been changed on disk.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 ;;
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 ;; Auto-Revert Mode can be activated for individual buffers.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 ;; Global Auto-Revert Mode applies to all file buffers.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 ;;
21288
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
42 ;; Both modes operate by checking the time stamp of all files at
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
43 ;; intervals of `auto-revert-interval'. The default is every five
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
44 ;; seconds. The check is aborted whenever the user actually uses
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
45 ;; Emacs. You should never even notice that this package is active
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
46 ;; (except that your buffers will be reverted, of course).
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 ;; Usage:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 ;;
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 ;; Go to the appropriate buffer and press:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 ;; M-x auto-revert-mode RET
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 ;;
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 ;; To activate Global Auto-Revert Mode, press:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 ;; M-x global-auto-revert-mode RET
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 ;;
21288
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
56 ;; To activate Global Auto-Revert Mode every time Emacs is started
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
57 ;; customise the option `global-auto-revert-mode' or the following
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
58 ;; line could be added to your ~/.emacs:
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 ;; (global-auto-revert-mode 1)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 ;;
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 ;; The function `turn-on-auto-revert-mode' could be added to any major
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 ;; mode hook to activate Auto-Revert Mode for all buffers in that
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 ;; mode. For example, the following line will activate Auto-Revert
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 ;; Mode in all C mode buffers:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 ;;
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 ;; (add-hook 'c-mode-hook 'turn-on-auto-revert-mode)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 ;;; Code:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 ;; Dependencies:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 (require 'timer)
53984
73f78af624f2 (auto-revert-dired-file-list): added missing variable `file' to `let'.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53980
diff changeset
73 (autoload 'dired-get-filename "dired")
53986
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
74 (autoload 'vc-workfile-version "vc-hooks")
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
75 (autoload 'vc-mode-line "vc-hooks")
53984
73f78af624f2 (auto-revert-dired-file-list): added missing variable `file' to `let'.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53980
diff changeset
76
73f78af624f2 (auto-revert-dired-file-list): added missing variable `file' to `let'.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53980
diff changeset
77 (eval-when-compile
73f78af624f2 (auto-revert-dired-file-list): added missing variable `file' to `let'.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53980
diff changeset
78 (defvar dired-directory)
53986
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
79 (defvar vc-mode)
53984
73f78af624f2 (auto-revert-dired-file-list): added missing variable `file' to `let'.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53980
diff changeset
80 (require 'cl))
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 ;; Custom Group:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 ;;
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 ;; The two modes will be placed next to Auto Save Mode under the
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 ;; Files group under Emacs.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88 (defgroup auto-revert nil
21288
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
89 "Revert individual buffers when files on disk change.
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 Auto-Revert Mode can be activated for individual buffer.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 Global Auto-Revert Mode applies to all buffers."
22250
a77d473867b8 *** empty log message ***
Dan Nicolaescu <done@ece.arizona.edu>
parents: 21289
diff changeset
93 :group 'files
a77d473867b8 *** empty log message ***
Dan Nicolaescu <done@ece.arizona.edu>
parents: 21289
diff changeset
94 :group 'convenience)
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 ;; Variables:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98
25215
5d684a6517db (auto-revert-mode): Add autoload cookie.
Dave Love <fx@gnu.org>
parents: 22388
diff changeset
99 ;; Autoload for the benefit of `make-mode-line-mouse-sensitive'.
5d684a6517db (auto-revert-mode): Add autoload cookie.
Dave Love <fx@gnu.org>
parents: 22388
diff changeset
100 ;;;###autoload
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 (defvar auto-revert-mode nil
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 "*Non-nil when Auto-Revert Mode is active.
44456
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
103 Never set this variable directly, use the command `auto-revert-mode' instead.")
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
104 (put 'auto-revert-mode 'permanent-local t)
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 (defcustom auto-revert-interval 5
53379
cd6072a24608 (auto-revert-interval): Doc fix.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 52401
diff changeset
107 "Time, in seconds, between Auto-Revert Mode file checks.
cd6072a24608 (auto-revert-interval): Doc fix.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 52401
diff changeset
108 Setting this variable has no effect on buffers that are already in
cd6072a24608 (auto-revert-interval): Doc fix.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 52401
diff changeset
109 auto-revert-mode; it only affects buffers that are put into
cd6072a24608 (auto-revert-interval): Doc fix.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 52401
diff changeset
110 auto-revert-mode afterwards."
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 :group 'auto-revert
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 :type 'integer)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 (defcustom auto-revert-stop-on-user-input t
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 "When non-nil Auto-Revert Mode stops checking files on user input."
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 :group 'auto-revert
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 :type 'boolean)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 (defcustom auto-revert-verbose t
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 "When nil, Auto-Revert Mode will not generate any messages.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 Currently, messages are generated when the mode is activated or
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 deactivated, and whenever a file is reverted."
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 :group 'auto-revert
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 :type 'boolean)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 (defcustom auto-revert-mode-text " ARev"
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 "String to display in the mode line when Auto-Revert Mode is active.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 \(When the string is not empty, make sure that it has a leading space.)"
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 :tag "Auto Revert Mode Text" ; To separate it from `global-...'
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 :group 'auto-revert
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 :type 'string)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 (defcustom auto-revert-mode-hook nil
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 "Functions to run when Auto-Revert Mode is activated."
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137 :tag "Auto Revert Mode Hook" ; To separate it from `global-...'
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 :group 'auto-revert
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 :type 'hook)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 (defcustom global-auto-revert-mode-text ""
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 "String to display when Global Auto-Revert Mode is active.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 The default is nothing since when this mode is active this text doesn't
21288
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
145 vary over time, or between buffers. Hence mode line text
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 would only waste precious space."
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 :group 'auto-revert
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 :type 'string)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 (defcustom global-auto-revert-mode-hook nil
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 "Hook called when Global Auto-Revert Mode is activated."
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 :group 'auto-revert
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 :type 'hook)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 (defcustom global-auto-revert-non-file-buffers nil
44456
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
156 "When nil only file buffers are reverted by Global Auto-Revert Mode.
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 When non-nil, both file buffers and buffers with a custom
44456
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
159 `revert-buffer-function' are reverted by Global Auto-Revert Mode.
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
160
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
161 Use this option with care since it could lead to excessive reverts."
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 :group 'auto-revert
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 :type 'boolean)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 (defcustom global-auto-revert-ignore-modes '()
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 "List of major modes Global Auto-Revert Mode should not check."
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 :group 'auto-revert
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 :type '(repeat sexp))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 (defcustom auto-revert-load-hook nil
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 "Functions to run when Auto-Revert Mode is first loaded."
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 :tag "Load Hook"
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 :group 'auto-revert
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 :type 'hook)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 (defvar global-auto-revert-ignore-buffer nil
20648
b644667dcd19 (global-auto-revert-ignore-buffer): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 18597
diff changeset
177 "*When non-nil, Global Auto-Revert Mode will not revert this buffer.
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178
21288
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
179 This variable becomes buffer local when set in any fashion.")
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 (make-variable-buffer-local 'global-auto-revert-ignore-buffer)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 ;; Internal variables:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 (defvar auto-revert-buffer-list '()
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 "List of buffers in Auto-Revert Mode.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 Note that only Auto-Revert Mode, never Global Auto-Revert Mode, adds
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 buffers to this list.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 The timer function `auto-revert-buffers' is responsible for purging
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 the list of old buffers.")
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194 (defvar auto-revert-timer nil
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195 "Timer used by Auto-Revert Mode.")
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 (defvar auto-revert-remaining-buffers '()
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 "Buffers not checked when user input stopped execution.")
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 ;; Functions:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 ;;;###autoload
44456
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
204 (define-minor-mode auto-revert-mode
21288
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
205 "Toggle reverting buffer when file on disk changes.
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206
21288
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
207 With arg, turn Auto Revert mode on if and only if arg is positive.
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
208 This is a minor mode that affects only the current buffer.
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 Use `global-auto-revert-mode' to automatically revert all buffers."
44456
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
210 nil auto-revert-mode-text nil
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 (if auto-revert-mode
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 (if (not (memq (current-buffer) auto-revert-buffer-list))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213 (push (current-buffer) auto-revert-buffer-list))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 (setq auto-revert-buffer-list
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 (delq (current-buffer) auto-revert-buffer-list)))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 (auto-revert-set-timer)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 (when auto-revert-mode
44456
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
218 (auto-revert-buffers)))
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 ;;;###autoload
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 (defun turn-on-auto-revert-mode ()
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 "Turn on Auto-Revert Mode.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 This function is designed to be added to hooks, for example:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 (add-hook 'c-mode-hook 'turn-on-auto-revert-mode)"
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 (auto-revert-mode 1))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 ;;;###autoload
44456
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
231 (define-minor-mode global-auto-revert-mode
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 "Revert any buffer when file on disk change.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233
21288
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
234 With arg, turn Auto Revert mode on globally if and only if arg is positive.
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
235 This is a minor mode that affects all buffers.
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 Use `auto-revert-mode' to revert a particular buffer."
44456
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
237 :global t :group 'auto-revert :lighter global-auto-revert-mode-text
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 (auto-revert-set-timer)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 (when global-auto-revert-mode
44456
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
240 (auto-revert-buffers)))
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 (defun auto-revert-set-timer ()
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 "Restart or cancel the timer."
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 (if (timerp auto-revert-timer)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 (cancel-timer auto-revert-timer))
44456
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
247 (setq auto-revert-timer
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
248 (if (or global-auto-revert-mode auto-revert-buffer-list)
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
249 (run-with-timer auto-revert-interval
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
250 auto-revert-interval
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
251 'auto-revert-buffers)
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
252 nil)))
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253
53980
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
254 (defun auto-revert-active-p ()
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
255 "Check if auto-revert is active (in current buffer or globally)."
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
256 (or auto-revert-mode
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
257 (and
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
258 global-auto-revert-mode
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
259 (not global-auto-revert-ignore-buffer)
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
260 (not (memq major-mode
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
261 global-auto-revert-ignore-modes)))))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
262
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
263 (defun auto-revert-list-diff (a b)
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
264 "Check if strings in list A differ from list B."
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
265 (when (and a b)
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
266 (setq a (sort a 'string-lessp))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
267 (setq b (sort b 'string-lessp))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
268 (let (elt1 elt2)
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
269 (catch 'break
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
270 (while (and (setq elt1 (and a (pop a)))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
271 (setq elt2 (and b (pop b))))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
272 (if (not (string= elt1 elt2))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
273 (throw 'break t)))))))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
274
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
275 (defun auto-revert-dired-file-list ()
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
276 "Return list of dired files."
53984
73f78af624f2 (auto-revert-dired-file-list): added missing variable `file' to `let'.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53980
diff changeset
277 (let (file list)
53980
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
278 (save-excursion
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
279 (goto-char (point-min))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
280 (while (not (eobp))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
281 (if (setq file (dired-get-filename t t))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
282 (push file list))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
283 (forward-line 1)))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
284 list))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
285
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
286 (defun auto-revert-dired-changed-p ()
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
287 "Check if dired buffer has changed."
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
288 (when (and (stringp dired-directory)
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
289 ;; Exclude remote buffers, would be too slow for user
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
290 ;; modem, timeouts, network lag ... all is possible
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
291 (not (string-match "@" dired-directory))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
292 (file-directory-p dired-directory))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
293 (let ((files (directory-files dired-directory))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
294 (dired (auto-revert-dired-file-list)))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
295 (or (not (eq (length files) (length dired)))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
296 (auto-revert-list-diff files dired)))))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
297
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
298 (defun auto-revert-buffer-p ()
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
299 "Check if current buffer should be reverted."
54045
d2d55f9f67e7 (auto-revert-buffer-p): Only revert dired buffers if one of
Luc Teirlinck <teirllm@auburn.edu>
parents: 53986
diff changeset
300 ;; - Always include dired buffers to list. It would be too expensive
53980
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
301 ;; to test the "revert" status here each time timer launches.
53986
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
302 ;; - Same for VC buffers.
54045
d2d55f9f67e7 (auto-revert-buffer-p): Only revert dired buffers if one of
Luc Teirlinck <teirllm@auburn.edu>
parents: 53986
diff changeset
303 (or (and (eq major-mode 'dired-mode)
d2d55f9f67e7 (auto-revert-buffer-p): Only revert dired buffers if one of
Luc Teirlinck <teirllm@auburn.edu>
parents: 53986
diff changeset
304 (or (and global-auto-revert-mode
d2d55f9f67e7 (auto-revert-buffer-p): Only revert dired buffers if one of
Luc Teirlinck <teirllm@auburn.edu>
parents: 53986
diff changeset
305 global-auto-revert-non-file-buffers)
d2d55f9f67e7 (auto-revert-buffer-p): Only revert dired buffers if one of
Luc Teirlinck <teirllm@auburn.edu>
parents: 53986
diff changeset
306 auto-revert-mode))
53980
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
307 (and (not (buffer-modified-p))
53986
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
308 (auto-revert-vc-buffer-p))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
309 (and (not (buffer-modified-p))
53980
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
310 (if (buffer-file-name)
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
311 (and (file-readable-p (buffer-file-name))
53984
73f78af624f2 (auto-revert-dired-file-list): added missing variable `file' to `let'.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53980
diff changeset
312 (not (verify-visited-file-modtime (current-buffer))))
53980
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
313 (and revert-buffer-function
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
314 (or (and global-auto-revert-mode
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
315 global-auto-revert-non-file-buffers)
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
316 auto-revert-mode))))))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
317
53986
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
318 (defun auto-revert-vc-cvs-file-version (file)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
319 "Get version of FILE by reading control file on disk."
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
320 (let* ((control "CVS/Entries")
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
321 (name (file-name-nondirectory file))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
322 (path (format "%s/%s"
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
323 (file-name-directory file)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
324 control)))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
325 (when (file-exists-p path)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
326 (with-temp-buffer
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
327 (insert-file-contents-literally path)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
328 (goto-char (point-min))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
329 (when (re-search-forward
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
330 ;; /file.txt/1.3/Mon Sep 15 18:43:20 2003//
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
331 (format "%s/\\([.0-9]+\\)" (regexp-quote name))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
332 nil t)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
333 (match-string 1))))))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
334
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
335 (defun auto-revert-vc-buffer-p ()
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
336 "Check if buffer is version controlled."
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
337 (and (boundp 'vc-mode)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
338 (string-match "[0-9]" (or vc-mode ""))))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
339
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
340 (defun auto-revert-handler-vc ()
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
341 "Check if version controlled buffer needs revert."
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
342 ;; [Emacs 1]
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
343 ;; 1. File is saved (*)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
344 ;; 2. checkin is done 1.1 -> 1.2
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
345 ;; 3. VC reverts, so that updated version number is shown in mode line
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
346 ;;
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
347 ;; Suppose the same file has been opened in another Emacs and
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
348 ;; autorevert.el is on.
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
349 ;;
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
350 ;; [Emacs 2]
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
351 ;; 1. Step (1) is detected and buffer is reverted.
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
352 ;; 2. But check in does not always change the file in dis, but possibly only
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
353 ;; control files like CVS/Entries
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
354 ;; 3. The buffer is not reverted to update VC version line.
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
355 ;; Incorrect version number 1.1 is shown in this Emacs
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
356 ;;
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
357 (when (featurep 'vc)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
358 (let* ((file (buffer-file-name))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
359 (backend (vc-backend (buffer-file-name)))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
360 (version-buffer (vc-workfile-version file)))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
361 (when (stringp version-buffer)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
362 (cond
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
363 ((eq backend 'CVS)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
364 (let ((version-file
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
365 (auto-revert-vc-cvs-file-version (buffer-file-name))))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
366 (and (stringp version-file)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
367 (not (string-match version-file version-buffer)))))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
368 ((eq backend 'RCS)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
369 ;; TODO:
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
370 ))))))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
371
53980
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
372 (defun auto-revert-handler ()
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
373 "Revert current buffer."
53986
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
374 (let (revert)
53980
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
375 (cond
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
376 ((eq major-mode 'dired-mode)
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
377 ;; Dired includes revert-buffer-function
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
378 (when (and revert-buffer-function
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
379 (auto-revert-dired-changed-p))
53986
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
380 (setq revert t)))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
381 ((auto-revert-vc-buffer-p)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
382 (when (auto-revert-handler-vc)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
383 (setq revert 'vc)))
53980
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
384 ((or (buffer-file-name)
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
385 revert-buffer-function)
53986
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
386 (setq revert t)))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
387 (when revert
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
388 (revert-buffer 'ignore-auto 'dont-ask 'preserve-modes)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
389 (if (eq revert 'vc)
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
390 (vc-mode-line buffer-file-name))
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
391 (if auto-revert-verbose
643f584fdd38 Autorevert: Add support for VC controlled files.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53984
diff changeset
392 (message "Reverting buffer `%s'." (buffer-name))))))
53980
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
393
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
394 (defun auto-revert-buffers ()
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
395 "Revert buffers as specified by Auto-Revert and Global Auto-Revert Mode.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
396
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
397 Should `global-auto-revert-mode' be active all file buffers are checked.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
398
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
399 Should `auto-revert-mode' be active in some buffers, those buffers
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
400 are checked.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
401
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
402 Non-file buffers that have a custom `revert-buffer-function' are
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
403 reverted either when Auto-Revert Mode is active in that buffer, or
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
404 when the variable `global-auto-revert-non-file-buffers' is non-nil
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
405 and Global Auto-Revert Mode is active.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
406
21288
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
407 This function stops whenever there is user input. The buffers not
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
408 checked are stored in the variable `auto-revert-remaining-buffers'.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
409
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
410 To avoid starvation, the buffers in `auto-revert-remaining-buffers'
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
411 are checked first the next time this function is called.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
412
21288
1b06a18f33fd Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents: 20648
diff changeset
413 This function is also responsible for removing buffers no longer in
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
414 Auto-Revert mode from `auto-revert-buffer-list', and for canceling
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
415 the timer when no buffers need to be checked."
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
416 (let ((bufs (if global-auto-revert-mode
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
417 (buffer-list)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
418 auto-revert-buffer-list))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
419 (remaining '())
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
420 (new '()))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
421 ;; Partition `bufs' into two halves depending on whether or not
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
422 ;; the buffers are in `auto-revert-remaining-buffers'. The two
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
423 ;; halves are then re-joined with the "remaining" buffers at the
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
424 ;; head of the list.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
425 (dolist (buf auto-revert-remaining-buffers)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
426 (if (memq buf bufs)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
427 (push buf remaining)))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
428 (dolist (buf bufs)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
429 (if (not (memq buf remaining))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
430 (push buf new)))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
431 (setq bufs (nreverse (nconc new remaining)))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
432 (while (and bufs
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
433 (not (and auto-revert-stop-on-user-input
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
434 (input-pending-p))))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
435 (let ((buf (car bufs)))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
436 (if (buffer-name buf) ; Buffer still alive?
44456
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
437 (with-current-buffer buf
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
438 ;; Test if someone has turned off Auto-Revert Mode in a
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
439 ;; non-standard way, for example by changing major mode.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
440 (if (and (not auto-revert-mode)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
441 (memq buf auto-revert-buffer-list))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
442 (setq auto-revert-buffer-list
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
443 (delq buf auto-revert-buffer-list)))
53980
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
444 (when (and (auto-revert-active-p)
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
445 (auto-revert-buffer-p))
0bcb32954b6f Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents: 53379
diff changeset
446 (auto-revert-handler)
44456
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
447 ;; `preserve-modes' avoids changing the (minor) modes. But we
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
448 ;; do want to reset the mode for VC, so we do it explicitly.
a7dbce305a53 (auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38436
diff changeset
449 (vc-find-file-hook)))
18597
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
450 ;; Remove dead buffer from `auto-revert-buffer-list'.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
451 (setq auto-revert-buffer-list
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
452 (delq buf auto-revert-buffer-list))))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
453 (setq bufs (cdr bufs)))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
454 (setq auto-revert-remaining-buffers bufs)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
455 ;; Check if we should cancel the timer.
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
456 (when (and (not global-auto-revert-mode)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
457 (null auto-revert-buffer-list))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
458 (cancel-timer auto-revert-timer)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
459 (setq auto-revert-timer nil))))
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
460
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
461
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
462 ;; The end:
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
463 (provide 'autorevert)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
464
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
465 (run-hooks 'auto-revert-load-hook)
515b7c955cd8 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
466
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 44456
diff changeset
467 ;;; arch-tag: f6bcb07b-4841-477e-9e44-b18678e58876
38436
b174db545cfd Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents: 36992
diff changeset
468 ;;; autorevert.el ends here