| Index: runtime/observatory/lib/elements.dart
|
| diff --git a/runtime/observatory/lib/elements.dart b/runtime/observatory/lib/elements.dart
|
| index 8066b70fdcd10767df8d51eab1303ade1871e46a..36599a302b0b39f519cf963feda6d5507065e0fb 100644
|
| --- a/runtime/observatory/lib/elements.dart
|
| +++ b/runtime/observatory/lib/elements.dart
|
| @@ -61,14 +61,19 @@ export 'package:observatory/src/elements/vm_view.dart';
|
|
|
| import 'dart:async';
|
|
|
| +import 'package:observatory/src/elements/nav/refresh.dart';
|
| +import 'package:observatory/src/elements/nav/refresh_wrapper.dart';
|
| import 'package:observatory/src/elements/view_footer.dart';
|
|
|
| export 'package:observatory/src/elements/helpers/rendering_queue.dart';
|
|
|
| +export 'package:observatory/src/elements/nav/refresh.dart';
|
| export 'package:observatory/src/elements/view_footer.dart';
|
|
|
| // Even though this function does not invoke any asynchronous operation
|
| // it is marked as async to allow future backward compatible changes.
|
| Future initElements() async {
|
| + NavRefreshElement.tag.ensureRegistration();
|
| + NavRefreshElementWrapper.tag.ensureRegistration();
|
| ViewFooterElement.tag.ensureRegistration();
|
| }
|
|
|