| Index: sdk/lib/html/html_common/filtered_element_list.dart
|
| diff --git a/sdk/lib/html/html_common/filtered_element_list.dart b/sdk/lib/html/html_common/filtered_element_list.dart
|
| index 357ff5faa2f38a6a72eb0e9adab512fd9e336343..43d004deaa98f71e9a55317741eee49a187bf12e 100644
|
| --- a/sdk/lib/html/html_common/filtered_element_list.dart
|
| +++ b/sdk/lib/html/html_common/filtered_element_list.dart
|
| @@ -145,6 +145,12 @@ class FilteredElementList implements List {
|
| dynamic combine(dynamic previousValue, Element element)) {
|
| return IterableMixinWorkaround.reduce(this, initialValue, combine);
|
| }
|
| +
|
| + dynamic fold(dynamic initialValue,
|
| + dynamic combine(dynamic previousValue, Element element)) {
|
| + return IterableMixinWorkaround.fold(this, initialValue, combine);
|
| + }
|
| +
|
| bool every(bool f(Element element)) => _filtered.every(f);
|
| bool any(bool f(Element element)) => _filtered.any(f);
|
| List<Element> toList({ bool growable: true }) =>
|
|
|