grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Home-End keys in menu


From: Javier Martín
Subject: Re: [PATCH] Home-End keys in menu
Date: Wed, 13 Aug 2008 13:38:27 +0200

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 <address@hidden> writes:
> > 
> > [...]
> > 
> > > 2008-08-06  Carles Pina i Estany  <address@hidden>
> > >
> > >   * 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.

Attachment: signature.asc
Description: Esta parte del mensaje está firmada digitalmente


reply via email to

[Prev in Thread] Current Thread [Next in Thread]