class WINDOWS

inherit

	GRAPHICS
		redefine
			init_toolkit
		end

feature

	application_screen: SCREEN is
		once
			!!Result.make ("")
		end

	init_toolkit: TOOLKIT_IMP is
		once
			!!Result.make ("")
		end

	init_windowing is
		do
			if (init_toolkit = Void) then end
			if (toolkit = Void) then end
			Perm_wind1.realize
			iterate
		end

	Perm_wind1: PERM_WIND1 is
		once
			!!Result.make ("Perm_wind1", application_screen)
		end

end