| Index: runtime/observatory/lib/elements.dart
|
| diff --git a/runtime/observatory/lib/elements.dart b/runtime/observatory/lib/elements.dart
|
| index d3cf333936e9b9cdb12e04f82f85b5cd197e24f0..767e99a8a5fdcf01da9dd58ab06bd3dc0cccca3f 100644
|
| --- a/runtime/observatory/lib/elements.dart
|
| +++ b/runtime/observatory/lib/elements.dart
|
| @@ -62,9 +62,16 @@ 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';
|
| +
|
| export 'package:observatory/src/elements/helpers/rendering_queue.dart';
|
|
|
| +export 'package:observatory/src/elements/nav/refresh.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();
|
| }
|
|
|