mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-22 23:32:39 +00:00
fix bad color name handling
This commit is contained in:
1 parent
ab8ba50d75
commit
681440aa5b
3 files changed
+19
-12
No files matched your search
@@ -73,7 +73,7 @@ grub_err_t grub_normal_print_device_info (const char *name);
|
||||
/* Defined in `color.c'. */
|
||||
char *grub_env_write_color_normal (struct grub_env_var *var, const char *val);
|
||||
char *grub_env_write_color_highlight (struct grub_env_var *var, const char *val);
|
||||
void grub_parse_color_name_pair (grub_uint8_t *ret, const char *name);
|
||||
int grub_parse_color_name_pair (grub_uint8_t *ret, const char *name);
|
||||
|
||||
/* Defined in `menu_text.c'. */
|
||||
void grub_wait_after_message (void);
|
||||
|
||||
Reference in new issue
Block a user