| Index: lib/dom/scripts/dartdomgenerator.py
|
| diff --git a/lib/dom/scripts/dartdomgenerator.py b/lib/dom/scripts/dartdomgenerator.py
|
| index 070e731ed0b65d98d859a53cf946866e62e57579..89e4859545b220050827100f026dc4447f73afbf 100755
|
| --- a/lib/dom/scripts/dartdomgenerator.py
|
| +++ b/lib/dom/scripts/dartdomgenerator.py
|
| @@ -85,17 +85,13 @@ def GenerateDOM(systems, generate_html_systems, output_dir,
|
| common_database.LoadFromCache()
|
| else:
|
| common_database.Load()
|
| - # Remove these types since they are mapped directly to dart.
|
| - common_database.DeleteInterface('DOMStringMap')
|
| - common_database.DeleteInterface('DOMStringList')
|
|
|
| generator.RenameTypes(common_database, {
|
| # W3C -> Dart renames
|
| 'AbstractView': 'Window',
|
| 'Function': 'EventListener',
|
| - 'DOMStringMap': 'Map<String, String>',
|
| - 'DOMStringList': 'List<String>',
|
| }, True)
|
| +
|
| generator.FilterMembersWithUnidentifiedTypes(common_database)
|
| webkit_database = common_database.Clone()
|
|
|
|
|