I know I can use (global-auto-revert-mode 1)
to automatically revert a buffer if the buffer has been changed in another editor.
However, when Emacs detects (automatically) that the buffer has changed, I would prefer it then to ask me whether I want to revert this buffer or not. Is there a way for it?