Index: runtime/observatory/lib/src/elements/script_ref.dart |
diff --git a/runtime/observatory/lib/src/elements/script_ref.dart b/runtime/observatory/lib/src/elements/script_ref.dart |
index 2f30e26b38b299c4268635f42e52dd687aa7040d..1058e32b639e6609672594eba893526cede63ff9 100644 |
--- a/runtime/observatory/lib/src/elements/script_ref.dart |
+++ b/runtime/observatory/lib/src/elements/script_ref.dart |
@@ -10,7 +10,7 @@ import 'service_ref.dart'; |
@CustomTag('script-ref') |
class ScriptRefElement extends ServiceRefElement { |
- @published int pos = -1; |
+ @published int pos; |
String get hoverText { |
if (ref == null) { |
@@ -34,7 +34,7 @@ class ScriptRefElement extends ServiceRefElement { |
if (ref == null) { |
return super.name; |
} |
- if (pos >= 0) { |
+ if ((pos != null) && (pos >= 0)) { |
if (ref.loaded) { |
// Script is loaded, get the line number. |
Script script = ref; |
@@ -51,7 +51,7 @@ class ScriptRefElement extends ServiceRefElement { |
if (ref == null) { |
return super.url; |
} |
- if (pos >= 0) { |
+ if ((pos != null) && (pos >= 0)) { |
if (ref.loaded) { |
return '${super.url}---pos=${pos}'; |
} else { |