Re: [PATCH] Home-End keys in menu

2008-08-17 Thread Felix Zielcke
Commited. Am Samstag, den 16.08.2008, 20:51 +0200 schrieb Carles Pina i Estany: > > Hi, > > On Aug/13/2008, Marco Gerards wrote: > > Hi, > > > > Carles Pina i Estany <[EMAIL PROTECTED]> writes: > > > > [...] > > > > > 2008-08-06 Carles Pina i Estany <[EMAIL PROTECTED]> > > > > > > * menu/

Re: [PATCH] Home-End keys in menu

2008-08-16 Thread Carles Pina i Estany
Hi, On Aug/13/2008, 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.

Re: [PATCH] Home-End keys in menu

2008-08-13 Thread Carles Pina i Estany
Hello, I reply in this message a different things. On Aug/13/2008, Robert Millan wrote: > 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: > > > >

Re: [PATCH] Home-End keys in menu

2008-08-13 Thread Robert Millan
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: > > > > > > [...] > > > > > > >

Re: [PATCH] Home-End keys in menu

2008-08-13 Thread Javier Martín
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/norma

Re: [PATCH] Home-End keys in menu

2008-08-13 Thread Marco Gerards
Robert Millan <[EMAIL PROTECTED]> writes: > 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 an

Re: [PATCH] Home-End keys in menu

2008-08-13 Thread Robert Millan
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 m

Re: [PATCH] Home-End keys in menu

2008-08-13 Thread Marco Gerards
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.

Re: [PATCH] Home-End keys in menu

2008-08-06 Thread Carles Pina i Estany
Hello, On Aug/05/2008, Marco Gerards wrote: > > Some weeks ago I sent a patch that didn't have any discussion. I'm > > sending it again, maybe everybody was in holidays :-) > > > > Actually I updated the patch (added some spaces to comply with the > > coding style). > > > > * menu/normal.c: Add

Re: [PATCH] Home-End keys in menu

2008-08-05 Thread Marco Gerards
Hi, Carles Pina i Estany <[EMAIL PROTECTED]> writes: > Some weeks ago I sent a patch that didn't have any discussion. I'm > sending it again, maybe everybody was in holidays :-) > > Actually I updated the patch (added some spaces to comply with the > coding style). > > * menu/normal.c: Add Home a

Re: [PATCH] Home-End keys in menu

2008-08-05 Thread Carles Pina i Estany
Hello, Some weeks ago I sent a patch that didn't have any discussion. I'm sending it again, maybe everybody was in holidays :-) Actually I updated the patch (added some spaces to comply with the coding style). * menu/normal.c: Add Home and End keys in grub-menu Also, I added a comment that wou