| Index: lib/dom/scripts/dartdomgenerator.py
|
| diff --git a/lib/dom/scripts/dartdomgenerator.py b/lib/dom/scripts/dartdomgenerator.py
|
| index d4f7101bb7befbcb36935942492338ceadb45bbe..5296f2a13c6e18d4a782ba137fdd291a30ee585f 100755
|
| --- a/lib/dom/scripts/dartdomgenerator.py
|
| +++ b/lib/dom/scripts/dartdomgenerator.py
|
| @@ -62,6 +62,7 @@ def Generate(system_names, database_dir, use_database_cache, dom_output_dir,
|
| exclude_suppressed = ['WebKit', 'Dart'])
|
| generator.RenameTypes(webkit_database, _webkit_renames, True)
|
| generator.FixEventTargets(webkit_database)
|
| + generator.AddMissingArguments(webkit_database)
|
|
|
| def CreateGeneratorOptions(template_paths, conditions, type_registry, output_dir,
|
| renamer=None):
|
|
|