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