Re: mutt/2019: menu_context itches (Re: your mail)

[Alain Bench <veronatif@xxxxxxx>]

 On Tuesday, August 9, 2005 at 10:21:02 PM -0700, Brendan Cully wrote:

    [overlap between pages]
> (not in 1.5.9) -> $menu_context
> can we omit this addition for now?

    I think it's usefull feature, no bloat. Omit feature, but reserve
$menu_context name for this very usage in future? Pity.


    [$menu_indicator_margin]
> This variable should only affect scrolling operations (vs jumping
> ones), right?

    For the record: $menu_indicator_margin impacts all movements.


> there didn't seem to be a clear consensus previously.

    I was under the impression that there was a mildly solid consensus
about two points: $menu_context and $menu_indicator_margin. The third
point, about gravitational sticky takeoff of the partial bottom move
off, is not yet clear.


Bye!    Alain.
-- 
 Je constate que à part ceux qui sont contre, ces 2 groupes rencontrent
 un consensus. On est à 100% d'accord, excellent !
 -+-GA in : Guide du Neuneu d'Usenet - Le consensus pour les nuls -+-