Subject: Re: bug#16400: 24.3.50; [PATCH] Add menu entry for Global Auto Revert mode

From: Glenn Morris <[email-masked]>
Date: Thu, 09 Jan 2014 23:56:21 -0500

Matthias Meulien wrote:

> +    (bindings--define-key menu [global-auto-revert-mode]
> +      (menu-bar-make-mm-toggle
> +       global-auto-revert-mode
> +       "Revert buffers on files changes"
> +       "Toggle Global Auto Revert mode"))

Thanks for the patch.
Personally, however, I do not think this option is important enough to
be in the Options menu.