Automatic generation produced by ISE Eiffel
class EDITOR_LINE Ancestors VIEWER_LINE Descendants EDITOR_PARTIAL_LINE Clients EDITABLE_TEXT EDITABLE_TEXT_PANEL EDITOR_LINE KEYBOARD_SELECTABLE_TEXT_PANEL MARGIN MARGIN_WIDGET SELECTABLE_TEXT TEXT TEXT_CURSOR TEXT_PANEL Suppliers BOOLEAN EDITOR_LINE EDITOR_SCANNER* EDITOR_TOKEN* EDITOR_TOKEN_EOL EDITOR_TOKEN_LINE_NUMBER INTEGER_32 STRING_32 TEXT_CURSOR -- Generated by Eiffel Studio --
For more details: eiffel.org