18.5.1.1 Auto Reverting the Buffer Menu
If auto-reverting of non-file buffers is enabled, the Buffer Menu
(see Operating on Several Buffers)
automatically reverts every
auto-revert-interval
seconds, whether there is a need for it or
not. (It would probably take longer to check whether there is a need
than to actually revert.)
If the Buffer Menu inappropriately gets marked modified, just revert
it manually using g
and auto-reverting will resume. However, if
you marked certain buffers to get deleted or to be displayed, you have
to be careful, because reverting erases all marks. The fact that
adding marks sets the buffer’s modified flag prevents Auto Revert from
automatically erasing the marks.