indexing
	description: "Objects that represent the Vision2 application.%
		%The original version of this class has been generated by EiffelBuild."
	date: "$Date$"
	revision: "$Revision$"

class
	VISION2_APPLICATION

inherit
	EV_APPLICATION
	
	GRID_ACCESSOR
		rename
			launch as environment_launch
		undefine
			default_create, is_equal, copy
		end

	PROFILING_SETTING
		undefine
			default_Create, is_equal, copy
		end

create
	make_and_launch
	
feature {NONE} -- Initialization

	make_and_launch is
			-- Create `Current', build and display `main_window',
			-- then launch the application.
		do
			default_create
			main_window.show
			launch
			if profile_cell.item then
				start_profiling
			end
		end

end -- class VISION2_APPLICATION