Re: autorevert.el

[Luc Teirlinck]

Stefan Monnier wrote:

   How does the code figure out whether auto-reverting the buffer is needed?
   I mean, there's no visited-time to check, right?

For dired buffers, visited-file-modtime works, even though
verify-visited-file-modtime does not.  For non-file, non-vc, non-dired
buffers, the current code just reverts every auto-revert-interval
seconds without checking whether reverting is actually needed.  For
most of these buffers we might actually have to keep things that way,
since checking whether the buffer needs reverting could easily take
longer than reverting it.

   So maybe we should add a `auto-revert-stale-function' which dired and
   buffer-menu can set.  This will clean up the current staleness checking
   function since it will only have to work for file-buffers, and will
   make sure that revert-buffer-function is only called by auto-revert
   for modes which have auto-revert support.

I will try to make the buffer-menu auto-revert in a non-obnoxious way
and see how things work out.

Sincerely,

Luc.