[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 12:50:02 +0200 |
User-agent: |
Mutt/1.5.13 (2006-08-11) |
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.
--
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 <=
- 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, 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