| Index: tools/dom/templates/html/impl/impl_HTMLSelectElement.darttemplate
|
| diff --git a/tools/dom/templates/html/impl/impl_HTMLSelectElement.darttemplate b/tools/dom/templates/html/impl/impl_HTMLSelectElement.darttemplate
|
| index ad44ea673bed365a26717240262236589ccf69a6..5d8210b1d089182ebad5c46afa39571d778b01d7 100644
|
| --- a/tools/dom/templates/html/impl/impl_HTMLSelectElement.darttemplate
|
| +++ b/tools/dom/templates/html/impl/impl_HTMLSelectElement.darttemplate
|
| @@ -11,13 +11,13 @@ $!MEMBERS
|
| // Override default options, since IE returns SelectElement itself and it
|
| // does not operate as a List.
|
| List<OptionElement> get options {
|
| - return this.children.filter((e) => e is OptionElement);
|
| + return this.children.where((e) => e is OptionElement).toList();
|
| }
|
|
|
| List<OptionElement> get selectedOptions {
|
| // IE does not change the selected flag for single-selection items.
|
| if (this.multiple) {
|
| - return this.options.filter((o) => o.selected);
|
| + return this.options.where((o) => o.selected).toList();
|
| } else {
|
| return [this.options[this.selectedIndex]];
|
| }
|
|
|