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