indexing
	description: "Objects that represent an EV_TITLED_WINDOW.%
		%The original version of this class was generated by EiffelBuild."
	date: "$Date$"
	revision: "$Revision$"

class
	INVALID_ENVIRONMENT_DIALOG

inherit
	INVALID_ENVIRONMENT_DIALOG_IMP


feature {NONE} -- Initialization

	user_initialization is
			-- called by `initialize'.
			-- Any custom user initialization that
			-- could not be performed in `initialize',
			-- (due to regeneration of implementation class)
			-- can be added here.
		do
		end

feature {NONE} -- Implementation

	
	button_selected is
			-- Called by `select_actions' of `ok_button'.
		do
			((create {EV_ENVIRONMENT}).application).destroy
		end

	

end -- class INVALID_ENVIRONMENT_DIALOG