revert buffers if they change on disk but not in editor