<<< Date Index >>>     <<< Thread Index >>>

Re: For 1.5.10 [PATCH] Let menu_move_off default to status quo ante



Hello,

> As long as we're proposing changing this -- which I think is a good
> idea -- it really should be "menu_move" defaulting to NO rather than
> "menu_move_off" defaulting to YES.  The current model is not too little
> negation, don't you think?

agreed. See other eMail.

        Thomas