ATTENTION: ugly append_attributes added to stateless control, replaces set_attributes -> maybe improve

draft/library/wsf_js_widget/kernel/dropdown/wsf_dropdown_control.e

@@ -45,6 +45,7 @@ feature -- Change
 			li: WSF_MULTI_CONTROL [WSF_STATELESS_CONTROL]
 		do
 			create li.make_with_tag_name ("li")
+			li.append_attribute ("role=%"presentation%"")
 			li.add_control (c)
 			dropdown_menu.add_control (li)
 		end
@@ -59,7 +60,7 @@ feature -- Change
 
 	add_divider
 		do
-			dropdown_menu.add_control (create {WSF_BASIC_CONTROL}.make_with_body_class ("li", "", "divider", ""))
+			dropdown_menu.add_control (create {WSF_BASIC_CONTROL}.make_with_body_class ("li", "role=%"menuitem%"", "divider", ""))
 		end
 
 feature -- Properties

draft/library/wsf_js_widget/kernel/webcontrol/wsf_stateless_control.e

@@ -43,10 +43,15 @@ feature -- Change
 			css_classes.prune (cla)
 		end
 
-	set_attributes (a: STRING)
-			-- Set the attributes of this control
+	append_attribute (a: STRING)
+			-- Adds the specified attribute to the attribute string of this control
 		do
-			attributes := a
+			if attached attributes as attr then
+				attr.append (" ")
+				attr.append (a)
+			else
+				attributes := a
+			end
 		end
 
 feature -- Rendering