Automatic generation produced by ISE Eiffel
class TEXT_PANEL_HEADER Ancestors DOCUMENT_LIST* [G -> DOCUMENT_ITEM] SHARED_EDITOR_DATA SHARED_EDITOR_FONT TEXT_OBSERVER* Clients TEXT_PANEL_HEADER Suppliers ACTION_SEQUENCE [EVENT_DATA -> TUPLE create default_create end] BOOLEAN EDITOR_DATA EDITOR_ICONS* EV_DRAWING_AREA EV_FONT EV_GEOMETRY_ACTION_SEQUENCE EV_HORIZONTAL_BOX EV_NOTIFY_ACTION_SEQUENCE EV_PIXMAP EV_POINTER_BUTTON_ACTION_SEQUENCE EV_RECTANGLE EV_TOOL_BAR EV_TOOL_BAR_BUTTON INTEGER_32 KEYBOARD_SELECTABLE_TEXT_PANEL LINKED_LIST [G] PATH SELECTABLE_TEXT SPECIAL [T] TEXT TEXT_CURSOR TEXT_PANEL TEXT_PANEL_HEADER TEXT_PANEL_HEADER_ITEM -- Generated by Eiffel Studio --
For more details: eiffel.org