| Index: sdk/lib/html/scripts/dartdomgenerator.py
|
| diff --git a/sdk/lib/html/scripts/dartdomgenerator.py b/sdk/lib/html/scripts/dartdomgenerator.py
|
| index d15f894120cf8cb4ea1f0d0ba9b12e92f3a2cb04..dea8fac6154ee8381d0f0262c973dec705add081 100755
|
| --- a/sdk/lib/html/scripts/dartdomgenerator.py
|
| +++ b/sdk/lib/html/scripts/dartdomgenerator.py
|
| @@ -25,7 +25,7 @@ from templateloader import TemplateLoader
|
|
|
| _logger = logging.getLogger('dartdomgenerator')
|
|
|
| -_libraries = ['html', 'svg', 'web_audio']
|
| +_libraries = ['html', 'indexed_db', 'svg', 'web_audio']
|
|
|
| class GeneratorOptions(object):
|
| def __init__(self, templates, database, type_registry, renamer):
|
| @@ -78,7 +78,8 @@ def GenerateFromDatabase(common_database, dart2js_output_dir,
|
| template_loader, webkit_database, type_registry, renamer)
|
| dart_library_emitter = DartLibraryEmitter(
|
| emitters, dart_output_dir, dart_libraries)
|
| - event_generator = HtmlEventGenerator(webkit_database, template_loader)
|
| + event_generator = HtmlEventGenerator(webkit_database, renamer,
|
| + template_loader)
|
|
|
| def generate_interface(interface):
|
| backend = backend_factory(interface)
|
|
|