Re: [PATCH] Home-End keys in menu

[Robert Millan <rmh@aybabtu.com>]

On Wed, Aug 13, 2008 at 01:38:27PM +0200, Javier Martín wrote:
> El mié, 13-08-2008 a las 12:50 +0200, Robert Millan escribió:
> > On Wed, Aug 13, 2008 at 12:15:37PM +0200, Marco Gerards wrote:
> > > Hi,
> > > 
> > > Carles Pina i Estany <carles@pina.cat> writes:
> > > 
> > > [...]
> > > 
> > > > 2008-08-06  Carles Pina i Estany  <carles@pina.cat>
> > > >
> > > > 	* menu/normal.c (run_menu): Add Home and End keys in grub-menu.
> > > 
> > > 
> > > This looks fine to me at first sight.  Do others have problems with
> > > this?  Otherwise it can be committed.
> > 
> > Why don't we use PgUp / PgDn instead?  That's more intuitive.
> > 
> Users with long menu lists may expect PgUp/PgDn to take them exactly
> _one_ page up or down, not the whole list... I personally think that
> Home/End are more intuitive for this particular UI interaction.

Uhm you're right.  Also, I notice this behaviour is consistent with `less'
(and since I love consistency, I must agree with you!)

I think the patch is fine in its current state.

-- 
Robert Millan

  The DRM opt-in fallacy: "Your data belongs to us. We will decide when (and
  how) you may access your data; but nobody's threatening your freedom: we
  still allow you to remove your data and not access it at all."