Automatic generation produced by ISE Eiffel
class MARGIN_WIDGET General cluster: text_window description: "Margin control for use with TEXT_PANEL." create: make_with_panel Ancestors EV_SHARED_APPLICATION SHARED_EDITOR_DATA TEXT_OBSERVER* Queries editor_preferences: EDITOR_DATA ev_application: EV_APPLICATION ev_separate_application: separate EV_APPLICATION initialized: BOOLEAN is_show_requested: BOOLEAN line_numbers_enabled: BOOLEAN line_numbers_visible: BOOLEAN margin_area: EV_DRAWING_AREA margin_viewport: EV_VIEWPORT Panel_manager: TEXT_PANEL_MANAGER Shared_environment: EV_ENVIRONMENT text_panel: TEXT_PANEL width: INTEGER_32 Commands destroy disable_line_numbers enable_line_numbers on_font_changed refresh refresh_now set_margin_width (a_width: INTEGER_32) setup_margin show synch_with_panel update_size_with_panel -- Generated by Eiffel Studio --
For more details: eiffel.org