indexing
	description: "Window activation (WA) constants."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_WA_CONSTANTS

feature -- Access

	Wa_active: INTEGER is 1
			-- Window gains activation via alt-tab

	Wa_clickactive: INTEGER is 2
			-- Window gains activation via mouse click

	Wa_inactivate: INTEGER is 0
			-- Window loses activation
	
invariant

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

end -- class WEL_WA_CONSTANTS