indexing

	description: "[

		Delegate of an EM_LIST.

	]"
	date: "$Date$"
	revision: "$Revision$"

deferred class EM_LIST_DELEGATE

inherit

	EM_WIDGET_DELEGATE

feature -- Basic operations

	position_to_text_index (list: EM_LIST [ANY]; a_x, a_y: INTEGER): INTEGER is
			-- List index at position `a_x' `a_y'
		deferred
		end

end