prompt for reload when editor file changes externally