From e8800e674058ea33a8d43e5976277a18b8102233 Mon Sep 17 00:00:00 2001 From: Marcus Brinkmann Date: Mon, 30 Sep 2002 17:13:14 +0000 Subject: 2002-09-30 Marcus Brinkmann * vga-support.c (vga_get_font_width): New function. * vga-support.h: Add prototype for vga_get_font_width. * vga-dynafont.c (create_system_font): Call vga_get_font_width to determine real font width. --- console-client/vga-support.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'console-client/vga-support.h') diff --git a/console-client/vga-support.h b/console-client/vga-support.h index 51dec782..38c6248f 100644 --- a/console-client/vga-support.h +++ b/console-client/vga-support.h @@ -57,6 +57,9 @@ void vga_select_font_buffer (int font_buffer, int font_buffer_supp); /* Set the font height in pixel. */ void vga_set_font_height (int height); +/* Get the font height in pixel. Can be 8 or 9. */ +int vga_get_font_width (void); + /* Set the font height in pixel. WIDTH can be 8 or 9. */ void vga_set_font_width (int width); -- cgit v1.2.3