| 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';
|
|
|
|
|
|
|