    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