indexing
	description: "Paragraph format alignment (PFA) constants for the rich edit control."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_PFA_CONSTANTS

feature -- Access

	pfa_center: INTEGER
			-- Paragraphs are centered.

	pfa_left: INTEGER
			-- Paragraphs are aligned with the left margin.

	pfa_right: INTEGER
			-- Paragraphs are aligned with the right margin.
	
invariant

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

end -- class WEL_PFA_CONSTANTS