Merge branch 'widget_slider' into widget

Conflicts:
	draft/library/wsf_js_widget/kernel/webcontrol/wsf_control.e
	examples/widgetapp/base_page.e

draft/library/wsf_js_widget/kernel/grid/wsf_repeater_control.e

@@ -19,13 +19,16 @@ inherit
 feature {NONE} -- Initialization
 
 	make_repeater (n: STRING; a_datasource: WSF_DATASOURCE [G])
+		local
+			p: WSF_PAGINATION_CONTROL [G]
 		do
 			make_multi_control (n)
 			datasource := a_datasource
 			datasource.set_on_update_agent (agent update)
 			if attached {WSF_PAGABLE_DATASOURCE [G]} a_datasource as ds then
-				create pagination_control.make_paging (n + "_paging", ds)
-				add_control (pagination_control)
+				create p.make_paging (n + "_paging", ds)
+				add_control (p)
+				pagination_control := p
 			end
 		end
 
@@ -53,7 +56,6 @@ feature {WSF_PAGE_CONTROL, WSF_CONTROL} -- State management
 			Result.put (datasource.state, "datasource")
 		end
 
-
 feature -- Rendering
 
 	render_item (item: G): STRING