mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-20 22:48:22 +00:00
* grub-core/normal/menu_text.c (grub_menu_init_page): Fix behaviour
when menu highlight color isn't set.
This commit is contained in:
1 parent
08bcec5020
commit
af18fdb4df
2 files changed
+6
-1
No files matched your search
@@ -1,3 +1,8 @@
|
|||||||
|
2013-01-27 Vladimir Serbinenko <phcoder@gmail.com>
|
||||||
|
|
||||||
|
* grub-core/normal/menu_text.c (grub_menu_init_page): Fix behaviour
|
||||||
|
when menu highlight color isn't set.
|
||||||
|
|
||||||
2013-01-27 C. Masloch <pushbx@38.de>
|
2013-01-27 C. Masloch <pushbx@38.de>
|
||||||
|
|
||||||
Improve FreeDOS direct loading support compatibility.
|
Improve FreeDOS direct loading support compatibility.
|
||||||
|
|||||||
@@ -357,7 +357,7 @@ grub_menu_init_page (int nested, int edit, int *num_entries,
|
|||||||
old_color_normal = grub_term_normal_color;
|
old_color_normal = grub_term_normal_color;
|
||||||
old_color_highlight = grub_term_highlight_color;
|
old_color_highlight = grub_term_highlight_color;
|
||||||
grub_color_menu_normal = grub_term_normal_color;
|
grub_color_menu_normal = grub_term_normal_color;
|
||||||
grub_color_menu_highlight = grub_color_menu_highlight;
|
grub_color_menu_highlight = grub_term_highlight_color;
|
||||||
|
|
||||||
/* Then give user a chance to replace them. */
|
/* Then give user a chance to replace them. */
|
||||||
grub_parse_color_name_pair (&grub_color_menu_normal,
|
grub_parse_color_name_pair (&grub_color_menu_normal,
|
||||||
|
|||||||
Reference in new issue
Block a user