| Index: lib/dom/scripts/dartgenerator.py
|
| diff --git a/lib/dom/scripts/dartgenerator.py b/lib/dom/scripts/dartgenerator.py
|
| index 250583230c9306774143010d028afe99a9131624..65a6e8be26c976f357f5ace0ff0b46c435035d4d 100755
|
| --- a/lib/dom/scripts/dartgenerator.py
|
| +++ b/lib/dom/scripts/dartgenerator.py
|
| @@ -244,6 +244,11 @@ class DartGenerator(object):
|
| TemplateLoader(self._template_dir, ['html/interface', 'html', '']),
|
| self._database, self._emitters, self._output_dir, self)
|
| self._systems.append(html_interface_system)
|
| +
|
| + html_cross_frame_system = HtmlCrossFrameSystem(
|
| + TemplateLoader(self._template_dir, ['html', '']),
|
| + self._database, self._emitters, self._output_dir, self)
|
| + self._systems.append(html_cross_frame_system)
|
| else:
|
| interface_system = InterfacesSystem(
|
| TemplateLoader(self._template_dir, ['dom/interface', 'dom', '']),
|
| @@ -294,6 +299,7 @@ class DartGenerator(object):
|
| self._database, self._emitters, self._output_dir, self)
|
|
|
| html_system._interface_system = html_interface_system
|
| + html_system._cross_frame_system = html_cross_frame_system
|
| self._systems.append(html_system)
|
|
|
| if 'htmldartium' in systems:
|
| @@ -305,6 +311,7 @@ class DartGenerator(object):
|
| self._output_dir, self)
|
|
|
| html_system._interface_system = html_interface_system
|
| + html_system._cross_frame_system = html_cross_frame_system
|
| self._systems.append(html_system)
|
|
|
| # Collect interfaces
|
|
|