Pretty Print

library/server/wsf_html/webcontrol/wsf_control.e

@@ -6,32 +6,35 @@ note
 
 deferred class
 	WSF_CONTROL
+
 feature {NONE}
+
 	make_control
-	do
-		control_name:=""
-	end
+		do
+			control_name := ""
+		end
 
 feature
+
 	control_name: STRING
 
 feature {WSF_PAGE_CONTROL}
 
-	handle_callback(event: STRING ; cname: STRING ; page: WSF_PAGE_CONTROL)
-	deferred
-	end
+	handle_callback (event: STRING; cname: STRING; page: WSF_PAGE_CONTROL)
+		deferred
+		end
 
 	render: STRING
-	deferred
-	end
+		deferred
+		end
 
 	state: JSON_OBJECT
-	deferred
-	end
+		deferred
+		end
 
-	read_state(states:JSON_OBJECT)
-	do
-		states.put (state, create {JSON_STRING}.make_json(control_name))
-	end
+	read_state (states: JSON_OBJECT)
+		do
+			states.put (state, create {JSON_STRING}.make_json (control_name))
+		end
 
 end