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

_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel

Reply via email to