Next: , Up: Autorevert   [Contents][Index]


18.5.1 Buffer Menuの自動リバート

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

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