Index: runtime/observatory/lib/src/elements/timeline_page.dart |
diff --git a/runtime/observatory/lib/src/elements/timeline_page.dart b/runtime/observatory/lib/src/elements/timeline_page.dart |
index 8e7b3ef144da8c56af6b08bbfc40d16af3c92000..a3bb24bfbfa6942477311a1d195c8206590b0a2f 100644 |
--- a/runtime/observatory/lib/src/elements/timeline_page.dart |
+++ b/runtime/observatory/lib/src/elements/timeline_page.dart |
@@ -10,9 +10,9 @@ import 'dart:convert'; |
import 'package:observatory/service.dart' as S; |
import 'package:observatory/service_html.dart' as SH; |
import 'package:observatory/models.dart' as M; |
+import 'package:observatory/src/elements/helpers/nav_bar.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/notify.dart'; |
import 'package:observatory/src/elements/nav/refresh.dart'; |
import 'package:observatory/src/elements/nav/top_menu.dart'; |
@@ -29,7 +29,6 @@ enum _Profile { |
class TimelinePageElement extends HtmlElement implements Renderable { |
static const tag = const Tag<TimelinePageElement>('timeline-page', |
dependencies: const [ |
- NavBarElement.tag, |
NavTopMenuElement.tag, |
NavVMMenuElement.tag, |
NavRefreshElement.tag, |
@@ -121,10 +120,9 @@ class TimelinePageElement extends HtmlElement implements Renderable { |
]; |
if (children.isEmpty) { |
children = [ |
- new NavBarElement(queue: _r.queue) |
- ..children = [ |
+ navBar([ |
new NavTopMenuElement(queue: _r.queue), |
- new NavVMMenuElement(_vm, _events, last: true, queue: _r.queue), |
+ new NavVMMenuElement(_vm, _events, queue: _r.queue), |
new NavRefreshElement(queue: _r.queue) |
..onRefresh.listen((e) async { |
e.element.disabled = true; |
@@ -150,7 +148,7 @@ class TimelinePageElement extends HtmlElement implements Renderable { |
e.element.disabled = false; |
}), |
new NavNotifyElement(_notifications, queue: _r.queue) |
- ], |
+ ]), |
_content, |
new DivElement()..classes = ['iframe'] |
..children = [ |