Index: runtime/bin/vmservice/client/deployed/web/index.html |
diff --git a/runtime/bin/vmservice/client/deployed/web/index.html b/runtime/bin/vmservice/client/deployed/web/index.html |
index 41928ee271ed5e286b615c8242e34ebc1e1e7794..fd1184466747c981983dac5acc7ea21a2709fa0b 100644 |
--- a/runtime/bin/vmservice/client/deployed/web/index.html |
+++ b/runtime/bin/vmservice/client/deployed/web/index.html |
@@ -2496,6 +2496,7 @@ hr { |
+ |
<polymer-element name="eval-box" extends="observatory-element"> |
<template> |
<style> |
@@ -3404,6 +3405,42 @@ hr { |
+<polymer-element name="script-inset" extends="observatory-element"> |
+ <template> |
+ <style> |
+ .sourceInset { |
+ padding-left: 15%; |
+ padding-right: 15%; |
+ } |
+ .grayBox { |
+ width: 100%; |
+ background-color: #f5f5f5; |
+ border: 1px solid #ccc; |
+ padding: 10px; |
+ } |
+ </style> |
+ <div class="sourceInset"> |
+ <content></content> |
+ <div class="grayBox"> |
+ <table> |
+ <tbody> |
+ <tr template="" repeat="{{ lineNumber in lineNumbers }}"> |
+ <td style="{{ styleForHits(script.lines[lineNumber].hits) }}"><span> </span></td> |
+ <td style="font-family: consolas, courier, monospace;font-size: 1em;line-height: 1.2em;white-space: nowrap;">{{script.lines[lineNumber].line}}</td> |
+ <td> </td> |
+ <td width="99%" style="font-family: consolas, courier, monospace;font-size: 1em;line-height: 1.2em;white-space: pre;">{{script.lines[lineNumber].text}}</td> |
+ </tr> |
+ </tbody> |
+ </table> |
+ </div> |
+ </div> |
+ </template> |
+</polymer-element> |
+ |
+ |
+ |
+ |
+ |
<polymer-element name="script-ref" extends="service-ref"> |
<template> |
@@ -4078,6 +4115,11 @@ hr { |
<div class="content"> |
<eval-box callback="{{ eval }}"></eval-box> |
</div> |
+ |
+ <hr> |
+ <script-inset script="{{ cls.script }}" pos="{{ cls.tokenPos }}" endpos="{{ cls.endTokenPos }}"> |
+ </script-inset> |
+ |
<br><br><br><br> |
<br><br><br><br> |
</template> |
@@ -6221,42 +6263,6 @@ hr { |
- |
- |
- |
-<polymer-element name="script-inset" extends="observatory-element"> |
- <template> |
- <style> |
- .sourceInset { |
- padding-left: 15%; |
- padding-right: 15%; |
- } |
- .grayBox { |
- width: 100%; |
- background-color: #f5f5f5; |
- border: 1px solid #ccc; |
- padding: 10px; |
- } |
- </style> |
- <div class="sourceInset"> |
- <content></content> |
- <div class="grayBox"> |
- <table> |
- <tbody> |
- <tr template="" repeat="{{ lineNumber in lineNumbers }}"> |
- <td style="{{ styleForHits(script.lines[lineNumber].hits) }}"><span> </span></td> |
- <td style="font-family: consolas, courier, monospace;font-size: 1em;line-height: 1.2em;white-space: nowrap;">{{script.lines[lineNumber].line}}</td> |
- <td> </td> |
- <td width="99%" style="font-family: consolas, courier, monospace;font-size: 1em;line-height: 1.2em;white-space: pre;">{{script.lines[lineNumber].text}}</td> |
- </tr> |
- </tbody> |
- </table> |
- </div> |
- </div> |
- </template> |
-</polymer-element> |
- |
- |
<polymer-element name="function-view" extends="observatory-element"> |
<template> |
<style> |
@@ -17591,4 +17597,4 @@ hr { |
<observatory-application></observatory-application> |
-<script type="application/dart" src="index.html_bootstrap.dart"></script><script src="packages/browser/dart.js"></script></body></html> |
+<script src="index.html_bootstrap.dart.js" async=""></script></body></html> |