class interface FONT_MANAGER
-- The font manager is singleton accessible via font_manager
-- from GRAPHIC. This class help to find the font on the system best
-- matching given whishes.
-- All created fonts are accessible in fonts attribute, the
-- default font on the system is the first one.
creation
init
feature(s) from FONT_MANAGER
init
feature(s) from FONT_MANAGER
fonts: FAST_ARRAY[BASIC_FONT]
-- All allocated fonts, the first one is the default system font.
default_font: BASIC_FONT
-- The default system font, always defined.
ensure
Result /= Void
font_exist_by_name (font_name: STRING): BOOLEAN
-- 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
feature(s) from FONT_MANAGER
basic_font_default_name: POINTER
-- should return the font id and suppress folowing function
basic_font_new (font_name: POINTER): POINTER
basic_font_exist (desc: POINTER): BOOLEAN
end of FONT_MANAGER