indexing
	description: "[
	
		Singleton that provides acces to {EM_VIZ_OPTIONS}

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

class
	EM_SHARED_VIZ_OPTIONS

feature -- Singleton access

	Viz_options: EM_VIZ_OPTIONS is
			-- Global visualization options
		once
			create Result.make
		ensure
			result_exists: Result /= Void
		end

end