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 <vm-nav-menu vm="{{ script.isolate.vm }}"></vm-nav-menu> | 11 <vm-nav-menu vm="{{ script.isolate.vm }}"></vm-nav-menu> |
12 <isolate-nav-menu isolate="{{ script.isolate }}"></isolate-nav-menu> | 12 <isolate-nav-menu isolate="{{ script.isolate }}"></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="{{ refresh }}"></nav-refresh> | 15 <nav-refresh callback="{{ refresh }}"></nav-refresh> |
| 16 <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
16 </nav-bar> | 17 </nav-bar> |
17 | 18 |
18 <div class="content-centered-big"> | 19 <div class="content-centered-big"> |
19 <h1>script {{ script.name }}</h1> | 20 <h1>script {{ script.name }}</h1> |
20 <object-common object="{{ script }}"></object-common> | 21 <object-common object="{{ script }}"></object-common> |
21 <br> | 22 <br> |
22 | 23 |
23 <div class="memberList"> | 24 <div class="memberList"> |
24 <div class="memberItem"> | 25 <div class="memberItem"> |
25 <div class="memberName">loaded at</div> | 26 <div class="memberName">loaded at</div> |
26 <div class="memberValue">{{ script.loadTime.toString() }}</div> | 27 <div class="memberValue">{{ script.loadTime.toString() }}</div> |
27 </div> | 28 </div> |
28 </div> | 29 </div> |
29 | 30 |
30 <hr> | 31 <hr> |
31 <script-inset id="scriptInset" script="{{ script }}" | 32 <script-inset id="scriptInset" script="{{ script }}" |
32 currentPos="{{ app.locationManager.internalArguments['pos'] |
parseInt }}"> | 33 currentPos="{{ app.locationManager.internalArguments['pos'] |
parseInt }}"> |
33 </script-inset> | 34 </script-inset> |
34 </div> | 35 </div> |
35 | 36 |
36 <view-footer></view-footer> | 37 <view-footer></view-footer> |
37 </template> | 38 </template> |
38 </polymer-element> | 39 </polymer-element> |
39 | 40 |
40 <script type="application/dart" src="script_view.dart"></script> | 41 <script type="application/dart" src="script_view.dart"></script> |
OLD | NEW |