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

Conflicts: examples/widgetapp/base_page.e
2013-09-22 19:11:46 +02:00
parent b33de9985f 87569ccee9
commit 5a18cb4246
5 changed files with 122 additions and 50 deletions
--- a/library/server/wsf_js_widget/webcontrol/wsf_control.e
+++ b/library/server/wsf_js_widget/webcontrol/wsf_control.e
@@ -23,6 +23,9 @@ feature {NONE} -- Initialization

 	make_control (n, a_tag_name: STRING)
 			-- Initialize with specified control name and tag
+		require
+			not n.is_empty
+			not a_tag_name.is_empty
 		do
 			make (a_tag_name)
 			control_name := n