| OLD | NEW |
| 1 <link rel="import" href="../../../../packages/polymer/polymer.html"> | 1 <link rel="import" href="../../../../packages/polymer/polymer.html"> |
| 2 <link rel="import" href="nav_bar.html"> | 2 <link rel="import" href="nav_bar.html"> |
| 3 <link rel="import" href="observatory_element.html"> | 3 <link rel="import" href="observatory_element.html"> |
| 4 <link rel="import" href="script_inset.html"> | 4 <link rel="import" href="script_inset.html"> |
| 5 <link rel="import" href="view_footer.html"> | 5 <link rel="import" href="view_footer.html"> |
| 6 | 6 |
| 7 <polymer-element name="script-view" extends="observatory-element"> | 7 <polymer-element name="script-view" extends="observatory-element"> |
| 8 <template> | 8 <template> |
| 9 <link rel="stylesheet" href="css/shared.css"> | 9 <link rel="stylesheet" href="css/shared.css"> |
| 10 <nav-bar> | 10 <nav-bar> |
| 11 <top-nav-menu></top-nav-menu> | 11 <top-nav-menu></top-nav-menu> |
| 12 <isolate-nav-menu isolate="{{ script.isolate }}"> | 12 <vm-nav-menu vm="{{ script.isolate.vm }}"></vm-nav-menu> |
| 13 </isolate-nav-menu> | 13 <isolate-nav-menu isolate="{{ script.isolate }}"></isolate-nav-menu> |
| 14 <library-nav-menu library="{{ script.library }}"></library-nav-menu> | 14 <library-nav-menu library="{{ script.library }}"></library-nav-menu> |
| 15 <nav-menu link="{{ makeLink('/inspect', script) }}" anchor="{{ script.name }
}" last="{{ true }}"></nav-menu> | 15 <nav-menu link="{{ makeLink('/inspect', script) }}" anchor="{{ script.name }
}" last="{{ true }}"></nav-menu> |
| 16 <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav
-refresh> | 16 <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav
-refresh> |
| 17 <nav-refresh callback="{{ refresh }}"></nav-refresh> | 17 <nav-refresh callback="{{ refresh }}"></nav-refresh> |
| 18 </nav-bar> | 18 </nav-bar> |
| 19 | 19 |
| 20 <template if="{{ app.locationManager.internalArguments['pos'] == null }}"> | 20 <template if="{{ app.locationManager.internalArguments['pos'] == null }}"> |
| 21 <script-inset id="scriptInset" script="{{ script }}"> | 21 <script-inset id="scriptInset" script="{{ script }}"> |
| 22 <h1>script {{ script.name }}</h1> | 22 <h1>script {{ script.name }}</h1> |
| 23 </script-inset> | 23 </script-inset> |
| 24 </template> | 24 </template> |
| 25 | 25 |
| 26 <template if="{{ app.locationManager.internalArguments['pos'] != null }}"> | 26 <template if="{{ app.locationManager.internalArguments['pos'] != null }}"> |
| 27 <script-inset id="scriptInset" script="{{ script }}" | 27 <script-inset id="scriptInset" script="{{ script }}" |
| 28 currentPos="{{ app.locationManager.internalArguments['pos'] |
parseInt }}"> | 28 currentPos="{{ app.locationManager.internalArguments['pos'] |
parseInt }}"> |
| 29 <h1>script {{ script.name }}</h1> | 29 <h1>script {{ script.name }}</h1> |
| 30 </script-inset> | 30 </script-inset> |
| 31 </template> | 31 </template> |
| 32 | 32 |
| 33 <view-footer></view-footer> | 33 <view-footer></view-footer> |
| 34 </template> | 34 </template> |
| 35 </polymer-element> | 35 </polymer-element> |
| 36 | 36 |
| 37 <script type="application/dart" src="script_view.dart"></script> | 37 <script type="application/dart" src="script_view.dart"></script> |
| OLD | NEW |