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 /.) _______________________________________________ Grub-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/grub-devel
