class
	EV_CHARACTER_FORMAT_EFFECTS

General
	cluster: interface
	description: "Objects that represent effects applicable to EiffelVision2 character formats."

Ancestors
	ANY

Queries
	is_equal (other: [like Current] EV_CHARACTER_FORMAT_EFFECTS): BOOLEAN
	is_striked_out: BOOLEAN
	is_underlined: BOOLEAN
	vertical_offset: INTEGER_32

Commands
	disable_striked_out
	disable_underlined
	enable_striked_out
	enable_underlined
	set_vertical_offset (an_offset: INTEGER_32)