ANY NONE
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.

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



end of FONT_MANAGER