Re: [PATCH] colored menu

["Yoshinori K. Okuji" <okuji@enbug.org>]

On Tuesday 25 December 2007 10:26, Robert Millan wrote:
> On Mon, Dec 24, 2007 at 08:46:29PM +0100, Yoshinori K. Okuji wrote:
> > I still prefer to keep the default as it is. I like that a user (or a
> > distributor) would modify the colors in grub.cfg.
>
> Distributors (/me puts Debian hat on) can easily patch it.
>
> Anyway, which interface to use?  It seems to me that env variables would
> be more fitting than the "color" command we had in GRUB Legacy.  I suggest
> using two: E.g. "menu_normal_color=fg/bg" and "menu_highlight_color=fg/bg",
> with the same *color_list[16] from GRUB Legacy.

As you might know, my preference is to implement a style sheet and apply it to 
a text-based interface as well as a graphic-based interface (which is still 
vaporware). But this will need time, so I can accept whatever a short-term 
hack.

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

> > I'd love to see a fancier
> > interface built in.
>
> Will we have that anytime soon?

I hope so. ;)

> > Mmh, I really need to allocate time to implement one...
>
> Would be very nice to see you back on the playground! :-)

Thanks.

Okuji