Miscellaneous Observatory UI improvements

runtime/bin/vmservice/client/lib/src/elements/script_inset.html

Index: runtime/bin/vmservice/client/lib/src/elements/script_inset.html
diff --git a/runtime/bin/vmservice/client/lib/src/elements/script_inset.html b/runtime/bin/vmservice/client/lib/src/elements/script_inset.html
index 7d9032d169778f298d9112df2cad205a92ad551e..e45a304c5ced8bd39b120b6ee4b70cad5e02735a 100644
--- a/runtime/bin/vmservice/client/lib/src/elements/script_inset.html
+++ b/runtime/bin/vmservice/client/lib/src/elements/script_inset.html
@@ -18,15 +18,29 @@
     <div class="sourceInset">
       <content></content>
       <div class="grayBox">
-        <table>
-          <tbody>
-            <tr template repeat="{{ line in lines }}">
-              <td style="font-family: consolas, courier, monospace;font-size: 1em;line-height: 1.2em;white-space: nowrap;">{{line.line}}</td>
-              <td>&nbsp;</td>
-              <td width="99%" style="font-family: consolas, courier, monospace;font-size: 1em;line-height: 1.2em;white-space: pre;">{{line.text}}</td>
-            </tr>
-          </tbody>
-        </table>
+        <template if="{{ coverage == true }}">
+          <table>
+            <tbody>
+              <tr template repeat="{{ line in lines }}">
+                <td style="{{ hitsStyle(line) }}">&nbsp;</td>

[turnidge, 2014/04/01 19:42:48]

For a future change: instead of injecting the styling from the .dart file, we
could use classes in the <style> section and switch between them with <template
if>.  No change needed for this review.

+                <td style="font-family: consolas, courier, monospace;font-size: 1em;line-height: 1.2em;white-space: nowrap;">{{line.line}}</td>
+                <td>&nbsp;</td>
+                <td width="99%" style="font-family: consolas, courier, monospace;font-size: 1em;line-height: 1.2em;white-space: pre;">{{line.text}}</td>
+              </tr>
+            </tbody>
+          </table>
+        </template>
+        <template if="{{ coverage == false }}">
+          <table>
+            <tbody>
+              <tr template repeat="{{ line in lines }}">
+                <td style="font-family: consolas, courier, monospace;font-size: 1em;line-height: 1.2em;white-space: nowrap;">{{line.line}}</td>
+                <td>&nbsp;</td>
+                <td width="99%" style="font-family: consolas, courier, monospace;font-size: 1em;line-height: 1.2em;white-space: pre;">{{line.text}}</td>
+              </tr>
+            </tbody>
+          </table>
+        </template>
       </div>
     </div>
   </template>