Automatic generation produced by ISE Eiffel

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

General
	cluster: implementation_mswin
	description: "Objects that hold SD_CONTENT's user widgets."

Ancestors
	SD_ACCESS*
	SD_DOCKING_MANAGER_HOLDER*

Queries
	child_zone_count: INTEGER_32
	content: SD_CONTENT
	docking_manager: SD_DOCKING_MANAGER
	has (a_content: SD_CONTENT): BOOLEAN
	has_content: BOOLEAN
	is_docking_manager_attached: BOOLEAN
	is_floating_zone: BOOLEAN
	is_maximized: BOOLEAN
	state: SD_STATE
	type: INTEGER_32

Commands
	clear_docking_manager
	close
	extend (a_content: SD_CONTENT)
	on_normal_max_window
	recover_to_normal_state
	set_docking_manager (a_docking_manager: [like docking_manager] SD_DOCKING_MANAGER)
	set_focus_color (a_focus: BOOLEAN)
	set_last_floating_height (a_height: INTEGER_32)
	set_last_floating_width (a_width: INTEGER_32)
	set_max (a_max: BOOLEAN)
	set_non_focus_selection_color
	update_mini_tool_bar_size

Constraints
	is widget
	internal shared not void



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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