| Index: client/dom/scripts/dartgenerator.py
|
| diff --git a/client/dom/scripts/dartgenerator.py b/client/dom/scripts/dartgenerator.py
|
| index b0711cfe5102d0e5a083663dc6fb2923f402c4ac..25ee28ab4dc62276eafac444a28f88e741042a1d 100755
|
| --- a/client/dom/scripts/dartgenerator.py
|
| +++ b/client/dom/scripts/dartgenerator.py
|
| @@ -1507,6 +1507,10 @@ class WrappingInterfaceGenerator(object):
|
| ' _Collections.forEach(this, f);\n'
|
| ' }\n'
|
| '\n'
|
| + ' Collection map(f($TYPE element)) {\n'
|
| + ' return _Collections.map(this, [], f);\n'
|
| + ' }\n'
|
| + '\n'
|
| ' Collection<$TYPE> filter(bool f($TYPE element)) {\n'
|
| ' return _Collections.filter(this, new List<$TYPE>(), f);\n'
|
| ' }\n'
|
|
|