Added comments to autocompletion, input, navbar, progressbar, validator, webcontrol. Some more little changes.

library/server/wsf_js_widget/progressbar/wsf_progress_control.e

@@ -17,6 +17,7 @@ create
 feature {NONE} -- Initialization
 
 	make_progress (n: STRING)
+			-- Initialize with specified control name
 		do
 			make_control (n, "div")
 			add_class ("progress")
@@ -24,6 +25,7 @@ feature {NONE} -- Initialization
 		end
 
 	make_progress_with_source (n: STRING; p: WSF_PROGRESSSOURCE)
+			-- Initialize with specified control name and progresssource
 		do
 			make_progress (n)
 			progress_source := p
@@ -64,21 +66,18 @@ feature -- Rendering
 			Result := render_tag (Result, "")
 		end
 
-feature --Change progress
+feature -- Change
 
 	set_progress (p: INTEGER)
+			-- Set current progress value to specified value. Must be between 0 and 100. Must only be called when no progresssource has been set to this progress control
 		require
-			no_progress_source: not (attached progress_source)
+			no_progress_source: not (attached progress_source) and p >= 0 and p <= 100
 		do
 			progress := p
 			state_changes.put (create {JSON_NUMBER}.make_integer (progress), "progress")
 		end
 
-feature
-
-	progress_source: detachable WSF_PROGRESSSOURCE
-
-	progress: INTEGER
+feature -- Implementation
 
 	progress_value: INTEGER
 		do
@@ -88,4 +87,10 @@ feature
 			end
 		end
 
+feature -- Properties
+
+	progress_source: detachable WSF_PROGRESSSOURCE
+
+	progress: INTEGER
+
 end

library/server/wsf_js_widget/progressbar/wsf_progresssource.e

@@ -7,9 +7,10 @@ note
 deferred class
 	WSF_PROGRESSSOURCE
 
-feature
+feature -- Specification
 
 	progress: INTEGER
+			-- Current value of progress between 0 and 100 of this progresssource
 		deferred
 		end