Completed a previous commit, especially to web form library (WSF_FORM).

Updated EiffelStudio wizard.

tools/estudio_wizard/lib/wizard/gui/graphical_wizard_application.e

@@ -1,8 +1,7 @@
 note
-	description : "Objects that ..."
-	author      : "$Author$"
-	date        : "$Date$"
-	revision    : "$Revision$"
+	author: "$Author$"
+	date: "$Date$"
+	revision: "$Revision$"
 
 deferred class
 	GRAPHICAL_WIZARD_APPLICATION
@@ -53,8 +52,6 @@ feature {NONE} -- Widget
 feature -- Factory	
 
 	new_page (a_page_id: READABLE_STRING_8): GRAPHICAL_WIZARD_PAGE
-		local
-			lab: EV_LABEL
 		do
 			create Result.make (a_page_id)
 		end
@@ -89,7 +86,6 @@ feature {NONE} -- Implementation: UI
 			hb,hb2: EV_HORIZONTAL_BOX
 			mb, vb, headerb: EV_VERTICAL_BOX
 			lab: EV_LABEL
-			but: EV_BUTTON
 			cl: EV_CELL
 			fr: detachable EV_FRAME
 		do
@@ -182,7 +178,6 @@ feature {NONE} -- Implementation: UI
 
 				mb.extend (fr)
 				mb.disable_item_expand (fr)
-				fr := Void
 			end
 
 				-- ./Text part

tools/estudio_wizard/lib/wizard/gui/graphical_wizard_page.e

@@ -1,6 +1,4 @@
 note
-	description: "Summary description for {GRAPHICAL_WIZARD_PAGE}."
-	author: ""
 	date: "$Date$"
 	revision: "$Revision$"
 
@@ -20,7 +18,7 @@ inherit
 create
 	make
 
-feature {WIZARD, WIZARD_ENGINE, WIZARD_PAGE} -- Implementation
+feature {WIZARD, WIZARD_PAGE} -- Implementation
 
 	reuse
 		do
@@ -95,10 +93,11 @@ feature {NONE} -- Implementation
 
 	unparent (i: WIZARD_PAGE_ITEM)
 		do
-			if attached {GRAPHICAL_WIZARD_PAGE_ITEM} i as gpi then
-				if attached gpi.widget.parent as l_parent then
-					l_parent.prune (gpi.widget)
-				end
+			if
+				attached {GRAPHICAL_WIZARD_PAGE_ITEM} i as gpi and then
+				attached gpi.widget.parent as l_parent
+			then
+				l_parent.prune (gpi.widget)
 			end
 		end
 

tools/estudio_wizard/lib/wizard/gui/graphical_wizard_styler.e

@@ -1,6 +1,4 @@
 note
-	description: "Summary description for {GRAPHICAL_WIZARD_STYLER}."
-	author: ""
 	date: "$Date$"
 	revision: "$Revision$"
 
@@ -42,9 +40,7 @@ feature -- Style
 					lab.align_text_top
 				end
 			end
-			if attached {EV_COLORIZABLE} w as l_colorizable then
-				l_colorizable.set_foreground_color (colors.black)
-			end
+			w.set_foreground_color (colors.black)
 			if attached {EV_FONTABLE} w as l_fontable then
 				l_fontable.set_font (text_font)
 			end
@@ -82,9 +78,7 @@ feature -- Style
 	apply_field_description_style (w: EV_WIDGET)
 		do
 			apply_text_style (w)
-			if attached {EV_COLORIZABLE} w as l_colorizable then
-				l_colorizable.set_foreground_color (colors.dark_gray)
-			end
+			w.set_foreground_color (colors.dark_gray)
 			if attached {EV_FONTABLE} w as l_fontable then
 				l_fontable.set_font (field_description_font)
 			end

tools/estudio_wizard/lib/wizard/gui/items/graphical_wizard_directory_question.e

@@ -66,7 +66,7 @@ feature -- Conversion
 
 	text: STRING_32
 		do
-			Result := input_widget.text
+			Result := input_widget.file_path.name
 		end
 
 	value: detachable PATH
@@ -92,11 +92,7 @@ feature -- Element change
 
 	set_value (p: like value)
 		do
-			if p = Void then
-				input_widget.set_text ("")
-			else
-				input_widget.set_text (p.name)
-			end
+			input_widget.set_file_path (if attached p then p else create {PATH}.make_empty end)
 		end
 
 end

tools/estudio_wizard/lib/wizard/gui/items/graphical_wizard_integer_question.e

@@ -1,6 +1,4 @@
 note
-	description: "Summary description for {GRAPHICAL_WIZARD_INTEGER_QUESTION}."
-	author: ""
 	date: "$Date$"
 	revision: "$Revision$"
 
@@ -94,8 +92,6 @@ feature -- Element change
 				set_value (0)
 			elseif t.is_integer then
 				set_value (t.to_integer)
-			else
-				-- ignore !
 			end
 		end
 

tools/estudio_wizard/lib/wizard/gui/items/graphical_wizard_question.e

@@ -1,6 +1,4 @@
 note
-	description: "Summary description for {GRAPHICAL_WIZARD_QUESTION}."
-	author: ""
 	date: "$Date$"
 	revision: "$Revision$"
 
@@ -41,7 +39,6 @@ feature {NONE} -- Implementation
 
 	append_indented_widget (w: EV_WIDGET; a_container: EV_BOX)
 		local
-			lab: EV_LABEL
 			hb: EV_HORIZONTAL_BOX
 		do
 			create hb