Rework <script-ref>: - optional 'line' parameter - use a shorter version of the script url in the a…

runtime/bin/vmservice/client/lib/src/observatory_elements/script_ref.dart

Index: runtime/bin/vmservice/client/lib/src/observatory_elements/script_ref.dart
diff --git a/runtime/bin/vmservice/client/lib/src/observatory_elements/script_ref.dart b/runtime/bin/vmservice/client/lib/src/observatory_elements/script_ref.dart
index bf6e00bcbe9b8bb49206291ead35440156f63588..05bf87ab45106ebbef52a3a813b1d87c759456b3 100644
--- a/runtime/bin/vmservice/client/lib/src/observatory_elements/script_ref.dart
+++ b/runtime/bin/vmservice/client/lib/src/observatory_elements/script_ref.dart
@@ -9,5 +9,43 @@ import 'service_ref.dart';
 
 @CustomTag('script-ref')
 class ScriptRefElement extends ServiceRefElement {
+  @published int line = -1;
+
+  String get url {
+    if ((app != null) && (ref != null)) {
+      var baseUrl = relativeLink(ref['id']);
+      if (line < 0) {
+        return baseUrl;
+      } else {
+        return '$baseUrl?line=$line';
+      }
+    }
+    return '';
+  }
+
+  String get hoverText {
+    if (ref == null) {
+      return '';
+    }
+    if (line < 0) {
+      return ref['user_name'];
+    } else {
+      return "${ref['user_name']}:$line";
+    }
+  }
+
+  String get name {
+    if (ref == null) {
+      return '';
+    }
+    var scriptUrl = ref['user_name'];
+    var shortScriptUrl = scriptUrl.substring(scriptUrl.lastIndexOf('/') + 1);
+    if (line < 0) {
+      return shortScriptUrl;
+    } else {
+      return "$shortScriptUrl:$line";
+    }
+  }
+
   ScriptRefElement.created() : super.created();
 }