class
	MULTIPLE_SPLIT_AREA

General
	cluster: contrib_mswin
	description: "Objects that represent a split area that will hold multiple items."

Ancestors
	EV_VERTICAL_SPLIT_AREA

Action sequences
	close_actions: EV_NEW_ITEM_ACTION_SEQUENCE
	docked_in_actions: EV_NEW_ITEM_ACTION_SEQUENCE
	docked_out_actions: EV_NEW_ITEM_ACTION_SEQUENCE
	maximize_actions: EV_NEW_ITEM_ACTION_SEQUENCE
	minimize_actions: EV_NEW_ITEM_ACTION_SEQUENCE
	resize_actions: EV_GEOMETRY_ACTION_SEQUENCE
	restore_actions: EV_NEW_ITEM_ACTION_SEQUENCE

Queries
	count: INTEGER_32
	customizeable_area_of_widget (widget: EV_WIDGET): EV_HORIZONTAL_BOX
	disabled_close_button_shown: BOOLEAN
	disabled_minimize_button_shown: BOOLEAN
	external_representation: ARRAYED_LIST [EV_WIDGET]
	height: INTEGER_32
	hide_disabled_close_button: BOOLEAN
	is_blocked: BOOLEAN
	is_destroyed: BOOLEAN
	is_item_external (a_widget: EV_WIDGET): BOOLEAN
	is_item_maximized (a_widget: EV_WIDGET): BOOLEAN
	is_item_minimized (a_widget: EV_WIDGET): BOOLEAN
	is_show_requested: BOOLEAN
	linear_representation: ARRAYED_LIST [EV_WIDGET]
	original_index_of_external_item (a_widget: EV_WIDGET): INTEGER_32
	parent: EV_CONTAINER
	place_holder_inside_insert_structure (a_holder: MULTIPLE_SPLIT_AREA_TOOL_HOLDER): EV_VERTICAL_BOX
	show_disabled_close_button: BOOLEAN
	top_widget_resizing: BOOLEAN
	width: INTEGER_32

Commands
	add_external (widget: EV_WIDGET; window: EV_WINDOW; name: STRING_GENERAL; position, an_x, a_y, a_width, a_height: INTEGER_32)
	block
	disable_close_button (widget: EV_WIDGET)
	disable_top_widget_resizing
	enable_close_button (widget: EV_WIDGET)
	enable_close_button_as_grayed (widget: EV_WIDGET)
	enable_top_widget_resizing
	extend (widget: EV_WIDGET; name: STRING_GENERAL)
	hide_disabled_minimize_button
	insert_widget (widget: EV_WIDGET; name: STRING_GENERAL; position, desired_height: INTEGER_32)
	maximize_item (a_widget: EV_WIDGET)
	minimize_item (a_widget: EV_WIDGET)
	remove (a_widget: EV_WIDGET)
	resize_widget_to (a_widget: EV_WIDGET; a_height: INTEGER_32)
	restore_item (a_widget: EV_WIDGET)
	set_close_pixmap (pixmap: EV_PIXMAP)
	set_heights (heights: ARRAYED_LIST [INTEGER_32])
	set_heights_no_resize (heights: ARRAYED_LIST [INTEGER_32])
	set_item_restore_height (a_widget: EV_WIDGET; a_height: INTEGER_32)
	set_maximize_pixmap (pixmap: EV_PIXMAP)
	set_minimize_pixmap (pixmap: EV_PIXMAP)
	set_minimum_height (a_minimum_height: INTEGER_32)
	set_restore_pixmap (pixmap: EV_PIXMAP)
	show_disabled_minimize_button
	unblock
	wipe_out

Constraints
	linear representation not void
	all holders not void
	all split areas not void
	stored splitter widths not void
	external representation not void
	minimized states not void