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"> | |
3 <link rel="import" href="observatory_element.html"> | 2 <link rel="import" href="observatory_element.html"> |
4 | 3 |
5 <polymer-element name="isolate-reconnect" extends="observatory-element"> | 4 <polymer-element name="isolate-reconnect" extends="observatory-element"> |
6 <template> | 5 <template> |
7 <link rel="stylesheet" href="css/shared.css"> | 6 <link rel="stylesheet" href="css/shared.css"> |
8 <style> | 7 <style> |
9 .doubleSpaced { | 8 .doubleSpaced { |
10 line-height: 2em; | 9 line-height: 2em; |
11 } | 10 } |
12 </style> | 11 </style> |
13 | 12 |
14 <nav-bar> | 13 <nav-bar> |
15 <top-nav-menu last="{{ true }}"></top-nav-menu> | 14 <top-nav-menu last="{{ true }}"></top-nav-menu> |
| 15 <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
16 </nav-bar> | 16 </nav-bar> |
17 | 17 |
18 <div class="content-centered"> | 18 <div class="content-centered"> |
19 <h1 class="doubleSpaced">Isolate {{ missingIsolateId }} no longer exists</
h1> | 19 <h1 class="doubleSpaced">Isolate {{ missingIsolateId }} no longer exists</
h1> |
20 <div class="memberList"> | 20 <div class="memberList"> |
21 <template repeat="{{ i in app.vm.isolates }}"> | 21 <template repeat="{{ i in app.vm.isolates }}"> |
22 <div class="memberItem doubleSpaced"> | 22 <div class="memberItem doubleSpaced"> |
23 Continue in <a _href="{{ linkToContinueIn(i) }}">{{ i.id }} ({{ i.n
ame }})</a> | 23 Continue in <a _href="{{ linkToContinueIn(i) }}">{{ i.id }} ({{ i.n
ame }})</a> |
24 </div> | 24 </div> |
25 </template> | 25 </template> |
26 <div class="memberItem doubleSpaced"> | 26 <div class="memberItem doubleSpaced"> |
27 Go to <a _href="{{ gotoLink('/vm') }}">isolates summary</a> | 27 Go to <a _href="{{ gotoLink('/vm') }}">isolates summary</a> |
28 </div> | 28 </div> |
29 </div> | 29 </div> |
30 </div> | 30 </div> |
31 </template> | 31 </template> |
32 </polymer-element> | 32 </polymer-element> |
33 | 33 |
34 <script type="application/dart" src="isolate_reconnect.dart"></script> | 34 <script type="application/dart" src="isolate_reconnect.dart"></script> |
OLD | NEW |