indexing
	description	: "Window which displays a state which is neither final nor initial."
	author		: "Arnaud PICHERY [aranud@mail.dotcom.fr]"
	date		: "$Date$"
	revision	: "$Revision$"

deferred class
	BENCH_WIZARD_INTERMEDIARY_STATE_WINDOW

inherit
	WIZARD_INTERMEDIARY_STATE_WINDOW
		redefine
			cancel
		end

feature -- Basic operations

	cancel is
			-- User	has pressed the cancel button
		do
			write_bench_notification_cancel
		end

end -- class BENCH_WIZARD_INTERMEDIARY_STATE_WINDOW