| 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);
|
| }
|
|
|