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 <[EMAIL PROTECTED]> writes: > > > > > > [...] > > > > > > > 2008-08-06 Carles Pina i Estany <[EMAIL PROTECTED]> > > > > > > > > * 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." _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
