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
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
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
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
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,
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
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
