note
	description: "Summary description for {EWF_WIZARD_WINDOW}."
	date: "$Date$"
	revision: "$Revision$"

class
	LIBRARY_WIZARD_WINDOW

inherit
	GRAPHICAL_WIZARD_WINDOW
		redefine
			side_bar_items
		end

feature {NONE} -- Initialization

	new_wizard: LIBRARY_WIZARD
		do
			create Result.make (Current)
		end

feature -- Access

	side_bar_items (a_page: WIZARD_PAGE): ARRAYED_LIST [WIZARD_PAGE_ITEM]
		local
			lab: EV_LABEL
		do
			Result := Precursor (a_page)
			if a_page.page_id.is_case_insensitive_equal_general ("first")
				or a_page.page_id.is_case_insensitive_equal_general ("final")
			then
				create lab.make_with_text ("Eiffel Library")
				lab.set_foreground_color (colors.white)
				Result.extend (create {GRAPHICAL_WIZARD_PAGE_WIDGET}.make_with_widget (lab))
			end
		end

end