| Index: tools/dom/scripts/generator.py
|
| diff --git a/tools/dom/scripts/generator.py b/tools/dom/scripts/generator.py
|
| index ea2ddad8a977f64cd11a9584f2fceb75a4302d6e..21aa0f959759e7f8dc6aec805be7d4521e7d36c1 100644
|
| --- a/tools/dom/scripts/generator.py
|
| +++ b/tools/dom/scripts/generator.py
|
| @@ -831,7 +831,7 @@ def GetComments(interface_name, member_name=None, library_name=None):
|
|
|
| # Add documentation from JSON.
|
| comments = []
|
| -
|
| + library_name = 'dart.dom.%s' % library_name
|
| if library_name in _dom_json and interface_name in _dom_json[library_name]:
|
| if member_name and (member_name in
|
| _dom_json[library_name][interface_name]['members']):
|
|
|