Miscellaneous Observatory UI improvements

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

Index: runtime/bin/vmservice/client/lib/src/elements/function_view.html
diff --git a/runtime/bin/vmservice/client/lib/src/elements/function_view.html b/runtime/bin/vmservice/client/lib/src/elements/function_view.html
index 4e1b430d0b5a1ac9d7f098a0d02db9955b5a8fe9..344f0aac82ec29ff76a4e002dc25c5e43ee7153f 100644
--- a/runtime/bin/vmservice/client/lib/src/elements/function_view.html
+++ b/runtime/bin/vmservice/client/lib/src/elements/function_view.html
@@ -5,6 +5,7 @@
   <link rel="import" href="library_ref.html">
   <link rel="import" href="observatory_element.html">
   <link rel="import" href="nav_bar.html">
+  <link rel="import" href="script_inset.html">
   <link rel="import" href="script_ref.html">
 </head>
 <polymer-element name="function-view" extends="observatory-element">
@@ -128,6 +129,12 @@
          </template>
        </div>
     </div>
+
+    <hr>
+    <script-inset script="{{ function['script'] }}" pos="{{ function['tokenPos'] }}" endPos="{{ function['endTokenPos'] }}">
+    </script-inset>
+
+    <br>
   </template>
   <script type="application/dart" src="function_view.dart"></script>
 </polymer-element>