diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2002-09-30 17:13:14 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2002-09-30 17:13:14 +0000 |
| commit | e8800e674058ea33a8d43e5976277a18b8102233 (patch) | |
| tree | 0cfe3e6f2b1ed9bb6282aa20d6bbfcf76dc92ea2 /console-client/vga-support.h | |
| parent | 3f9ff75beda3a3084b4f846ba9616401055948b6 (diff) | |
| download | hurd-e8800e674058ea33a8d43e5976277a18b8102233.tar.gz hurd-e8800e674058ea33a8d43e5976277a18b8102233.tar.bz2 hurd-e8800e674058ea33a8d43e5976277a18b8102233.zip | |
2002-09-30 Marcus Brinkmann <marcus@gnu.org>
* 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.
Diffstat (limited to 'console-client/vga-support.h')
| -rw-r--r-- | console-client/vga-support.h | 3 |
1 files changed, 3 insertions, 0 deletions
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); |