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