class interface BASIC_FONT
-- 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.
--
creation
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;
font_manager.font_exist_by_name(font_name)
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
feature(s) from BASIC_FONT
font: POINTER
font_desc: POINTER
--TODO: suppress this pointer
end of BASIC_FONT