Automatic generation produced by ISE Eiffel
class SHARED_EDITOR_FONT Ancestors ANY Descendants EDITOR_DATA TEXT_PANEL_HEADER TEXT_PANEL_HEADER_ITEM Clients SHARED_EDITOR_FONT Suppliers CELL [G] EV_FONT FONT_PREFERENCE INTEGER_32 INTEGER_PREFERENCE SHARED_EDITOR_FONT -- Generated by Eiffel Studio --
For more details: eiffel.org