Merge branch 'widget' of github.com:ynh/EWF into widget

2014-01-11 12:53:59 +01:00
parent ee473d8844 564248284a
commit d82cacc18f
9 changed files with 52 additions and 7 deletions
--- a/draft/library/wsf_js_widget/kernel/widgets/wsf_date_picker_control.e
+++ b/draft/library/wsf_js_widget/kernel/widgets/wsf_date_picker_control.e
@@ -54,6 +54,11 @@ feature -- Implementation
 			Result := input.value
 		end

+	set_value (v: STRING)
+		do
+			input.set_value (v)
+		end
+
 feature -- Properties

 	input: WSF_INPUT_CONTROL