| 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 ba93c704af6ecf7ba81932089dcaa4bcede669ed..d7dcb2fe9837a952f03364cb2c5a1279f76ae063 100644
|
| --- a/runtime/observatory/lib/src/elements/timeline_page.dart
|
| +++ b/runtime/observatory/lib/src/elements/timeline_page.dart
|
| @@ -11,8 +11,10 @@ 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/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/helpers/uris.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';
|
| @@ -126,6 +128,7 @@ class TimelinePageElement extends HtmlElement implements Renderable {
|
| navBar([
|
| new NavTopMenuElement(queue: _r.queue),
|
| new NavVMMenuElement(_vm, _events, queue: _r.queue),
|
| + navMenu('timeline', link: Uris.timeline()),
|
| new NavRefreshElement(queue: _r.queue)
|
| ..onRefresh.listen((e) async {
|
| e.element.disabled = true;
|
|
|