indexing

	description: "[

		Delegate of an EM_TEXTBOX.

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

deferred class EM_TEXTBOX_DELEGATE

inherit

	EM_WIDGET_DELEGATE

feature -- Basic operations

	position_to_text_index (textbox: EM_TEXTBOX; a_x, a_y: INTEGER): INTEGER is
			-- Index in string at position `a_x' `a_y'
		require
			textbox_not_void: textbox /= Void
		deferred
		end

end