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.
