Automatic generation produced by ISE Eiffel

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

General
	cluster: document
	description: "Item for TEXT_PANEL_HEADER"
	create: make

Ancestors
	DOCUMENT_ITEM*
	SHARED_EDITOR_DATA
	SHARED_EDITOR_FONT

Queries
	cursor_char: INTEGER_32
	cursor_line: INTEGER_32
	data: TEXT
	document_type: STRING_8
	editor_preferences: EDITOR_DATA
	first_line_displayed: INTEGER_32
	font: EV_FONT
	font_offset: INTEGER_32
	font_width: INTEGER_32
	has_font: BOOLEAN
	has_header_font: BOOLEAN
	has_keyword_font: BOOLEAN
	header_font: EV_FONT
	image: STRING_8
	initialized: BOOLEAN
	is_equal (other: [like Current] TEXT_PANEL_HEADER_ITEM): BOOLEAN
	is_fixed_width: BOOLEAN
	keyword_font: EV_FONT
	length: INTEGER_32
	line_height: INTEGER_32
	name: STRING_8
	next: [like Current] TEXT_PANEL_HEADER_ITEM
	Panel_manager: TEXT_PANEL_MANAGER
	position: INTEGER_32
	previous: [like Current] TEXT_PANEL_HEADER_ITEM
	retrieve_position_by_width (a_width: INTEGER_32): INTEGER_32
	substring_width (n: INTEGER_32): INTEGER_32
	width: INTEGER_32

Commands
	display (device: EV_PIXMAP; panel: TEXT_PANEL)
	display_selected (device: EV_PIXMAP; panel: TEXT_PANEL)
	make (a_name: STRING_8)
	set_next (a_next: [like next] [like Current] TEXT_PANEL_HEADER_ITEM)
	set_previous (a_prev: [like previous] [like Current] TEXT_PANEL_HEADER_ITEM)
	update_position
	update_width

Constraints
	image not void
	width positive or null
	width positive or null



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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