OLD | NEW |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 library isolate_reconnect_element; | 5 library isolate_reconnect_element; |
6 | 6 |
7 import 'dart:html'; | 7 import 'dart:html'; |
8 import 'dart:async'; | 8 import 'dart:async'; |
9 import 'package:observatory/models.dart' as M; | 9 import 'package:observatory/models.dart' as M; |
10 import 'package:observatory/src/elements/helpers/nav_bar.dart'; | 10 import 'package:observatory/src/elements/helpers/nav_bar.dart'; |
(...skipping 69 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
80 void render() { | 80 void render() { |
81 children = [ | 81 children = [ |
82 navBar([ | 82 navBar([ |
83 new NavTopMenuElement(queue: _r.queue), | 83 new NavTopMenuElement(queue: _r.queue), |
84 new NavNotifyElement(_notifications, queue: _r.queue) | 84 new NavNotifyElement(_notifications, queue: _r.queue) |
85 ]), | 85 ]), |
86 new DivElement() | 86 new DivElement() |
87 ..classes = ['content-centered'] | 87 ..classes = ['content-centered'] |
88 ..children = [ | 88 ..children = [ |
89 new HeadingElement.h1()..text = 'Isolate $_missing no longer exists', | 89 new HeadingElement.h1()..text = 'Isolate $_missing no longer exists', |
| 90 new HRElement(), |
90 new BRElement(), | 91 new BRElement(), |
91 new HRElement(), | |
92 new DivElement() | 92 new DivElement() |
93 ..classes = ['memberList'] | 93 ..classes = ['memberList'] |
94 ..children = (_vm.isolates.map((isolate) { | 94 ..children = (_vm.isolates.map((isolate) { |
95 final query = new Map.from(_uri.queryParameters); | 95 final query = new Map.from(_uri.queryParameters); |
96 query['isolateId'] = isolate.id; | 96 query['isolateId'] = isolate.id; |
97 final href = new Uri(path: _uri.path, queryParameters: query); | 97 final href = new Uri(path: _uri.path, queryParameters: query); |
98 return new DivElement() | 98 return new DivElement() |
99 ..classes = ['memberItem', 'doubleSpaced'] | 99 ..classes = ['memberItem', 'doubleSpaced'] |
100 ..children = [ | 100 ..children = [ |
101 new SpanElement()..text = 'Continue in ', | 101 new SpanElement()..text = 'Continue in ', |
102 new AnchorElement(href: '#$href') | 102 new AnchorElement(href: '#$href') |
103 ..classes = ['isolate-link'] | 103 ..classes = ['isolate-link'] |
104 ..text = '${isolate.id} (${isolate.name})' | 104 ..text = '${isolate.id} (${isolate.name})' |
105 ]; | 105 ]; |
106 }).toList() | 106 }).toList() |
107 ..add(new DivElement() | 107 ..add(new DivElement() |
108 ..classes = ['memberItem', 'doubleSpaced'] | 108 ..classes = ['memberItem', 'doubleSpaced'] |
109 ..children = [ | 109 ..children = [ |
110 new SpanElement()..text = 'Go to ', | 110 new SpanElement()..text = 'Go to ', |
111 new AnchorElement(href: Uris.vm())..text = 'isolates summary', | 111 new AnchorElement(href: Uris.vm())..text = 'isolates summary', |
112 ])) | 112 ])) |
113 ], | 113 ], |
114 new ViewFooterElement(queue: _r.queue) | 114 new ViewFooterElement(queue: _r.queue) |
115 ]; | 115 ]; |
116 } | 116 } |
117 } | 117 } |
OLD | NEW |