| Index: runtime/observatory/lib/src/elements/source_link_wrapper.dart
|
| diff --git a/runtime/observatory/lib/src/elements/source_link_wrapper.dart b/runtime/observatory/lib/src/elements/source_link_wrapper.dart
|
| index d38d70f90b41c0a68b72fd59a84d7b3f02068a2c..20221eac2ca4d28d0a4f8c7d7e33f1e09ac67178 100644
|
| --- a/runtime/observatory/lib/src/elements/source_link_wrapper.dart
|
| +++ b/runtime/observatory/lib/src/elements/source_link_wrapper.dart
|
| @@ -22,7 +22,10 @@ class SourceLinkElementWrapper extends HtmlElement {
|
|
|
| SourceLocation _location;
|
| SourceLocation get location => location;
|
| - set location(SourceLocation location) { _location = location; render(); }
|
| + set location(SourceLocation value) {
|
| + _location = value;
|
| + render();
|
| + }
|
|
|
| SourceLinkElementWrapper.created() : super.created() {
|
| binder.registerCallback(this);
|
| @@ -38,7 +41,9 @@ class SourceLinkElementWrapper extends HtmlElement {
|
|
|
| Future render() async {
|
| shadowRoot.children = [];
|
| - if (_location == null) return;
|
| + if (_location == null) {
|
| + return;
|
| + }
|
|
|
| ScriptRepository repository = new ScriptRepository(_location.isolate);
|
|
|
|
|