| Index: lib/dom/scripts/dartdomgenerator.py
|
| diff --git a/lib/dom/scripts/dartdomgenerator.py b/lib/dom/scripts/dartdomgenerator.py
|
| index 8d44c1980f69c6588805bdefdfae75dad570deb9..070e731ed0b65d98d859a53cf946866e62e57579 100755
|
| --- a/lib/dom/scripts/dartdomgenerator.py
|
| +++ b/lib/dom/scripts/dartdomgenerator.py
|
| @@ -95,7 +95,7 @@ def GenerateDOM(systems, generate_html_systems, output_dir,
|
| 'Function': 'EventListener',
|
| 'DOMStringMap': 'Map<String, String>',
|
| 'DOMStringList': 'List<String>',
|
| - }, False)
|
| + }, True)
|
| generator.FilterMembersWithUnidentifiedTypes(common_database)
|
| webkit_database = common_database.Clone()
|
|
|
| @@ -104,11 +104,11 @@ def GenerateDOM(systems, generate_html_systems, output_dir,
|
| or_annotations = ['WebKit', 'Dart'],
|
| exclude_displaced = ['WebKit'],
|
| exclude_suppressed = ['WebKit', 'Dart'])
|
| - generator.RenameTypes(webkit_database, _webkit_renames, False)
|
| + generator.RenameTypes(webkit_database, _webkit_renames, True)
|
|
|
| if generate_html_systems:
|
| html_renames = _MakeHtmlRenames(common_database)
|
| - generator.RenameTypes(webkit_database, html_renames, True)
|
| + generator.RenameTypes(webkit_database, html_renames, False)
|
| html_renames_inverse = dict((v,k) for k, v in html_renames.iteritems())
|
| else:
|
| html_renames_inverse = {}
|
|
|