indexing
	description: "Possible notification messages of class WEL_HEADER_CONTROL"
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_HDN_CONSTANTS

feature -- Access

	hdn_begin_track: INTEGER

	hdn_divider_dbl_click: INTEGER

	hdn_end_track: INTEGER

	hdn_item_changed: INTEGER

	hdn_item_changing: INTEGER

	hdn_item_click: INTEGER

	hdn_item_dbl_click: INTEGER

	hdn_track: INTEGER
	
invariant

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

end -- class WEL_HDN_CONSTANTS