indexing

	description: "[

		Deferred class of a mouse cursor.

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

deferred class

	MOUSE_CURSOR

inherit

	EM_IMAGEPANEL

feature -- Access

	offset_x, offset_y: INTEGER
			-- cursor offset

	id: INTEGER is
			-- each cursor has its own id.
		deferred
		end

end