26 |
static grub_uint8_t grub_console_normal_color = 0x7; |
static grub_uint8_t grub_console_normal_color = 0x7; |
27 |
static grub_uint8_t grub_console_highlight_color = 0x70; |
static grub_uint8_t grub_console_highlight_color = 0x70; |
28 |
|
|
29 |
static void |
static grub_uint32_t |
30 |
grub_console_putchar (grub_uint32_t c) |
map_char (grub_uint32_t c) |
31 |
{ |
{ |
32 |
if (c > 0x7f) |
if (c > 0x7f) |
33 |
{ |
{ |
71 |
} |
} |
72 |
} |
} |
73 |
|
|
74 |
grub_console_real_putchar (c); |
return c; |
75 |
|
} |
76 |
|
|
77 |
|
static void |
78 |
|
grub_console_putchar (grub_uint32_t c) |
79 |
|
{ |
80 |
|
grub_console_real_putchar (map_char (c)); |
81 |
|
} |
82 |
|
|
83 |
|
static grub_ssize_t |
84 |
|
grub_console_getcharwidth (grub_uint32_t c __attribute__ ((unused))) |
85 |
|
{ |
86 |
|
/* For now, every printable character has the width 1. */ |
87 |
|
return 1; |
88 |
} |
} |
89 |
|
|
90 |
static grub_uint16_t |
static grub_uint16_t |
124 |
.init = 0, |
.init = 0, |
125 |
.fini = 0, |
.fini = 0, |
126 |
.putchar = grub_console_putchar, |
.putchar = grub_console_putchar, |
127 |
|
.getcharwidth = grub_console_getcharwidth, |
128 |
.checkkey = grub_console_checkkey, |
.checkkey = grub_console_checkkey, |
129 |
.getkey = grub_console_getkey, |
.getkey = grub_console_getkey, |
130 |
.getwh = grub_console_getwh, |
.getwh = grub_console_getwh, |