[Top][All Lists]
[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.
signature.asc
Description: Esta parte del mensaje está firmada digitalmente
- Re: [PATCH] Home-End keys in menu, Carles Pina i Estany, 2008/08/05
- Re: [PATCH] Home-End keys in menu, Marco Gerards, 2008/08/05
- Re: [PATCH] Home-End keys in menu, Carles Pina i Estany, 2008/08/06
- Re: [PATCH] Home-End keys in menu, Marco Gerards, 2008/08/13
- Re: [PATCH] Home-End keys in menu, Robert Millan, 2008/08/13
- Re: [PATCH] Home-End keys in menu, Marco Gerards, 2008/08/13
- Re: [PATCH] Home-End keys in menu,
Javier Martín <=
- Re: [PATCH] Home-End keys in menu, Robert Millan, 2008/08/13
- Re: [PATCH] Home-End keys in menu, Carles Pina i Estany, 2008/08/13
- Re: [PATCH] Home-End keys in menu, Carles Pina i Estany, 2008/08/16
- Re: [PATCH] Home-End keys in menu, Felix Zielcke, 2008/08/17