<div class="gmail_quote">On Mon, Sep 5, 2011 at 18:46, Barry Smith <span dir="ltr"><<a href="mailto:bsmith@mcs.anl.gov">bsmith@mcs.anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
   This is a bullshit command and doesn't do what it should do.  It checks the buffer every certain amount of time and reverts if it finds the file is changed. Useless if the file change happened after the last check, when it reverts to the same annoying message.</blockquote>
</div><div><br></div>Oh, simple. Just<div><br><div>(setq auto-revert-interval 0.1)</div><div><br></div><div>If you do that, it should be pretty rare to visit a file that has not been auto-reverted yet. There couldn't possibly be a problem with stat'ing 1000 buffers 10 times per second, could there?</div>
</div><div><br></div><div><br></div><div>This is really disgusting. We should write a new editor that doesn't suck. ;-D</div>