class APPLICATION

inherit
	SHARED_CONTROL;
	STATES;
	WINDOWS

create 
	make

feature 

	make is
		do
			control.put (basic, exit_from_application, "quit")
			control.put (basic, editing, "modify")
			control.put (basic, viewing, "view")
			control.put (editing, basic, "save")
			control.put (editing, exit_from_application, "quit")
			control.put (editing, viewing, "view")
			control.put (viewing, exit_from_application, "quit")
			control.put (viewing, return_to_previous, "back")
			control.set_initial_state (basic)
			init_windowing
		end

end -- class APPLICATION