[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 /.)