[PATCH] colored menu

[Robert Millan]

This patch adds a nice looking colored menu like the one you'd obtain on GRUB
Legacy with "color cyan/blue white/blue" command.  Screenshot is attached as
well.

A pair of notes:

  - The *_setcolor function stubs are being removed from some terminals
  because grub_setcolor() from kernel already skips undefined *_setcolor
  implementations so there's no need for an empty stub.  In fact, not needed
  for this patch but adds confusion (I had to inspect all them to see if
  *_getcolor() had to be added).

  - I know that hardcoding colors is not so nice, but I was unsure how would
  the selection interface have to look like (and lacking time to implement it),
  and in comparison with defaulting to hardcoded 0x07 (grey on black) I see it
  as an improvement.

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

colored_menu.diff
Description: Text Data

colored_menu.png
Description: PNG image