Index: runtime/observatory/lib/src/elements/nav_bar.dart |
diff --git a/runtime/observatory/lib/src/elements/nav_bar.dart b/runtime/observatory/lib/src/elements/nav_bar.dart |
index 04c5fce475d55fa0abcb329fa11def870ed6b9d9..f8ce11e67bf96b41438b0c12639d1481dc00e7d8 100644 |
--- a/runtime/observatory/lib/src/elements/nav_bar.dart |
+++ b/runtime/observatory/lib/src/elements/nav_bar.dart |
@@ -5,9 +5,10 @@ |
library nav_bar_element; |
import 'dart:async'; |
-import 'dart:html'; |
+import 'dart:html' hide Notification; |
import 'observatory_element.dart'; |
import 'package:observatory/service.dart'; |
+import 'package:observatory/app.dart' show Notification; |
import 'package:polymer/polymer.dart'; |