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 ab31c8e5b5d7943b8ea5265a7a2789bca8a02c50..2f30e26b38b299c4268635f42e52dd687aa7040d 100644 |
--- a/runtime/observatory/lib/src/elements/script_ref.dart |
+++ b/runtime/observatory/lib/src/elements/script_ref.dart |
@@ -38,7 +38,8 @@ class ScriptRefElement extends ServiceRefElement { |
if (ref.loaded) { |
// Script is loaded, get the line number. |
Script script = ref; |
- return '${super.name}:${script.tokenToLine(pos)}'; |
+ return '${super.name}:${script.tokenToLine(pos)}:' |
+ '${script.tokenToCol(pos)}'; |
} else { |
ref.load().then(_updateProperties); |
} |