18.5.1 Buffer Menuの自動リバート

非ファイルバッファーの自動リバートが有効なとき、必要性の有無にかかわらず、Buffer Menu (Several Buffersを参照) はauto-revert-intervalで指定された秒数ごとに自動的にリバートされます。(リバートする必要があるかチェックするのは、恐らく実際にリバートするより長い時間を要する)。

Buffer Menuがmodifiedと不適切にマークされたときは、gにより手動でリバートして自動リバートを再開します。しかし特定のバッファーにたいして削除や表示のマークをつけた場合は、慎重になる必要があります。なぜならリバートはすべてのマークを消去するからです。マークの追加はバッファーのmodifiedフラグをセットするという事実は、自動的なマークの消去からの自動リバートを防ぎます。