class
	EL_SPLIT_AREA_DOCKED_TAB_BOOK

inherit
	EL_DOCKED_TAB_BOOK
		redefine
			set_delivery_zone
		end

create
	make

feature -- Element change

	set_split_position_on_idle (a_width: INTEGER)
		do
--			Action.do_once_on_idle (agent (manager.contents.last).set_split_position (a_position))
			Action.do_once_on_idle (agent set_split_position (a_width))
		end

	set_split_position (a_width: INTEGER)
		do
			split_area.set_split_position (a_width)
		end

feature {NONE} -- Implementation

	set_delivery_zone
			-- set active zone to receive new tabs
		do
			-- Creates split area for adding new tabs on left side
			manager.contents.last.set_top ({SD_ENUMERATION}.left)
--			set_split_proportion_on_idle (Default_split_proportion)
		end

	split_area: SD_HORIZONTAL_SPLIT_AREA
		do
			if attached {SD_HORIZONTAL_SPLIT_AREA} inner_container_main.item as l_result then
				Result := l_result
			else
				create Result
			end
		end

end