[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Home-End keys in menu
From: |
Robert Millan |
Subject: |
Re: [PATCH] Home-End keys in menu |
Date: |
Wed, 13 Aug 2008 13:44:28 +0200 |
User-agent: |
Mutt/1.5.13 (2006-08-11) |
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 <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.
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."
- 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, 2008/08/13
- Re: [PATCH] Home-End keys in menu,
Robert Millan <=
- 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