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 _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
