| Index: lib/dom/scripts/dartgenerator.py
|
| diff --git a/lib/dom/scripts/dartgenerator.py b/lib/dom/scripts/dartgenerator.py
|
| index 7e3d246ec89ce8dcb2be9c44ec308bb2091b3c2b..4d8f18f152015727452a3915a0ebd9dae4c32089 100755
|
| --- a/lib/dom/scripts/dartgenerator.py
|
| +++ b/lib/dom/scripts/dartgenerator.py
|
| @@ -108,8 +108,13 @@ class DartGenerator(object):
|
| new_interface = database.GetInterface(new_name)
|
| MergeNodes(new_interface, interface)
|
|
|
| - interface.javascript_binding_name = (old_name if rename_javascript_binding_names
|
| - else new_name)
|
| + if rename_javascript_binding_names:
|
| + interface.javascript_binding_name = new_name
|
| + interface.doc_js_name = new_name
|
| + for member in (interface.operations + interface.constants
|
| + + interface.attributes):
|
| + member.doc_js_interface_name = new_name
|
| +
|
|
|
| # Fix references:
|
| for interface in database.GetInterfaces():
|
|
|