| Index: client/dom/templates/html/frog/html_frog.darttemplate
 | 
| diff --git a/client/dom/templates/html/frog/html_frog.darttemplate b/client/dom/templates/html/frog/html_frog.darttemplate
 | 
| index 76a58fa2e713873ccafee1dfa4547834d86b08d0..65bafde89a17b5177d86bb12261cf0b509413c77 100644
 | 
| --- a/client/dom/templates/html/frog/html_frog.darttemplate
 | 
| +++ b/client/dom/templates/html/frog/html_frog.darttemplate
 | 
| @@ -8,24 +8,22 @@
 | 
|  #library("html");
 | 
|  
 | 
|  $!GENERATED_DART_FILES
 | 
| -#source('src/EventListener.dart');
 | 
| -#source('src/KeyLocation.dart');
 | 
| -#source('src/KeyName.dart');
 | 
| -#source('src/ReadyState.dart');
 | 
| -#source('src/TimeoutHandler.dart');
 | 
| -#source('src/_Collections.dart');
 | 
| -#source('src/frog_FactoryProviders.dart');
 | 
| -#source('src/_ListIterators.dart');
 | 
| -#source('src/_Lists.dart');
 | 
| -
 | 
| -// TODO(jmesserly): do we still need these?
 | 
| -interface DOMType {}
 | 
| -class _DOMTypeJs implements DOMType native '*DOMType' {}
 | 
|  
 | 
| +#source('../dom/src/EventListener.dart');
 | 
| +#source('../dom/src/KeyLocation.dart');
 | 
| +#source('../dom/src/KeyName.dart');
 | 
| +#source('../dom/src/ReadyState.dart');
 | 
| +#source('../dom/src/TimeoutHandler.dart');
 | 
| +#source('../dom/src/_Collections.dart');
 | 
| +#source('../html/src/frog_FactoryProviders.dart');
 | 
| +#source('../html/src/Device.dart');
 | 
| +#source('../dom/src/_ListIterators.dart');
 | 
| +#source('../dom/src/_Lists.dart');
 | 
|  
 | 
|  // TODO(sra): What 'window' do we get in a worker?  Perhaps this
 | 
|  // should return the interface type.
 | 
| -DOMWindow get window() native "return window;";
 | 
| +Window get window() native "return window;";
 | 
| +_WindowJs get _window() native "return window;";
 | 
|  
 | 
| -// TODO(vsm): Revert to Dart method when 508 is fixed.
 | 
| -HTMLDocument get document() native "return window.document;";
 | 
| +Document get document() native "return window.document.documentElement;";
 | 
| +_DocumentJs get _document() native "return window.document.documentElement;";
 | 
| 
 |