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: Marco Gerards
Subject: Re: [PATCH] Home-End keys in menu
Date: Wed, 13 Aug 2008 13:06:53 +0200
User-agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux) 
Robert Millan <address@hidden> writes:

> 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.

Or both?

--
Marco
reply via email to
[Prev in Thread] Current Thread [Next in Thread]