Re: auto-compression-mode in menu bar

[Luc Teirlinck <teirllm@dms.auburn.edu>]

Kevin Rodgers wrote:

   So if a global option is off by default, there is a menu item to turn it
   on (and then off again, if desired).

To the contrary, for the overwhelming majority of global options that
are off by default, there is no menu item to turn it on.  Otherwise
the Options menu would just be horrendously huge.

   But if a global option is on by default, there is no menu item to
   turn it off (or back on again, if desired).

This is not a discrimination issue between options that are turned on
vs off by default.  The question is whether people (especially
inexperienced users, who are the main users of the menu bar)
sufficiently often want to visit a compressed file in compressed form
to make the ability of turning this option off more important (for
inexperienced users) than the tons of other options that are not
customizable through the menu bar.

Sincerely,

Luc.