Added slider demo

2013-09-24 02:38:36 +02:00
parent a5fa428e98
commit 6908bfe7bf
9 changed files with 82 additions and 31 deletions
--- a/library/server/wsf_js_widget/webcontrol/wsf_page_control.e
+++ b/library/server/wsf_js_widget/webcontrol/wsf_page_control.e
@@ -145,7 +145,7 @@ feature -- Implementation
 			end
 		end

-feature -- EVENT HANDLING
+feature -- Event handling

 	handle_callback (cname: STRING; event: STRING; event_parameter: detachable STRING)
 			-- Forward callback to control
@@ -153,7 +153,7 @@ feature -- EVENT HANDLING
 			control.handle_callback (cname, event, event_parameter)
 		end

-feature {WSF_PAGE_CONTROL, WSF_CONTROL} -- STATE MANAGEMENT
+feature {WSF_PAGE_CONTROL, WSF_CONTROL} -- State management

 	state: JSON_OBJECT
 		do