class FONT_MANAGER

All features

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.

Direct parents

non-conformant parents

ANY

Summary

creation features

exported features

Details

init
init
fonts: FAST_ARRAY [E_][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

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