Change parameter type

2013-12-31 21:25:01 +01:00
parent 1ae44e74e7
commit b39dd5c40d
17 changed files with 153 additions and 31 deletions
--- a/draft/library/wsf_js_widget/kernel/progressbar/wsf_progress_control.e
+++ b/draft/library/wsf_js_widget/kernel/progressbar/wsf_progress_control.e
@@ -51,7 +51,7 @@ feature -- State handling

 feature -- Event handling

-	handle_callback (cname: LIST[STRING]; event: STRING; event_parameter: detachable STRING)
+	handle_callback (cname: LIST[STRING]; event: STRING; event_parameter: detachable ANY)
 		do
 			if cname[1].same_string (control_name) and event.same_string ("progress_fetch") then
 				state_changes.put_integer (progress_value, "progress")