Make copying from script insets omit line numbers and breakpoint indicators.

runtime/observatory/lib/src/elements/script_inset.html

Index: runtime/observatory/lib/src/elements/script_inset.html
diff --git a/runtime/observatory/lib/src/elements/script_inset.html b/runtime/observatory/lib/src/elements/script_inset.html
index 65ecfc028af2afa4a7fb9981f61e7390e3556dc7..93859661e45866c4394209317f6b9353c5f8447e 100644
--- a/runtime/observatory/lib/src/elements/script_inset.html
+++ b/runtime/observatory/lib/src/elements/script_inset.html
@@ -39,6 +39,11 @@
         width: 4em;
         text-align: right;
         color: #a8a8a8;
+	-moz-user-select: none;
+	-khtml-user-select: none;
+	-webkit-user-select: none;
+ 	-ms-user-select: none;
+        user-select: none;
       }
       .hitsNotExecuted {
         background-color: #EEA7A7;
@@ -46,7 +51,7 @@
       .hitsExecuted {
         background-color: #9BDD9B;
       }
-
+      .noCopy {}
       .emptyBreakpoint, .possibleBreakpoint, .busyBreakpoint, .unresolvedBreakpoint, .resolvedBreakpoint  {
         display: table-cell;
         vertical-align: top;
@@ -54,6 +59,11 @@
         width: 1em;
         text-align: center;
         cursor: pointer;
+	-moz-user-select: none;
+	-khtml-user-select: none;
+	-webkit-user-select: none;
+ 	-ms-user-select: none;
+        user-select: none;
       }
       .possibleBreakpoint {
         color: #e0e0e0;