Automatic generation produced by ISE Eiffel
deferred class TEXT_OBSERVER Ancestors ANY Descendants MARGIN MARGIN_WIDGET TEXT_PANEL TEXT_PANEL_HEADER Clients TEXT_OBSERVER* TEXT_OBSERVER_MANAGER Suppliers TEXT_OBSERVER* -- Generated by Eiffel Studio --
For more details: eiffel.org