Re: mutt/2019: menu_context itches (Re: your mail)
On Tue, Aug 02, 2005 at 09:55:24PM +0900, TAKAHASHI Tamotsu wrote:
> * Tue Aug 2 2005 Oswald Buddenhagen <ossi@xxxxxxx>
> > what are the rationales of these renames?
>
> http://marc.theaimsgroup.com/?l=mutt-dev&m=111220557314589&w=2
> Alain Bench wrote (about a new feature $menu_jump_context):
>
> > Great! Let's talk naming: It's not all jumps, but only page jumps.
> > The *exact* same feature in pager is called $pager_context. Proposal:
> > For consistency $menu_jump_context gets renamed $menu_context,
>
i'd call this "overlap", not "context". like menu_page_overlap. oh, well.
> > and old $menu_context (though already released in 1.5.8 and .9) is
> > renamed hum... Menu, cursor, indicator, context, margin:
> > $menu_indicator_margin.
>
sounds reasonable. a tad too long for my taste, but otoh my above
suggestion isn't any better.
> http://marc.theaimsgroup.com/?l=mutt-dev&m=111706790201362&w=2
> David Champion wrote (about setting $menu_move_off by default):
> | 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?
>
you're slightly misunderstanding the phrase "to move off", don't you
think? ;)
--
Hi! I'm a .signature virus! Copy me into your ~/.signature, please!
--
Chaos, panic, and disorder - my work here is done.