| Index: client/html/generated/html/interface/Element.dart
|
| diff --git a/client/html/generated/html/interface/Element.dart b/client/html/generated/html/interface/Element.dart
|
| index 8e395a06ebc06db6b2584a9749506c6ce3a241ca..b7d3dd6225f21739e8aa0f3ba09e5a12be9945d9 100644
|
| --- a/client/html/generated/html/interface/Element.dart
|
| +++ b/client/html/generated/html/interface/Element.dart
|
| @@ -269,14 +269,12 @@ interface Element extends Node, NodeSelector default _ElementFactoryProvider {
|
| */
|
| ElementList get elements();
|
|
|
| - // TODO: The type of value should be Collection<Element>. See http://b/5392897
|
| - void set elements(value);
|
| + void set elements(Collection<Element> value);
|
|
|
| /** @domName className, classList */
|
| Set<String> get classes();
|
|
|
| - // TODO: The type of value should be Collection<String>. See http://b/5392897
|
| - void set classes(value);
|
| + void set classes(Collection<String> value);
|
|
|
| Map<String, String> get dataAttributes();
|
| void set dataAttributes(Map<String, String> value);
|
|
|