Automatic generation produced by ISE Eiffel
class EDITOR_DATA Ancestors DOCUMENT_TYPE_MANAGER EDITOR_TOKEN_IDS EV_FONT_CONSTANTS SHARED_EDITOR_DATA SHARED_EDITOR_FONT Clients EDITABLE_TEXT EDITABLE_TEXT_PANEL EDITOR_BUFFERED_SCREEN EDITOR_DATA EDITOR_TOKEN* EDITOR_TOKEN_EOL EDITOR_TOKEN_MARGIN* EDITOR_TOKEN_TABULATION EDITOR_TOKEN_TEXT KEYBOARD_SELECTABLE_TEXT_PANEL MARGIN MARGIN_WIDGET SELECTABLE_TEXT_PANEL SHARED_EDITOR_DATA TEXT TEXT_PANEL TEXT_PANEL_BUFFERED_DATA TEXT_PANEL_HEADER TEXT_PANEL_HEADER_ITEM Suppliers ACTION_SEQUENCE [EVENT_DATA -> TUPLE create default_create end] ARRAYED_LIST [G] ARRAYED_LIST_ITERATION_CURSOR [G] BOOLEAN BOOLEAN_PREFERENCE CELL [G] COLOR_PREFERENCE EDITOR_DATA EDITOR_PREFERENCE_MANAGER EV_COLOR EV_FONT EV_FONT_CONSTANTS EV_LABEL EV_STOCK_COLORS FONT_PREFERENCE INTEGER_32 INTEGER_PREFERENCE ITERATION_CURSOR* [G] SPECIAL [T] TEXT_PANEL TEXT_PANEL_MANAGER -- Generated by Eiffel Studio --
For more details: eiffel.org