indexing

	description: "[

		Delegate of an EM_SLIDER

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

deferred class EM_SLIDER_DELEGATE

inherit

	EM_WIDGET_DELEGATE

feature -- Basic operations

	position_to_value (slider: EM_SLIDER; a_x, a_y: INTEGER): INTEGER is
			-- Slider value at position `a_x' `a_y'
		require
			slider_not_void: slider /= Void
		deferred
		end

end