| Index: lib/html/scripts/generator.py
|
| diff --git a/lib/html/scripts/generator.py b/lib/html/scripts/generator.py
|
| index f0b1ca0cd8b4135b63f12d49ca80a55e4e7e2fcd..2b52ec8ea4914ace51ab0cc0f1dda8cab48d067c 100644
|
| --- a/lib/html/scripts/generator.py
|
| +++ b/lib/html/scripts/generator.py
|
| @@ -974,7 +974,7 @@ class TypeRegistry(object):
|
| if self._renamer:
|
| return self._renamer.RenameInterface(interface)
|
| else:
|
| - return interface.id
|
| + return interface.ext_attrs.get('InterfaceName', interface.id)
|
| return dart_type
|
|
|
| def _TypeInfo(self, type_name):
|
|
|