| 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 |