On 7/21/06, Dominik Vogt <[EMAIL PROTECTED]> wrote:
On Fri, Jul 21, 2006 at 03:38:40PM +0100, seventh guardian wrote: > Hello all. > > After some thought and reasoning, here's a preliminary solution to the > man page entry regarding the style negation method. I followed Thomas' > sugestion and here's what is done for the menu styles. Since I hadn't > done any change to this section yet, I've updated the HilightBackOff > option to !HilightBack as an example. > > The big change: > > @@ -2948,6 +2948,11 @@ > triples with a '/' in between. These options exclude each other. > All paired options can be negated to have the effect of the > counterpart option by prefixing ! to the option. '!' ----------^^^> +Deactivating an option is done by prefixing ! to the option. This is '!' ---------^^^ > +the prefered negation method, and other methods are now deprecated. But ... as far as I know it's not true. Not all options can be negated with the "!"-prefix. I eventually want to get there, but it's not true at the moment.
Ok, what about this: Some options are now deactivated by prefixing ! to the option. This will eventually be the default, and the old negative options are now deprecated. This is a list of MenuStyle deprecated negative options: AutomaticHotkeysOff, HilightBackOff, TitleWarpOff It's a bit more conservative, yet should still be useful :) Cheers Renato
> +This is a list of MenuStyle deprecated negative options: > +HilightBackOff Ciao Dominik ^_^ ^_^ -- Dominik Vogt, [EMAIL PROTECTED] -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (GNU/Linux) iD8DBQFEwQ4+meSprTOr4tgRAg1pAJ9qGCNJJXQVfyeX2RkYS0Q93s6ZEQCeLD0R BstZkG0kfP95hpeQg1MwTXA= =Kj8o -----END PGP SIGNATURE-----
