indexing
	description: "Edit control options (ECO) for the rich edit control."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_ECO_CONSTANTS

feature -- Access

	Eco_autohscroll: INTEGER is 128
			-- Same as ES_AUTOHSCROLL style.

	Eco_autovscroll: INTEGER is 64
			-- Same as ES_AUTOVSCROLL style.

	Eco_autowordselection: INTEGER is 1
			-- Automatic selection of word on doubleclick.

	Eco_nohidesel: INTEGER is 256
			-- Same as ES_NOHIDESEL style.

	Eco_readonly: INTEGER is 2048
			-- Same as ES_READONLY style.

	Eco_savesel: INTEGER is 32768
			-- Same as ES_SAVESEL style.

	Eco_selectionbar: INTEGER is 16777216
			-- Same as ES_SELECTIONBAR style.

	Eco_vertical: INTEGER is 4194304
			-- Same as ES_VERTICAL style. Available in
			-- Asian-language versions only.

	Eco_wantreturn: INTEGER is 4096
			-- Same as ES_WANTRETURN style.

	Ecoop_and: INTEGER is 3
			-- Retain only those current options that are also
			-- specified by fOptions.

	Ecoop_or: INTEGER is 2
			-- Combine the specified options with the current
			-- options.

	Ecoop_set: INTEGER is 1
			-- Set the options to those specified by fOptions.

	Ecoop_xor: INTEGER is 4
			-- Retain only those current options that are not
			-- specified by fOptions.
	
invariant

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

end -- class WEL_ECO_CONSTANTS