ANY | NONE |
class interface FONT -- Class FONT allow to draw characters in style defined by some -- BASIC_FONT and add some decoration like underline. creation make (basic: BASIC_FONT) require basic /= Void feature(s) from BASIC_FONT 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 end of FONT