Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class TEXT_OBSERVER_MANAGER General cluster: managers description: "Observer manager for TEXT_PANEL" create: make Ancestors ANY Queries is_modified: BOOLEAN is_notifying: BOOLEAN is_removing_block: BOOLEAN post_notify_actions: ARRAYED_LIST [ROUTINE] Commands add_cursor_observer (a_text_observer: TEXT_OBSERVER) add_edition_observer (a_text_observer: TEXT_OBSERVER) add_lines_observer (a_text_observer: TEXT_OBSERVER) add_selection_observer (a_text_observer: TEXT_OBSERVER) execute_post_notify_actions make recycle remove_observer (a_text_observer: TEXT_OBSERVER) set_changed (value, directly_edited: BOOLEAN)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org