indexing
	description: "Images for default cursors (IDC) constants."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"
	note: "Constants changed from INTEGER to POINTER."

class interface
	WEL_IDC_CONSTANTS

feature -- Access

	idc_appstarting: POINTER

	idc_arrow: POINTER

	idc_cross: POINTER

	idc_help: POINTER

	idc_ibeam: POINTER

	idc_no: POINTER

	idc_sizeall: POINTER

	idc_sizenesw: POINTER

	idc_sizens: POINTER

	idc_sizenwse: POINTER

	idc_sizewe: POINTER

	idc_uparrow: POINTER

	idc_wait: POINTER
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class WEL_IDC_CONSTANTS