Fixed slider

examples/widgetapp/base_page.e

@@ -10,15 +10,13 @@ deferred class
 inherit
 
 	WSF_PAGE_CONTROL
-	redefine
-		control
+		redefine
+			control
 		end
 
 feature
 
 	initialize_controls
-		local
-			navbar: WSF_NAVBAR_CONTROL
 		do
 			create control.make_multi_control ("container")
 			control.add_class ("container")
@@ -37,4 +35,6 @@ feature
 
 	control: WSF_MULTI_CONTROL [WSF_STATELESS_CONTROL]
 
+	navbar: WSF_NAVBAR_CONTROL
+
 end

examples/widgetapp/image_slider_page.e

@@ -24,6 +24,8 @@ feature -- Implementation
 			Precursor
 			create slider.make_slider ("myslider")
 			slider.add_image ("http://www.placesmustseen.com/wp-content/uploads/2013/01/paris-eiffel-tower.jpg", "Eiffel Tower")
+			slider.add_image ("http://24.media.tumblr.com/0fcec9a7dde5b405a46b6fcda1ffad0c/tumblr_mtagkyYVIT1st5lhmo1_1280.jpg", "car")
+			slider.add_image ("http://25.media.tumblr.com/d9e791508eb9a532aa7f258fa4e0fedc/tumblr_mtag5zve3g1st5lhmo1_1280.jpg", "landscape")
 			control.add_control (create {WSF_BASIC_CONTROL}.make_with_body ("h1", "", " Image Slider Demo"))
 			control.add_control (slider)
 		end

examples/widgetapp/sample_page.e

@@ -86,6 +86,7 @@ feature
 			source.set_control (progress)
 			progress.set_isolation (true)
 			control.add_control (progress)
+			navbar.set_active (1)
 		end
 
 	handle_click2