Improved Navbar, changed attribute handling

2013-09-22 18:20:17 +02:00
parent 57dd4ce259
commit 16b79ef193
5 changed files with 119 additions and 55 deletions
--- a/library/server/wsf_js_widget/webcontrol/wsf_control.e
+++ b/library/server/wsf_js_widget/webcontrol/wsf_control.e
@@ -22,6 +22,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