-- Procedure text for class BACK
-- (See ``Guided Tour'' of EiffelBuild manual.)

execute is
		-- Restore saved text and prepare to switch back
		-- to earlier state.
	do
		argument1.set_text (saved_text)
		argument1.set_editable
		set_transition_label (back_label)
	end