Re: Man page changes - negation method
On 24/07/06, Jacob Bachmeyer [EMAIL PROTECTED] wrote: seventh guardian wrote: On 7/23/06, Jacob Bachmeyer [EMAIL PROTECTED] wrote: seventh guardian wrote: 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 the default in that could be confusing to new users, how about the preferred form? (default could be taken as all options will be default off.) You're right. But it will not be the preferred method, it will be the only method (hence the other methods being deprecated). Can you find me a word for the only method that fits here? :) Cheers Renato This would be: Some options are now deactivated by prefixing ! to the option. This will eventually be the preferred form, and the old negative forms are now deprecated. Ok, how about: Some options are now deactivated by prefixing ! to the option. This I wouldn't use that word. This seems to be becoming more complex when it's actually very simple. Rewording the sentence above, and adding what you have below should be sufficient. I would simply reword that sentence as: Some options can now be negated by prefixing ``!'' to the option. will soon be the preferred form for all such options. Any negatable option for which ! does not work should be reported as a bug. The other negative forms are now deprecated and will be removed in FVWM X.Y. -- Thomas Adam
Re: Man page changes - negation method
On 7/24/06, Thomas Adam [EMAIL PROTECTED] wrote: On 24/07/06, Jacob Bachmeyer [EMAIL PROTECTED] wrote: seventh guardian wrote: On 7/23/06, Jacob Bachmeyer [EMAIL PROTECTED] wrote: seventh guardian wrote: 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 the default in that could be confusing to new users, how about the preferred form? (default could be taken as all options will be default off.) You're right. But it will not be the preferred method, it will be the only method (hence the other methods being deprecated). Can you find me a word for the only method that fits here? :) Cheers Renato This would be: Some options are now deactivated by prefixing ! to the option. This will eventually be the preferred form, and the old negative forms are now deprecated. Ok, how about: Some options are now deactivated by prefixing ! to the option. This I wouldn't use that word. This seems to be becoming more complex when it's actually very simple. Rewording the sentence above, and adding what you have below should be sufficient. I would simply reword that sentence as: Some options can now be negated by prefixing ``!'' to the option. Sounds good. will soon be the preferred form for all such options. Any negatable option for which ! does not work should be reported as a bug. The other ^^^ This is unnecessary, at least for now, as we should know what doesn't work. Besides, it is obvious that things that _are_documented_ and don't work as documented should be reported as bugs. negative forms are now deprecated and will be removed in FVWM X.Y. ^^ In here I would prefer the future. Because we don't really know when it will be removed. I would prefer it being removed previous to the 2.6 release, as we are growing to have more compatibility options than real options :P . But I bet thats not the opinion of most of us, so.. Future it should be :) Does everybody agree with something like this: Some options are now negated by prefixing ! to the option. This will soon be the preferred form for all such options. The other negative forms are now deprecated and will be removed in the future. Cheers Renato -- Thomas Adam
Re: Man page changes - negation method
On 7/23/06, Jacob Bachmeyer [EMAIL PROTECTED] wrote: seventh guardian wrote: 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 the default in that could be confusing to new users, how about the preferred form? (default could be taken as all options will be default off.) You're right. But it will not be the preferred method, it will be the only method (hence the other methods being deprecated). Can you find me a word for the only method that fits here? :) Cheers Renato This would be: Some options are now deactivated by prefixing ! to the option. This will eventually be the preferred form, and the old negative forms are now deprecated.
Re: Man page changes - negation method
seventh guardian wrote: On 7/23/06, Jacob Bachmeyer [EMAIL PROTECTED] wrote: seventh guardian wrote: 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 the default in that could be confusing to new users, how about the preferred form? (default could be taken as all options will be default off.) You're right. But it will not be the preferred method, it will be the only method (hence the other methods being deprecated). Can you find me a word for the only method that fits here? :) Cheers Renato This would be: Some options are now deactivated by prefixing ! to the option. This will eventually be the preferred form, and the old negative forms are now deprecated. Ok, how about: Some options are now deactivated by prefixing ! to the option. This will soon be the preferred form for all such options. Any negatable option for which ! does not work should be reported as a bug. The other negative forms are now deprecated and will be removed in FVWM X.Y.
Re: Man page changes - negation method
seventh guardian wrote: 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 the default in that could be confusing to new users, how about the preferred form? (default could be taken as all options will be default off.) This would be: Some options are now deactivated by prefixing ! to the option. This will eventually be the preferred form, and the old negative forms are now deprecated.
Man page changes - negation method
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. + +This is a list of MenuStyle deprecated negative options: +HilightBackOff .IR Fvwm , Mwm , Win reset all options to the style with the same name in former Please comment :) The diff goes atached. Cheers, Renato patch Description: Binary data
Re: Man page changes - negation method
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-
