Mercurial > emacs
annotate lisp/autorevert.el @ 103893:c75839749e65
* simple.el (deactivate-mark): Optional argument FORCE.
(set-mark): Use deactivate-mark.
* info.el (Info-search): No need to check transient-mark-mode
before calling deactivate-mark.
* select.el (x-set-selection): Doc fix.
(x-valid-simple-selection-p): Allow buffer values.
(xselect--selection-bounds): Handle buffer values. Suggested by
David De La Harpe Golden.
* mouse.el (mouse-set-region, mouse-drag-track): Call
copy-region-as-kill before setting the mark, to let
select-active-regions work.
* simple.el (deactivate-mark): If select-active-regions is
non-nil, copy the selection data into a string.
(activate-mark): If select-active-regions is non-nil, set the
selection to the current buffer.
(set-mark): Update selection if select-active-regions is non-nil.
* select.el (x-valid-simple-selection-p): Allow buffer values.
author | Chong Yidong <cyd@stupidchicken.com> |
---|---|
date | Wed, 15 Jul 2009 01:25:32 +0000 |
parents | 3e9859a4c097 |
children | 5170ba97b7f8 |
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 | 2 |
64762
41bb365f41c4
Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
64091
diff
changeset
|
3 ;; Copyright (C) 1997, 1998, 1999, 2001, 2002, 2003, 2004, |
100908 | 4 ;; 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc. |
18597 | 5 |
26673
f649f6c04a54
(auto-revert-buffers): Auto-revert mode was turned
Gerd Moellmann <gerd@gnu.org>
parents:
26097
diff
changeset
|
6 ;; Author: Anders Lindgren <andersl@andersl.com> |
22250
a77d473867b8
*** empty log message ***
Dan Nicolaescu <done@ece.arizona.edu>
parents:
21289
diff
changeset
|
7 ;; Keywords: convenience |
26673
f649f6c04a54
(auto-revert-buffers): Auto-revert mode was turned
Gerd Moellmann <gerd@gnu.org>
parents:
26097
diff
changeset
|
8 ;; Created: 1997-06-01 |
f649f6c04a54
(auto-revert-buffers): Auto-revert mode was turned
Gerd Moellmann <gerd@gnu.org>
parents:
26097
diff
changeset
|
9 ;; Date: 1999-11-30 |
18597 | 10 |
11 ;; This file is part of GNU Emacs. | |
12 | |
94678
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93216
diff
changeset
|
13 ;; GNU Emacs is free software: you can redistribute it and/or modify |
18597 | 14 ;; it under the terms of the GNU General Public License as published by |
94678
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93216
diff
changeset
|
15 ;; the Free Software Foundation, either version 3 of the License, or |
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93216
diff
changeset
|
16 ;; (at your option) any later version. |
18597 | 17 |
18 ;; GNU Emacs is distributed in the hope that it will be useful, | |
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
21 ;; GNU General Public License for more details. | |
22 | |
23 ;; You should have received a copy of the GNU General Public License | |
94678
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93216
diff
changeset
|
24 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
18597 | 25 |
26 ;;; Commentary: | |
27 | |
28 ;; Introduction: | |
29 ;; | |
30 ;; 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
|
31 ;; program the user normally has to execute the command `revert-buffer' |
18597 | 32 ;; to load the new content of the file into Emacs. |
33 ;; | |
34 ;; 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
|
35 ;; Auto-Revert Mode. Both modes automatically revert buffers |
56463
e86e7a1eccac
Describe `Auto Revert Tail Mode' in `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56415
diff
changeset
|
36 ;; whenever the corresponding files have been changed on disk and the |
e86e7a1eccac
Describe `Auto Revert Tail Mode' in `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56415
diff
changeset
|
37 ;; buffer contains no unsaved changes. |
18597 | 38 ;; |
55867
5514ad802f6b
Update `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
55779
diff
changeset
|
39 ;; Auto-Revert Mode can be activated for individual buffers. Global |
5514ad802f6b
Update `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
55779
diff
changeset
|
40 ;; Auto-Revert Mode applies to all file buffers. (If the user option |
5514ad802f6b
Update `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
55779
diff
changeset
|
41 ;; `global-auto-revert-non-file-buffers' is non-nil, it also applies |
5514ad802f6b
Update `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
55779
diff
changeset
|
42 ;; to some non-file buffers. This option is disabled by default.) |
5514ad802f6b
Update `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
55779
diff
changeset
|
43 ;; Since checking a remote file is too slow, these modes do not check |
5514ad802f6b
Update `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
55779
diff
changeset
|
44 ;; or revert remote files. |
18597 | 45 ;; |
21288
1b06a18f33fd
Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents:
20648
diff
changeset
|
46 ;; 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
|
47 ;; 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
|
48 ;; 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
|
49 ;; 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
|
50 ;; (except that your buffers will be reverted, of course). |
54709
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
51 ;; |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
52 ;; After reverting a file buffer, Auto Revert Mode normally puts point |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
53 ;; at the same position that a regular manual revert would. However, |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
54 ;; there is one exception to this rule. If point is at the end of the |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
55 ;; buffer before reverting, it stays at the end. Similarly if point |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
56 ;; is displayed at the end of a file buffer in any window, it will stay |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
57 ;; at the end of the buffer in that window, even if the window is not |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
58 ;; selected. This way, you can use Auto Revert Mode to `tail' a file. |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
59 ;; Just put point at the end of the buffer and it will stay there. |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
60 ;; These rules apply to file buffers. For non-file buffers, the |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
61 ;; behavior may be mode dependent. |
56463
e86e7a1eccac
Describe `Auto Revert Tail Mode' in `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56415
diff
changeset
|
62 ;; |
e86e7a1eccac
Describe `Auto Revert Tail Mode' in `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56415
diff
changeset
|
63 ;; While you can use Auto Revert Mode to tail a file, this package |
e86e7a1eccac
Describe `Auto Revert Tail Mode' in `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56415
diff
changeset
|
64 ;; contains a third minor mode, Auto Revert Tail Mode, which does so |
e86e7a1eccac
Describe `Auto Revert Tail Mode' in `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56415
diff
changeset
|
65 ;; more efficiently, as long as you are sure that the file will only |
e86e7a1eccac
Describe `Auto Revert Tail Mode' in `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56415
diff
changeset
|
66 ;; change by growing at the end. It only appends the new output, |
e86e7a1eccac
Describe `Auto Revert Tail Mode' in `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56415
diff
changeset
|
67 ;; instead of reverting the entire buffer. It does so even if the |
e86e7a1eccac
Describe `Auto Revert Tail Mode' in `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56415
diff
changeset
|
68 ;; buffer contains unsaved changes. (Because they will not be lost.) |
18597 | 69 |
70 ;; Usage: | |
71 ;; | |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
72 ;; Go to the appropriate buffer and press either of: |
18597 | 73 ;; M-x auto-revert-mode RET |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
74 ;; M-x auto-revert-tail-mode RET |
18597 | 75 ;; |
76 ;; To activate Global Auto-Revert Mode, press: | |
77 ;; M-x global-auto-revert-mode RET | |
78 ;; | |
21288
1b06a18f33fd
Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents:
20648
diff
changeset
|
79 ;; 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
|
80 ;; 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
|
81 ;; line could be added to your ~/.emacs: |
18597 | 82 ;; (global-auto-revert-mode 1) |
83 ;; | |
84 ;; The function `turn-on-auto-revert-mode' could be added to any major | |
85 ;; mode hook to activate Auto-Revert Mode for all buffers in that | |
86 ;; mode. For example, the following line will activate Auto-Revert | |
87 ;; Mode in all C mode buffers: | |
88 ;; | |
89 ;; (add-hook 'c-mode-hook 'turn-on-auto-revert-mode) | |
90 | |
91 ;;; Code: | |
92 | |
93 ;; Dependencies: | |
94 | |
95 (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
|
96 |
54671
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
97 (eval-when-compile (require 'cl)) |
18597 | 98 |
99 | |
100 ;; Custom Group: | |
101 ;; | |
102 ;; The two modes will be placed next to Auto Save Mode under the | |
103 ;; Files group under Emacs. | |
104 | |
105 (defgroup auto-revert nil | |
21288
1b06a18f33fd
Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents:
20648
diff
changeset
|
106 "Revert individual buffers when files on disk change. |
18597 | 107 |
108 Auto-Revert Mode can be activated for individual buffer. | |
109 Global Auto-Revert Mode applies to all buffers." | |
22250
a77d473867b8
*** empty log message ***
Dan Nicolaescu <done@ece.arizona.edu>
parents:
21289
diff
changeset
|
110 :group 'files |
a77d473867b8
*** empty log message ***
Dan Nicolaescu <done@ece.arizona.edu>
parents:
21289
diff
changeset
|
111 :group 'convenience) |
18597 | 112 |
113 | |
114 ;; Variables: | |
115 | |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
116 ;;; What's this?: ;; Autoload for the benefit of `make-mode-line-mouse-sensitive'. |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
117 ;;; What's this?: ;;;###autoload |
18597 | 118 (defvar auto-revert-mode nil |
119 "*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
|
120 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
|
121 (put 'auto-revert-mode 'permanent-local t) |
18597 | 122 |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
123 (defvar auto-revert-tail-mode nil |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
124 "*Non-nil when Auto-Revert Tail Mode is active. |
59200
a5d9000cf1cd
(auto-revert-tail-mode): Doc fix for defvar.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57800
diff
changeset
|
125 Never set this variable directly, use the command |
a5d9000cf1cd
(auto-revert-tail-mode): Doc fix for defvar.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57800
diff
changeset
|
126 `auto-revert-tail-mode' instead.") |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
127 (put 'auto-revert-tail-mode 'permanent-local t) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
128 |
54452
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
129 (defvar auto-revert-timer nil |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
130 "Timer used by Auto-Revert Mode.") |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
131 |
18597 | 132 (defcustom auto-revert-interval 5 |
53379
cd6072a24608
(auto-revert-interval): Doc fix.
Eli Zaretskii <eliz@is.elta.co.il>
parents:
52401
diff
changeset
|
133 "Time, in seconds, between Auto-Revert Mode file checks. |
54452
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
134 The value may be an integer or floating point number. |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
135 |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
136 If a timer is already active, there are two ways to make sure |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
137 that the new value will take effect immediately. You can set |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
138 this variable through Custom or you can call the command |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
139 `auto-revert-set-timer' after setting the variable. Otherwise, |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
140 the new value will take effect the first time Auto Revert Mode |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
141 calls `auto-revert-set-timer' for internal reasons or in your |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
142 next editing session." |
18597 | 143 :group 'auto-revert |
54452
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
144 :type 'number |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
145 :set (lambda (variable value) |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
146 (set-default variable value) |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
147 (and (boundp 'auto-revert-timer) |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
148 auto-revert-timer |
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
149 (auto-revert-set-timer)))) |
18597 | 150 |
151 (defcustom auto-revert-stop-on-user-input t | |
60094
daab1497df5a
(auto-revert-stop-on-user-input, auto-revert-verbose): Doc fixes.
Luc Teirlinck <teirllm@auburn.edu>
parents:
59996
diff
changeset
|
152 "When non-nil, user input temporarily interrupts Auto-Revert Mode. |
60131
bb1a6b3a999d
(auto-revert-stop-on-user-input): Further doc fix.
Luc Teirlinck <teirllm@auburn.edu>
parents:
60118
diff
changeset
|
153 With this setting, Auto-Revert Mode checks for user input after |
60118
705006da8774
(auto-revert-stop-on-user-input): Doc fix.
Luc Teirlinck <teirllm@auburn.edu>
parents:
60094
diff
changeset
|
154 handling each buffer and does not process any further buffers |
705006da8774
(auto-revert-stop-on-user-input): Doc fix.
Luc Teirlinck <teirllm@auburn.edu>
parents:
60094
diff
changeset
|
155 \(until the next run of the timer) if user input is available. |
705006da8774
(auto-revert-stop-on-user-input): Doc fix.
Luc Teirlinck <teirllm@auburn.edu>
parents:
60094
diff
changeset
|
156 When nil, Auto-Revert Mode checks files and reverts buffers, |
705006da8774
(auto-revert-stop-on-user-input): Doc fix.
Luc Teirlinck <teirllm@auburn.edu>
parents:
60094
diff
changeset
|
157 with quitting disabled, without paying attention to user input. |
60139
cf2460efae4d
(auto-revert-stop-on-user-input): Doc fix.
Luc Teirlinck <teirllm@auburn.edu>
parents:
60131
diff
changeset
|
158 Thus, with this setting, Emacs might be non-responsive at times." |
18597 | 159 :group 'auto-revert |
160 :type 'boolean) | |
161 | |
162 (defcustom auto-revert-verbose t | |
60094
daab1497df5a
(auto-revert-stop-on-user-input, auto-revert-verbose): Doc fixes.
Luc Teirlinck <teirllm@auburn.edu>
parents:
59996
diff
changeset
|
163 "When nil, Auto-Revert Mode does not generate any messages. |
54609
b35a0c2934f9
(auto-revert-verbose, global-auto-revert-non-file-buffers)
Luc Teirlinck <teirllm@auburn.edu>
parents:
54606
diff
changeset
|
164 When non-nil, a message is generated whenever a file is reverted." |
18597 | 165 :group 'auto-revert |
166 :type 'boolean) | |
167 | |
168 (defcustom auto-revert-mode-text " ARev" | |
169 "String to display in the mode line when Auto-Revert Mode is active. | |
170 | |
171 \(When the string is not empty, make sure that it has a leading space.)" | |
172 :tag "Auto Revert Mode Text" ; To separate it from `global-...' | |
173 :group 'auto-revert | |
174 :type 'string) | |
175 | |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
176 (defcustom auto-revert-tail-mode-text " Tail" |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
177 "String to display in the mode line when Auto-Revert Tail Mode is active. |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
178 |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
179 \(When the string is not empty, make sure that it has a leading space.)" |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
180 :group 'auto-revert |
57800
ab671a8f1ce3
(auto-revert-tail-mode-text): Add :version keyword.
Luc Teirlinck <teirllm@auburn.edu>
parents:
57602
diff
changeset
|
181 :type 'string |
59996
aac0a33f5772
Change release version from 21.4 to 22.1 throughout.
Kim F. Storm <storm@cua.dk>
parents:
59221
diff
changeset
|
182 :version "22.1") |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
183 |
18597 | 184 (defcustom auto-revert-mode-hook nil |
185 "Functions to run when Auto-Revert Mode is activated." | |
186 :tag "Auto Revert Mode Hook" ; To separate it from `global-...' | |
187 :group 'auto-revert | |
188 :type 'hook) | |
189 | |
190 (defcustom global-auto-revert-mode-text "" | |
191 "String to display when Global Auto-Revert Mode is active. | |
192 | |
193 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
|
194 vary over time, or between buffers. Hence mode line text |
18597 | 195 would only waste precious space." |
196 :group 'auto-revert | |
197 :type 'string) | |
198 | |
199 (defcustom global-auto-revert-mode-hook nil | |
200 "Hook called when Global Auto-Revert Mode is activated." | |
201 :group 'auto-revert | |
202 :type 'hook) | |
203 | |
204 (defcustom global-auto-revert-non-file-buffers nil | |
56169
c6dcd23450de
(global-auto-revert-non-file-buffers): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
56156
diff
changeset
|
205 "When nil, Global Auto-Revert mode operates only on file-visiting buffers. |
18597 | 206 |
207 When non-nil, both file buffers and buffers with a custom | |
54609
b35a0c2934f9
(auto-revert-verbose, global-auto-revert-non-file-buffers)
Luc Teirlinck <teirllm@auburn.edu>
parents:
54606
diff
changeset
|
208 `revert-buffer-function' and a `buffer-stale-function' are |
56156
698bb0e02eba
(global-auto-revert-non-file-buffers): Update docstring.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56124
diff
changeset
|
209 reverted by Global Auto-Revert mode. These include the Buffer |
103608
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
210 List buffer displayed by `buffer-menu', and Dired buffers showing |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
211 complete local directories. The Buffer List buffer reverts every |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
212 `auto-revert-interval' seconds; Dired buffers when the file list of |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
213 the main directory changes. Dired buffers do not auto-revert as |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
214 a result of changes in subdirectories, or in the contents, size, |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
215 modes, etc., of files. You may still sometimes want to revert |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
216 them manually. |
44456
a7dbce305a53
(auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
38436
diff
changeset
|
217 |
56169
c6dcd23450de
(global-auto-revert-non-file-buffers): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
56156
diff
changeset
|
218 Use this option with care since it could lead to excessive auto-reverts. |
70471
c24a99a3c600
(global-auto-revert-non-file-buffers): Point Info links to the main manual,
Eli Zaretskii <eliz@gnu.org>
parents:
68651
diff
changeset
|
219 For more information, see Info node `(emacs)Autorevert'." |
18597 | 220 :group 'auto-revert |
56124
9d0ad446b262
(global-auto-revert-non-file-buffers): Add hyperlink to emacs-xtra
Luc Teirlinck <teirllm@auburn.edu>
parents:
55867
diff
changeset
|
221 :type 'boolean |
70471
c24a99a3c600
(global-auto-revert-non-file-buffers): Point Info links to the main manual,
Eli Zaretskii <eliz@gnu.org>
parents:
68651
diff
changeset
|
222 :link '(info-link "(emacs)Autorevert")) |
18597 | 223 |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
224 (defcustom global-auto-revert-ignore-modes () |
18597 | 225 "List of major modes Global Auto-Revert Mode should not check." |
226 :group 'auto-revert | |
227 :type '(repeat sexp)) | |
228 | |
229 (defcustom auto-revert-load-hook nil | |
230 "Functions to run when Auto-Revert Mode is first loaded." | |
231 :tag "Load Hook" | |
232 :group 'auto-revert | |
233 :type 'hook) | |
234 | |
54671
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
235 (defcustom auto-revert-check-vc-info nil |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
236 "If non-nil Auto Revert Mode reliably updates version control info. |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
237 Auto Revert Mode updates version control info whenever the buffer |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
238 needs reverting, regardless of the value of this variable. |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
239 However, the version control state can change without changes to |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
240 the work file. If the change is made from the current Emacs |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
241 session, all info is updated. But if, for instance, a new |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
242 version is checked in from outside the current Emacs session, the |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
243 version control number in the mode line, as well as other version |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
244 control related information, may not be properly updated. If you |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
245 are worried about this, set this variable to a non-nil value. |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
246 |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
247 This currently works by automatically updating the version |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
248 control info every `auto-revert-interval' seconds. Nevertheless, |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
249 it should not cause excessive CPU usage on a reasonably fast |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
250 machine, if it does not apply to too many version controlled |
61013
c0725fd29477
(auto-revert-check-vc-info): Minor doc fix.
Luc Teirlinck <teirllm@auburn.edu>
parents:
60139
diff
changeset
|
251 buffers. CPU usage depends on the version control system." |
54671
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
252 :group 'auto-revert |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
253 :type 'boolean |
59996
aac0a33f5772
Change release version from 21.4 to 22.1 throughout.
Kim F. Storm <storm@cua.dk>
parents:
59221
diff
changeset
|
254 :version "22.1") |
54671
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
255 |
18597 | 256 (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
|
257 "*When non-nil, Global Auto-Revert Mode will not revert this buffer. |
18597 | 258 |
21288
1b06a18f33fd
Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents:
20648
diff
changeset
|
259 This variable becomes buffer local when set in any fashion.") |
18597 | 260 (make-variable-buffer-local 'global-auto-revert-ignore-buffer) |
261 | |
262 ;; Internal variables: | |
263 | |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
264 (defvar auto-revert-buffer-list () |
18597 | 265 "List of buffers in Auto-Revert Mode. |
266 | |
267 Note that only Auto-Revert Mode, never Global Auto-Revert Mode, adds | |
268 buffers to this list. | |
269 | |
270 The timer function `auto-revert-buffers' is responsible for purging | |
271 the list of old buffers.") | |
272 | |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
273 (defvar auto-revert-remaining-buffers () |
18597 | 274 "Buffers not checked when user input stopped execution.") |
275 | |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
276 (defvar auto-revert-tail-pos 0 |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
277 "Position of last known end of file.") |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
278 |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
279 (add-hook 'find-file-hook |
82257
8c188b53071d
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
280 (lambda () |
8c188b53071d
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
281 (set (make-local-variable 'auto-revert-tail-pos) |
8c188b53071d
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
282 (nth 7 (file-attributes buffer-file-name))))) |
18597 | 283 |
284 ;; Functions: | |
285 | |
286 ;;;###autoload | |
44456
a7dbce305a53
(auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
38436
diff
changeset
|
287 (define-minor-mode auto-revert-mode |
21288
1b06a18f33fd
Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents:
20648
diff
changeset
|
288 "Toggle reverting buffer when file on disk changes. |
18597 | 289 |
21288
1b06a18f33fd
Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents:
20648
diff
changeset
|
290 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
|
291 This is a minor mode that affects only the current buffer. |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
292 Use `global-auto-revert-mode' to automatically revert all buffers. |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
293 Use `auto-revert-tail-mode' if you know that the file will only grow |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
294 without being changed in the part that is already in the buffer." |
61267
06afa2a6987d
(auto-revert-mode): Specify :group.
Lute Kamstra <lute@gnu.org>
parents:
61013
diff
changeset
|
295 :group 'auto-revert :lighter auto-revert-mode-text |
18597 | 296 (if auto-revert-mode |
297 (if (not (memq (current-buffer) auto-revert-buffer-list)) | |
298 (push (current-buffer) auto-revert-buffer-list)) | |
299 (setq auto-revert-buffer-list | |
300 (delq (current-buffer) auto-revert-buffer-list))) | |
301 (auto-revert-set-timer) | |
302 (when auto-revert-mode | |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
303 (auto-revert-buffers) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
304 (setq auto-revert-tail-mode nil))) |
18597 | 305 |
306 | |
307 ;;;###autoload | |
308 (defun turn-on-auto-revert-mode () | |
309 "Turn on Auto-Revert Mode. | |
310 | |
311 This function is designed to be added to hooks, for example: | |
312 (add-hook 'c-mode-hook 'turn-on-auto-revert-mode)" | |
313 (auto-revert-mode 1)) | |
314 | |
315 | |
316 ;;;###autoload | |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
317 (define-minor-mode auto-revert-tail-mode |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
318 "Toggle reverting tail of buffer when file on disk grows. |
78492
7c8949dbfa0d
Replace `iff' in doc-strings and comments.
Glenn Morris <rgm@gnu.org>
parents:
78408
diff
changeset
|
319 With arg, turn Tail mode on if arg is positive, otherwise turn it off. |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
320 |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
321 When Tail mode is enabled, the tail of the file is constantly |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
322 followed, as with the shell command `tail -f'. This means that |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
323 whenever the file grows on disk (presumably because some |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
324 background process is appending to it from time to time), this is |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
325 reflected in the current buffer. |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
326 |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
327 You can edit the buffer and turn this mode off and on again as |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
328 you please. But make sure the background process has stopped |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
329 writing before you save the file! |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
330 |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
331 Use `auto-revert-mode' for changes other than appends!" |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
332 :group 'find-file :lighter auto-revert-tail-mode-text |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
333 (when auto-revert-tail-mode |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
334 (unless buffer-file-name |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
335 (auto-revert-tail-mode 0) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
336 (error "This buffer is not visiting a file")) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
337 (if (and (buffer-modified-p) |
82257
8c188b53071d
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
338 (zerop auto-revert-tail-pos) ; library was loaded only after finding file |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
339 (not (y-or-n-p "Buffer is modified, so tail offset may be wrong. Proceed? "))) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
340 (auto-revert-tail-mode 0) |
78408
0f698dc9799c
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
78236
diff
changeset
|
341 ;; a-r-tail-pos stores the size of the file at the time of the |
0f698dc9799c
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
78236
diff
changeset
|
342 ;; last revert. After this package loads, it adds a |
0f698dc9799c
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
78236
diff
changeset
|
343 ;; find-file-hook to set this variable every time a file is |
0f698dc9799c
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
78236
diff
changeset
|
344 ;; loaded. If the package is loaded only _after_ visiting the |
0f698dc9799c
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
78236
diff
changeset
|
345 ;; file to be reverted, then we have no idea what the value of |
0f698dc9799c
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
78236
diff
changeset
|
346 ;; a-r-tail-pos should have been when the file was visited. If |
0f698dc9799c
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
78236
diff
changeset
|
347 ;; the file has changed on disk in the meantime, all we can do |
0f698dc9799c
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
78236
diff
changeset
|
348 ;; is offer to revert the whole thing. If you choose not to |
0f698dc9799c
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
78236
diff
changeset
|
349 ;; revert, then you might miss some output then happened |
0f698dc9799c
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
78236
diff
changeset
|
350 ;; between visiting the file and activating a-r-t-mode. |
0f698dc9799c
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
78236
diff
changeset
|
351 (and (zerop auto-revert-tail-pos) |
82257
8c188b53071d
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
352 (not (verify-visited-file-modtime (current-buffer))) |
8c188b53071d
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
353 (y-or-n-p "File changed on disk, content may be missing. \ |
78408
0f698dc9799c
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
78236
diff
changeset
|
354 Perform a full revert? ") |
82257
8c188b53071d
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
355 ;; Use this (not just revert-buffer) for point-preservation. |
8c188b53071d
(auto-revert-tail-mode): auto-revert-tail-pos is zero, not nil, when
Glenn Morris <rgm@gnu.org>
parents:
82140
diff
changeset
|
356 (auto-revert-handler)) |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
357 ;; else we might reappend our own end when we save |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
358 (add-hook 'before-save-hook (lambda () (auto-revert-tail-mode 0)) nil t) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
359 (or (local-variable-p 'auto-revert-tail-pos) ; don't lose prior position |
64801
da6e5acb4109
(auto-revert-tail-mode): Use make-local-variable,
Richard M. Stallman <rms@gnu.org>
parents:
64762
diff
changeset
|
360 (set (make-local-variable 'auto-revert-tail-pos) |
76697
596838644e8e
(find-file-hook, auto-revert-tail-mode):
Jason Rumney <jasonr@gnu.org>
parents:
76520
diff
changeset
|
361 (nth 7 (file-attributes buffer-file-name)))) |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
362 ;; let auto-revert-mode set up the mechanism for us if it isn't already |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
363 (or auto-revert-mode |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
364 (let ((auto-revert-tail-mode t)) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
365 (auto-revert-mode 1))) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
366 (setq auto-revert-mode nil)))) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
367 |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
368 |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
369 ;;;###autoload |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
370 (defun turn-on-auto-revert-tail-mode () |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
371 "Turn on Auto-Revert Tail Mode. |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
372 |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
373 This function is designed to be added to hooks, for example: |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
374 (add-hook 'my-logfile-mode-hook 'turn-on-auto-revert-tail-mode)" |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
375 (auto-revert-tail-mode 1)) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
376 |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
377 |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
378 ;;;###autoload |
44456
a7dbce305a53
(auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
38436
diff
changeset
|
379 (define-minor-mode global-auto-revert-mode |
103608
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
380 "Toggle Global Auto Revert mode. |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
381 With optional prefix argument ARG, enable Global Auto Revert Mode |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
382 if ARG > 0, else disable it. |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
383 |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
384 This is a global minor mode that reverts any buffer associated |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
385 with a file when the file changes on disk. Use `auto-revert-mode' |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
386 to revert a particular buffer. |
18597 | 387 |
103608
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
388 If `global-auto-revert-non-file-buffers' is non-nil, this mode |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
389 may also revert some non-file buffers, as described in the |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
390 documentation of that variable. It ignores buffers with modes |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
391 matching `global-auto-revert-ignore-modes', and buffers with a |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
392 non-nil vale of `global-auto-revert-ignore-buffer'. |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
393 |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
394 This function calls the hook `global-auto-revert-mode-hook'. |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
395 It displays the text that `global-auto-revert-mode-text' |
3e9859a4c097
(global-auto-revert-non-file-buffers, global-auto-revert-mode): Doc fixes.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
396 specifies in the mode line." |
44456
a7dbce305a53
(auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
38436
diff
changeset
|
397 :global t :group 'auto-revert :lighter global-auto-revert-mode-text |
18597 | 398 (auto-revert-set-timer) |
399 (when global-auto-revert-mode | |
44456
a7dbce305a53
(auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
38436
diff
changeset
|
400 (auto-revert-buffers))) |
18597 | 401 |
402 | |
403 (defun auto-revert-set-timer () | |
54609
b35a0c2934f9
(auto-revert-verbose, global-auto-revert-non-file-buffers)
Luc Teirlinck <teirllm@auburn.edu>
parents:
54606
diff
changeset
|
404 "Restart or cancel the timer used by Auto-Revert Mode. |
54612
ce6a58ba4c84
(auto-revert-set-timer): Minor doc fix.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54609
diff
changeset
|
405 If such a timer is active, cancel it. Start a new timer if |
54609
b35a0c2934f9
(auto-revert-verbose, global-auto-revert-non-file-buffers)
Luc Teirlinck <teirllm@auburn.edu>
parents:
54606
diff
changeset
|
406 Global Auto-Revert Mode is active or if Auto-Revert Mode is active |
b35a0c2934f9
(auto-revert-verbose, global-auto-revert-non-file-buffers)
Luc Teirlinck <teirllm@auburn.edu>
parents:
54606
diff
changeset
|
407 in some buffer. Restarting the timer ensures that Auto-Revert Mode |
b35a0c2934f9
(auto-revert-verbose, global-auto-revert-non-file-buffers)
Luc Teirlinck <teirllm@auburn.edu>
parents:
54606
diff
changeset
|
408 will use an up-to-date value of `auto-revert-interval'" |
54452
b0a078151291
(auto-revert-interval): Make new value take effect immediately when
Luc Teirlinck <teirllm@auburn.edu>
parents:
54045
diff
changeset
|
409 (interactive) |
18597 | 410 (if (timerp auto-revert-timer) |
411 (cancel-timer auto-revert-timer)) | |
44456
a7dbce305a53
(auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
38436
diff
changeset
|
412 (setq auto-revert-timer |
a7dbce305a53
(auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
38436
diff
changeset
|
413 (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
|
414 (run-with-timer auto-revert-interval |
a7dbce305a53
(auto-revert-mode, global-auto-revert-mode):
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
38436
diff
changeset
|
415 auto-revert-interval |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
416 'auto-revert-buffers)))) |
18597 | 417 |
53980
0bcb32954b6f
Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53379
diff
changeset
|
418 (defun auto-revert-active-p () |
0bcb32954b6f
Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53379
diff
changeset
|
419 "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
|
420 (or auto-revert-mode |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
421 auto-revert-tail-mode |
53980
0bcb32954b6f
Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53379
diff
changeset
|
422 (and |
0bcb32954b6f
Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53379
diff
changeset
|
423 global-auto-revert-mode |
0bcb32954b6f
Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53379
diff
changeset
|
424 (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
|
425 (not (memq major-mode |
0bcb32954b6f
Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53379
diff
changeset
|
426 global-auto-revert-ignore-modes))))) |
0bcb32954b6f
Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53379
diff
changeset
|
427 |
0bcb32954b6f
Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53379
diff
changeset
|
428 (defun auto-revert-handler () |
54609
b35a0c2934f9
(auto-revert-verbose, global-auto-revert-non-file-buffers)
Luc Teirlinck <teirllm@auburn.edu>
parents:
54606
diff
changeset
|
429 "Revert current buffer, if appropriate. |
b35a0c2934f9
(auto-revert-verbose, global-auto-revert-non-file-buffers)
Luc Teirlinck <teirllm@auburn.edu>
parents:
54606
diff
changeset
|
430 This is an internal function used by Auto-Revert Mode." |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
431 (when (or auto-revert-tail-mode (not (buffer-modified-p))) |
84987
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
432 (let* ((buffer (current-buffer)) size |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
433 (revert |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
434 (or (and buffer-file-name |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
435 (not (file-remote-p buffer-file-name)) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
436 (file-readable-p buffer-file-name) |
84987
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
437 (if auto-revert-tail-mode |
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
438 (/= auto-revert-tail-pos |
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
439 (setq size |
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
440 (nth 7 (file-attributes buffer-file-name)))) |
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
441 (not (verify-visited-file-modtime buffer)))) |
56463
e86e7a1eccac
Describe `Auto Revert Tail Mode' in `Commentary' section.
Luc Teirlinck <teirllm@auburn.edu>
parents:
56415
diff
changeset
|
442 (and (or auto-revert-mode |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
443 global-auto-revert-non-file-buffers) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
444 revert-buffer-function |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
445 (boundp 'buffer-stale-function) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
446 (functionp buffer-stale-function) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
447 (funcall buffer-stale-function t)))) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
448 eob eoblist) |
54513
188394103088
(global-auto-revert-non-file-buffers): Expand doc string.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54452
diff
changeset
|
449 (when revert |
54671
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
450 (when (and auto-revert-verbose |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
451 (not (eq revert 'fast))) |
54592
6a2022999abf
(auto-revert-handler): Print revert message before, rather than after,
Luc Teirlinck <teirllm@auburn.edu>
parents:
54513
diff
changeset
|
452 (message "Reverting buffer `%s'." (buffer-name))) |
54709
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
453 ;; If point (or a window point) is at the end of the buffer, |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
454 ;; we want to keep it at the end after reverting. This allows |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
455 ;; to tail a file. |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
456 (when buffer-file-name |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
457 (setq eob (eobp)) |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
458 (walk-windows |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
459 #'(lambda (window) |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
460 (and (eq (window-buffer window) buffer) |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
461 (= (window-point window) (point-max)) |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
462 (push window eoblist))) |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
463 'no-mini t)) |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
464 (if auto-revert-tail-mode |
84987
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
465 (auto-revert-tail-handler size) |
57602 | 466 ;; Bind buffer-read-only in case user has done C-x C-q, |
467 ;; so as not to forget that. This gives undesirable results | |
468 ;; when the file's mode changes, but that is less common. | |
56912
86b23d3c36a2
(auto-revert-handler): Bind `buffer-read-only' locally around the call
Luc Teirlinck <teirllm@auburn.edu>
parents:
56516
diff
changeset
|
469 (let ((buffer-read-only buffer-read-only)) |
86b23d3c36a2
(auto-revert-handler): Bind `buffer-read-only' locally around the call
Luc Teirlinck <teirllm@auburn.edu>
parents:
56516
diff
changeset
|
470 (revert-buffer 'ignore-auto 'dont-ask 'preserve-modes))) |
54709
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
471 (when buffer-file-name |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
472 (when eob (goto-char (point-max))) |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
473 (dolist (window eoblist) |
582d81c73e11
(auto-revert-handler): If point (or a window point) is at the end of
Luc Teirlinck <teirllm@auburn.edu>
parents:
54671
diff
changeset
|
474 (set-window-point window (point-max))))) |
54671
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
475 ;; `preserve-modes' avoids changing the (minor) modes. But we |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
476 ;; do want to reset the mode for VC, so we do it manually. |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
477 (when (or revert auto-revert-check-vc-info) |
237f008115f7
Delete obsolete autoload's and defvar's.
Luc Teirlinck <teirllm@auburn.edu>
parents:
54612
diff
changeset
|
478 (vc-find-file-hook))))) |
53980
0bcb32954b6f
Added support to detect changed dired buffers.
Eli Zaretskii <eliz@is.elta.co.il>
parents:
53379
diff
changeset
|
479 |
84987
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
480 (defun auto-revert-tail-handler (size) |
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
481 (let ((modified (buffer-modified-p)) |
81721
59741e45a674
(auto-revert-tail-handler): Use inhibit-read-only.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
76697
diff
changeset
|
482 (inhibit-read-only t) ; Ignore. |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
483 (file buffer-file-name) |
81721
59741e45a674
(auto-revert-tail-handler): Use inhibit-read-only.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
76697
diff
changeset
|
484 (buffer-file-name nil)) ; Ignore that file has changed. |
84987
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
485 (when (/= auto-revert-tail-pos size) |
81721
59741e45a674
(auto-revert-tail-handler): Use inhibit-read-only.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
76697
diff
changeset
|
486 (run-hooks 'before-revert-hook) |
59221
4de707f3cc8e
(auto-revert-tail-handler): Put in undo boundaries.
Luc Teirlinck <teirllm@auburn.edu>
parents:
59200
diff
changeset
|
487 (undo-boundary) |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
488 (save-restriction |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
489 (widen) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
490 (save-excursion |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
491 (goto-char (point-max)) |
84987
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
492 (insert-file-contents file nil |
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
493 (and (< auto-revert-tail-pos size) |
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
494 auto-revert-tail-pos) |
9f33047587c7
(auto-revert-handler): In `auto-revert-tail-mode',
David Kastrup <dak@gnu.org>
parents:
82365
diff
changeset
|
495 size))) |
81721
59741e45a674
(auto-revert-tail-handler): Use inhibit-read-only.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
76697
diff
changeset
|
496 (run-hooks 'after-revert-hook) |
59221
4de707f3cc8e
(auto-revert-tail-handler): Put in undo boundaries.
Luc Teirlinck <teirllm@auburn.edu>
parents:
59200
diff
changeset
|
497 (undo-boundary) |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
498 (setq auto-revert-tail-pos size) |
81721
59741e45a674
(auto-revert-tail-handler): Use inhibit-read-only.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
76697
diff
changeset
|
499 (restore-buffer-modified-p modified))) |
56415
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
500 (set-visited-file-modtime)) |
bda3d4cff473
(auto-revert-tail-mode, auto-revert-tail-mode-text, auto-revert-tail-pos): New vars.
Daniel Pfeiffer <occitan@esperanto.org>
parents:
56169
diff
changeset
|
501 |
18597 | 502 (defun auto-revert-buffers () |
503 "Revert buffers as specified by Auto-Revert and Global Auto-Revert Mode. | |
504 | |
505 Should `global-auto-revert-mode' be active all file buffers are checked. | |
506 | |
507 Should `auto-revert-mode' be active in some buffers, those buffers | |
508 are checked. | |
509 | |
54609
b35a0c2934f9
(auto-revert-verbose, global-auto-revert-non-file-buffers)
Luc Teirlinck <teirllm@auburn.edu>
parents:
54606
diff
changeset
|
510 Non-file buffers that have a custom `revert-buffer-function' and |
b35a0c2934f9
(auto-revert-verbose, global-auto-revert-non-file-buffers)
Luc Teirlinck <teirllm@auburn.edu>
parents:
54606
diff
changeset
|
511 a `buffer-stale-function' are reverted either when Auto-Revert |
b35a0c2934f9
(auto-revert-verbose, global-auto-revert-non-file-buffers)
Luc Teirlinck <teirllm@auburn.edu>
parents:
54606
diff
changeset
|
512 Mode is active in that buffer, or when the variable |
b35a0c2934f9
(auto-revert-verbose, global-auto-revert-non-file-buffers)
Luc Teirlinck <teirllm@auburn.edu>
parents:
54606
diff
changeset
|
513 `global-auto-revert-non-file-buffers' is non-nil and Global |
b35a0c2934f9
(auto-revert-verbose, global-auto-revert-non-file-buffers)
Luc Teirlinck <teirllm@auburn.edu>
parents:
54606
diff
changeset
|
514 Auto-Revert Mode is active. |
18597 | 515 |
21288
1b06a18f33fd
Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents:
20648
diff
changeset
|
516 This function stops whenever there is user input. The buffers not |
18597 | 517 checked are stored in the variable `auto-revert-remaining-buffers'. |
518 | |
519 To avoid starvation, the buffers in `auto-revert-remaining-buffers' | |
520 are checked first the next time this function is called. | |
521 | |
21288
1b06a18f33fd
Various doc fixes, mainly grammar.
Dave Love <fx@gnu.org>
parents:
20648
diff
changeset
|
522 This function is also responsible for removing buffers no longer in |
18597 | 523 Auto-Revert mode from `auto-revert-buffer-list', and for canceling |
524 the timer when no buffers need to be checked." | |
62957
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
525 (save-match-data |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
526 (let ((bufs (if global-auto-revert-mode |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
527 (buffer-list) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
528 auto-revert-buffer-list)) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
529 (remaining ()) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
530 (new ())) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
531 ;; Partition `bufs' into two halves depending on whether or not |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
532 ;; the buffers are in `auto-revert-remaining-buffers'. The two |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
533 ;; halves are then re-joined with the "remaining" buffers at the |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
534 ;; head of the list. |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
535 (dolist (buf auto-revert-remaining-buffers) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
536 (if (memq buf bufs) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
537 (push buf remaining))) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
538 (dolist (buf bufs) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
539 (if (not (memq buf remaining)) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
540 (push buf new))) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
541 (setq bufs (nreverse (nconc new remaining))) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
542 (while (and bufs |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
543 (not (and auto-revert-stop-on-user-input |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
544 (input-pending-p)))) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
545 (let ((buf (car bufs))) |
93216
298da4c56fcb
(auto-revert-buffers): Use buffer-live-p.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87649
diff
changeset
|
546 (if (buffer-live-p buf) |
62957
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
547 (with-current-buffer buf |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
548 ;; Test if someone has turned off Auto-Revert Mode in a |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
549 ;; non-standard way, for example by changing major mode. |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
550 (if (and (not auto-revert-mode) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
551 (not auto-revert-tail-mode) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
552 (memq buf auto-revert-buffer-list)) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
553 (setq auto-revert-buffer-list |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
554 (delq buf auto-revert-buffer-list))) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
555 (when (auto-revert-active-p) (auto-revert-handler))) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
556 ;; Remove dead buffer from `auto-revert-buffer-list'. |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
557 (setq auto-revert-buffer-list |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
558 (delq buf auto-revert-buffer-list)))) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
559 (setq bufs (cdr bufs))) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
560 (setq auto-revert-remaining-buffers bufs) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
561 ;; Check if we should cancel the timer. |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
562 (when (and (not global-auto-revert-mode) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
563 (null auto-revert-buffer-list)) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
564 (cancel-timer auto-revert-timer) |
e8139030a8a9
(auto-revert-buffers): Use save-match-data.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61267
diff
changeset
|
565 (setq auto-revert-timer nil))))) |
18597 | 566 |
567 | |
568 ;; The end: | |
569 (provide 'autorevert) | |
570 | |
571 (run-hooks 'auto-revert-load-hook) | |
572 | |
81721
59741e45a674
(auto-revert-tail-handler): Use inhibit-read-only.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
76697
diff
changeset
|
573 ;; 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
|
574 ;;; autorevert.el ends here |