| Index: runtime/observatory/lib/elements.dart
|
| diff --git a/runtime/observatory/lib/elements.dart b/runtime/observatory/lib/elements.dart
|
| index 0816bc96a1b0fae13ac16bcfeffc43380132a81c..d334a1b7bf00b9ff4324ac84da18b26e6dc3230f 100644
|
| --- a/runtime/observatory/lib/elements.dart
|
| +++ b/runtime/observatory/lib/elements.dart
|
| @@ -69,6 +69,10 @@ import 'package:observatory/src/elements/nav/menu.dart';
|
| import 'package:observatory/src/elements/nav/menu_wrapper.dart';
|
| import 'package:observatory/src/elements/nav/menu_item.dart';
|
| import 'package:observatory/src/elements/nav/menu_item_wrapper.dart';
|
| +import 'package:observatory/src/elements/nav/notify.dart';
|
| +import 'package:observatory/src/elements/nav/notify_wrapper.dart';
|
| +import 'package:observatory/src/elements/nav/notify_event.dart';
|
| +import 'package:observatory/src/elements/nav/notify_exception.dart';
|
| import 'package:observatory/src/elements/nav/refresh.dart';
|
| import 'package:observatory/src/elements/nav/refresh_wrapper.dart';
|
| import 'package:observatory/src/elements/nav/top_menu.dart';
|
| @@ -84,6 +88,9 @@ export 'package:observatory/src/elements/nav/bar.dart';
|
| export 'package:observatory/src/elements/nav/isolate_menu.dart';
|
| export 'package:observatory/src/elements/nav/menu.dart';
|
| export 'package:observatory/src/elements/nav/menu_item.dart';
|
| +export 'package:observatory/src/elements/nav/notify.dart';
|
| +export 'package:observatory/src/elements/nav/notify_event.dart';
|
| +export 'package:observatory/src/elements/nav/notify_exception.dart';
|
| export 'package:observatory/src/elements/nav/refresh.dart';
|
| export 'package:observatory/src/elements/nav/top_menu.dart';
|
| export 'package:observatory/src/elements/nav/vm_menu.dart';
|
| @@ -101,6 +108,10 @@ Future initElements() async {
|
| NavMenuElementWrapper.tag.ensureRegistration();
|
| NavMenuItemElement.tag.ensureRegistration();
|
| NavMenuItemElementWrapper.tag.ensureRegistration();
|
| + NavNotifyElement.tag.ensureRegistration();
|
| + NavNotifyElementWrapper.tag.ensureRegistration();
|
| + NavNotifyEventElement.tag.ensureRegistration();
|
| + NavNotifyExceptionElement.tag.ensureRegistration();
|
| NavRefreshElement.tag.ensureRegistration();
|
| NavRefreshElementWrapper.tag.ensureRegistration();
|
| NavTopMenuElement.tag.ensureRegistration();
|
|
|