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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]