Index: runtime/observatory/lib/src/elements/sentinel_view.dart |
diff --git a/runtime/observatory/lib/src/elements/sentinel_view.dart b/runtime/observatory/lib/src/elements/sentinel_view.dart |
index 8fff0d57a91e4569fdd74c6fb8851e77e9e81014..eb8cd90a4fc5645a0d2781d2a2ba6cfed543042c 100644 |
--- a/runtime/observatory/lib/src/elements/sentinel_view.dart |
+++ b/runtime/observatory/lib/src/elements/sentinel_view.dart |
@@ -5,11 +5,11 @@ |
import 'dart:html'; |
import 'dart:async'; |
import 'package:observatory/models.dart' as M; |
+import 'package:observatory/src/elements/helpers/nav_bar.dart'; |
+import 'package:observatory/src/elements/helpers/nav_menu.dart'; |
import 'package:observatory/src/elements/helpers/rendering_scheduler.dart'; |
import 'package:observatory/src/elements/helpers/tag.dart'; |
-import 'package:observatory/src/elements/nav/bar.dart'; |
import 'package:observatory/src/elements/nav/isolate_menu.dart'; |
-import 'package:observatory/src/elements/nav/menu.dart'; |
import 'package:observatory/src/elements/nav/notify.dart'; |
import 'package:observatory/src/elements/nav/top_menu.dart'; |
import 'package:observatory/src/elements/nav/vm_menu.dart'; |
@@ -19,11 +19,9 @@ import 'package:observatory/src/elements/view_footer.dart'; |
class SentinelViewElement extends HtmlElement implements Renderable { |
static const tag = const Tag<SentinelViewElement>('sentinel-view', |
dependencies: const [ |
- NavBarElement.tag, |
NavTopMenuElement.tag, |
NavVMMenuElement.tag, |
NavIsolateMenuElement.tag, |
- NavMenuElement.tag, |
NavNotifyElement.tag, |
ViewFooterElement.tag |
]); |
@@ -77,14 +75,13 @@ class SentinelViewElement extends HtmlElement implements Renderable { |
void render() { |
children = [ |
- new NavBarElement(queue: _r.queue) |
- ..children = [ |
- new NavTopMenuElement(queue: _r.queue), |
- new NavVMMenuElement(_vm, _events, queue: _r.queue), |
- new NavIsolateMenuElement(_isolate, _events, queue: _r.queue), |
- new NavMenuElement('sentinel', last: true, queue: _r.queue), |
- new NavNotifyElement(_notifications, queue: _r.queue) |
- ], |
+ navBar([ |
+ new NavTopMenuElement(queue: _r.queue), |
+ new NavVMMenuElement(_vm, _events, queue: _r.queue), |
+ new NavIsolateMenuElement(_isolate, _events, queue: _r.queue), |
+ navMenu('sentinel'), |
+ new NavNotifyElement(_notifications, queue: _r.queue) |
+ ]), |
new DivElement()..classes = ['content-centered-big'] |
..children = [ |
new HeadingElement.h2() |