indexing

	description: "[

		Shared access to `widget_options' singleton.

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

class EM_SHARED_WIDGET_OPTIONS

feature -- Access

	Widget_options: EM_WIDGET_OPTIONS is
			-- Global widget options.
		once
			create Result.make
		end

end