auto-revert in DocView-mode