[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] colored menu

From: Robert Millan
Subject: Re: [PATCH] colored menu
Date: Tue, 25 Dec 2007 12:16:47 +0100
User-agent: Mutt/1.5.13 (2006-08-11)

On Tue, Dec 25, 2007 at 11:27:56AM +0100, Yoshinori K. Okuji wrote:
> > > Anyway, this will be a temporary hack, right?
> >
> > No, not really.  That patch will be necessary when colors can be modified
> > in grub.cfg, too.  The only difference will be that it'll only act based on
> > user input.
> >
> > I plan to implement user input too, just not right now.  In the meantime
> > it'd be nice to have this feature in CVS.  If you like 0x07 / 0x70 more
> > than 0x13 / 0x1f, we can have that as default so that distributors (/me
> > puts debian hat) can change it easily?
> It is okay for me.

Ok, committed.

Robert Millan

<GPLv2> I know my rights; I want my phone call!
<DRM> What use is a phone call, if you are unable to speak?
(as seen on /.)

reply via email to

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