indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

deferred class
	GB_TOOL_HOLDER_PARENT
	
feature -- Basic operation.

	maximize_tool (a_tool_holder: GB_TOOL_HOLDER) is
			-- Maximize `a_tool_holder'.
		deferred
		end
		
	minimize_tool (a_tool_holder: GB_TOOL_HOLDER) is
			-- Minimize `a_tool_holder'.
		deferred
		end
		


end -- class GB_SPLIT_AREA_TOOL_HOLDER