indexing

	description: "[

		Delegate of an EM_TEXTAREA

	]"
	date: "$Date$"
	revision: "$Revision$"

class EM_ECLIPSE_TEXTAREA_DELEGATE

inherit

	EM_BASIC_TEXTAREA_DELEGATE
		redefine
			install
		end

feature -- Initialisation

	install (textarea: EM_TEXTAREA) is
			-- Install style on `textarea'.
			-- Set up all default values for background, border, font and colors.
		do
			Precursor {EM_BASIC_TEXTAREA_DELEGATE} (textarea)
			textarea.set_background_color (theme_colors.standard_background)
			textarea.set_border (create {EM_BEVEL_BORDER}.make_down)
		end

end