472 |
#endif |
#endif |
473 |
} |
} |
474 |
|
|
475 |
|
static grub_ssize_t |
476 |
|
grub_vga_getcharwidth (grub_uint32_t c) |
477 |
|
{ |
478 |
|
unsigned width; |
479 |
|
|
480 |
|
if (! get_vga_glyph (c, 0, &width)) |
481 |
|
return 0; |
482 |
|
|
483 |
|
return width; |
484 |
|
} |
485 |
|
|
486 |
static grub_uint16_t |
static grub_uint16_t |
487 |
grub_vga_getwh (void) |
grub_vga_getwh (void) |
488 |
{ |
{ |
581 |
.init = grub_vga_init, |
.init = grub_vga_init, |
582 |
.fini = grub_vga_fini, |
.fini = grub_vga_fini, |
583 |
.putchar = grub_vga_putchar, |
.putchar = grub_vga_putchar, |
584 |
|
.getcharwidth = grub_vga_getcharwidth, |
585 |
.checkkey = grub_console_checkkey, |
.checkkey = grub_console_checkkey, |
586 |
.getkey = grub_console_getkey, |
.getkey = grub_console_getkey, |
587 |
.getwh = grub_vga_getwh, |
.getwh = grub_vga_getwh, |