| Index: tools/dom/scripts/htmldartgenerator.py
|
| diff --git a/tools/dom/scripts/htmldartgenerator.py b/tools/dom/scripts/htmldartgenerator.py
|
| index 8205dad1ed56eeda411ab87e5f2a7e451f4536f6..d549d981154a9873480fb08c25e0c4f30d76cc3a 100644
|
| --- a/tools/dom/scripts/htmldartgenerator.py
|
| +++ b/tools/dom/scripts/htmldartgenerator.py
|
| @@ -445,9 +445,9 @@ class HtmlDartGenerator(object):
|
| # TODO: Include all implemented interfaces, including other Lists.
|
| implements = []
|
| if self._interface_type_info.list_item_type():
|
| - item_type_info = self._type_registry.TypeInfo(
|
| - self._interface_type_info.list_item_type())
|
| - implements.append('List')
|
| + item_type = self._type_registry.TypeInfo(
|
| + self._interface_type_info.list_item_type()).dart_type()
|
| + implements.append('List<%s>' % item_type)
|
| return implements
|
|
|
| def Mixins(self):
|
|
|