Index: runtime/observatory/lib/src/elements/logging.dart |
diff --git a/runtime/observatory/lib/src/elements/logging.dart b/runtime/observatory/lib/src/elements/logging.dart |
index e519a0a9b94f0d10bd4c3bf869ef49b9d75401a9..e5108c2ca5b4580c5c93eb9d84a9b6a304be56ed 100644 |
--- a/runtime/observatory/lib/src/elements/logging.dart |
+++ b/runtime/observatory/lib/src/elements/logging.dart |
@@ -8,13 +8,13 @@ import 'dart:async'; |
import 'dart:html'; |
import 'package:logging/logging.dart'; |
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/logging_list.dart'; |
-import 'package:observatory/src/elements/nav/bar.dart'; |
import 'package:observatory/src/elements/nav/class_menu.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/refresh.dart'; |
import 'package:observatory/src/elements/nav/top_menu.dart'; |
@@ -25,12 +25,10 @@ class LoggingPageElement extends HtmlElement implements Renderable { |
static const tag = const Tag<LoggingPageElement>('logging-page', |
dependencies: const [ |
LoggingListElement.tag, |
- NavBarElement.tag, |
NavClassMenuElement.tag, |
NavTopMenuElement.tag, |
NavVMMenuElement.tag, |
NavIsolateMenuElement.tag, |
- NavMenuElement.tag, |
NavRefreshElement.tag, |
NavNotifyElement.tag, |
ViewFooterElement.tag |
@@ -89,12 +87,11 @@ class LoggingPageElement extends HtmlElement implements Renderable { |
_logs = _logs ?? new LoggingListElement(_isolate, _events); |
_logs.level = _level; |
children = [ |
- new NavBarElement(queue: _r.queue) |
- ..children = [ |
+ navBar([ |
new NavTopMenuElement(queue: _r.queue), |
new NavVMMenuElement(_vm, _events, queue: _r.queue), |
new NavIsolateMenuElement(_isolate, _events, queue: _r.queue), |
- new NavMenuElement('logging', last: true, queue: _r.queue), |
+ navMenu('logging'), |
new NavRefreshElement(label: 'clear', queue: _r.queue) |
..onRefresh.listen((e) async { |
e.element.disabled = true; |
@@ -102,7 +99,7 @@ class LoggingPageElement extends HtmlElement implements Renderable { |
_r.dirty(); |
}), |
new NavNotifyElement(_notifications, queue: _r.queue) |
- ], |
+ ]), |
new DivElement()..classes = ['content-centered-big'] |
..children = [ |
new HeadingElement.h2()..text = 'Logging', |