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

From: Stefan Monnier <[email-masked]>
Date: Fri, 10 Jan 2014 09:45:23 -0500

>> +    (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"))
> Personally, however, I do not think this option is important enough to
> be in the Options menu.

I wonder how many people enable global-auto-revert-mode and how well it
works when you have a couple hundred file buffers.

        Stefan