deferred class ERROR_POPUPER 

inherit

	POPUPER

feature 

	continue_after_error_popdown  is
			-- Perform necessary action after error_box has popdown.
			-- (By default do nothing). 
		do
		end

end