Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	MARGIN

General
	cluster: text_window
	description: "Margin control for use with TEXT_PANEL."
	create: make

Ancestors
	SHARED_EDITOR_DATA
	TEXT_OBSERVER*

Queries
	buffered_screen: EDITOR_BUFFERED_SCREEN
	editor_preferences: EDITOR_DATA
	hidden_breakpoints: BOOLEAN
	initialized: BOOLEAN
	line_numbers_visible: BOOLEAN
	margin_area: EV_DRAWING_AREA
	Panel_manager: TEXT_PANEL_MANAGER
	text_panel: TEXT_PANEL
	widget: EV_VERTICAL_BOX
	width: INTEGER_32

Commands
	build_margin_area
	destroy
	hide_breakpoints
	make (a_text_panel: TEXT_PANEL)
	refresh
	refresh_now
	set_first_line_displayed (fld: INTEGER_32)
	set_margin_width (a_width: INTEGER_32)
	setup_margin
	show_breakpoints



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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