Add comments to grid controls

2013-09-22 14:35:26 +02:00
parent 57dd4ce259
commit f360e8a867
12 changed files with 85 additions and 72 deletions
--- a/library/server/wsf_js_widget/progressbar/wsf_progress_control.e
+++ b/library/server/wsf_js_widget/progressbar/wsf_progress_control.e
@@ -71,7 +71,8 @@ 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) and p >= 0 and p <= 100
+			no_progress_source: not (attached progress_source)
+			valid_input_value: p >= 0 and p <= 100
 		do
 			progress := p
 			state_changes.put (create {JSON_NUMBER}.make_integer (progress), "progress")