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']): |