| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 import 'dart:html'; | 5 import 'dart:html'; |
| 6 import 'dart:async'; | 6 import 'dart:async'; |
| 7 import 'package:observatory/models.dart' as M; | 7 import 'package:observatory/models.dart' as M; |
| 8 import 'package:observatory/src/elements/helpers/rendering_scheduler.dart'; | 8 import 'package:observatory/src/elements/helpers/rendering_scheduler.dart'; |
| 9 import 'package:observatory/src/elements/helpers/tag.dart'; | 9 import 'package:observatory/src/elements/helpers/tag.dart'; |
| 10 import 'package:observatory/src/elements/nav/bar.dart'; | 10 import 'package:observatory/src/elements/nav/bar.dart'; |
| (...skipping 67 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 78 void render() { | 78 void render() { |
| 79 children = [ | 79 children = [ |
| 80 new NavBarElement(queue: _r.queue) | 80 new NavBarElement(queue: _r.queue) |
| 81 ..children = [ | 81 ..children = [ |
| 82 new NavTopMenuElement(queue: _r.queue), | 82 new NavTopMenuElement(queue: _r.queue), |
| 83 new NavVMMenuElement(_vm, _events, queue: _r.queue), | 83 new NavVMMenuElement(_vm, _events, queue: _r.queue), |
| 84 new NavIsolateMenuElement(_isolate, _events, queue: _r.queue), | 84 new NavIsolateMenuElement(_isolate, _events, queue: _r.queue), |
| 85 new NavMenuElement('sentinel', last: true, queue: _r.queue), | 85 new NavMenuElement('sentinel', last: true, queue: _r.queue), |
| 86 new NavNotifyElement(_notifications, queue: _r.queue) | 86 new NavNotifyElement(_notifications, queue: _r.queue) |
| 87 ], | 87 ], |
| 88 new DivElement()..classes = const ['content-centered-big'] | 88 new DivElement()..classes = ['content-centered-big'] |
| 89 ..children = [ | 89 ..children = [ |
| 90 new HeadingElement.h2() | 90 new HeadingElement.h2() |
| 91 ..text = 'Sentinel: #{_sentinel.valueAsString}', | 91 ..text = 'Sentinel: #{_sentinel.valueAsString}', |
| 92 new HRElement(), | 92 new HRElement(), |
| 93 new DivElement() | 93 new DivElement() |
| 94 ..text = _sentinelKindToDescription(_sentinel.kind), | 94 ..text = _sentinelKindToDescription(_sentinel.kind), |
| 95 new HRElement(), | 95 new HRElement(), |
| 96 new ViewFooterElement(queue: _r.queue) | 96 new ViewFooterElement(queue: _r.queue) |
| 97 ] | 97 ] |
| 98 ]; | 98 ]; |
| (...skipping 14 matching lines...) Expand all Loading... |
| 113 case M.SentinelKind.optimizedOut: | 113 case M.SentinelKind.optimizedOut: |
| 114 return 'This object is no longer needed and has been removed by the ' | 114 return 'This object is no longer needed and has been removed by the ' |
| 115 'optimizing compiler.'; | 115 'optimizing compiler.'; |
| 116 case M.SentinelKind.free: | 116 case M.SentinelKind.free: |
| 117 return ''; | 117 return ''; |
| 118 } | 118 } |
| 119 throw new Exception('Unknown SentinelKind: $kind'); | 119 throw new Exception('Unknown SentinelKind: $kind'); |
| 120 } | 120 } |
| 121 | 121 |
| 122 } | 122 } |
| OLD | NEW |