class BASIC_FONT

Features exported to INTERNALS_HANDLER

BASIC_FONT describe basic font properties (like size, font family...) and allow to draw characters (see class FONT for options like underline). Use FONT_MANAGER for BASIC_FONT creation.

Direct parents

conformant parents

GRAPHIC, UNICODE_STRING_HANDLER

Known children

conformant children

FONT

Summary

creation features

exported features

Details

make_system_specific (font_name: STRING)

It's recommended not to use this function. The font_name is the font name in the system syntax (ex: XLFD for X11).

require

  • font_name /= Void

height: INTEGER
base_line: INTEGER

height from the top to the bottom of characters like 'P' or 'k'. Height is bigger due to characters that go under the base line like 'j' or 'p'.

text_width (text: UNICODE_STRING): INTEGER