indexing

	description: "[

		Background of an EM_WIDGET.

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

deferred class EM_BACKGROUND

feature -- Drawing

	draw_on (a_widget: EM_WIDGET) is
			-- Draw background on `a_widget'.
		require
			a_widget_not_void: a_widget /= Void
		deferred
		end

end