| Index: runtime/observatory/lib/src/elements/isolate_view.dart
|
| diff --git a/runtime/observatory/lib/src/elements/isolate_view.dart b/runtime/observatory/lib/src/elements/isolate_view.dart
|
| index 716dc78240183362298c0eec45f88eb1ed9d17ed..edcc6e8041aa73f979b1cbf87210ab664cf1cbdd 100644
|
| --- a/runtime/observatory/lib/src/elements/isolate_view.dart
|
| +++ b/runtime/observatory/lib/src/elements/isolate_view.dart
|
| @@ -22,6 +22,7 @@ import 'package:observatory/src/elements/nav/class_menu.dart';
|
| import 'package:observatory/src/elements/nav/isolate_menu.dart';
|
| import 'package:observatory/src/elements/nav/notify.dart';
|
| import 'package:observatory/src/elements/nav/refresh.dart';
|
| +import 'package:observatory/src/elements/nav/reload.dart';
|
| import 'package:observatory/src/elements/nav/top_menu.dart';
|
| import 'package:observatory/src/elements/nav/vm_menu.dart';
|
| import 'package:observatory/src/elements/script_inset.dart';
|
| @@ -43,6 +44,7 @@ class IsolateViewElement extends HtmlElement implements Renderable {
|
| NavTopMenuElement.tag,
|
| NavIsolateMenuElement.tag,
|
| NavRefreshElement.tag,
|
| + NavReloadElement.tag,
|
| NavNotifyElement.tag,
|
| ScriptInsetElement.tag,
|
| SourceInsetElement.tag,
|
| @@ -140,10 +142,10 @@ class IsolateViewElement extends HtmlElement implements Renderable {
|
| new NavTopMenuElement(queue: _r.queue),
|
| new NavVMMenuElement(_vm, _events, queue: _r.queue),
|
| new NavIsolateMenuElement(_isolate, _events, queue: _r.queue),
|
| - new NavRefreshElement(label: 'Reload Source', queue: _r.queue)
|
| - ..onRefresh.listen((e) async {
|
| - e.element.disabled = true;
|
| - await _isolates.reloadSources(_isolate);
|
| + new NavReloadElement(_isolate, _isolates, _events, queue: _r.queue)
|
| + ..onReload.listen((_) async {
|
| + _isolate = await _isolates.get(_isolate);
|
| + await _loadExtraData();
|
| _r.dirty();
|
| }),
|
| new NavRefreshElement(queue: _r.queue)
|
|
|