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