Build script views programmatically.

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 0c00d891cd85d05e5f55a84f9c4c18c3ffd24240..ee31a53482513813263753a4ab7ccec5e4c6aa0b 100644
--- a/runtime/observatory/lib/src/elements/script_inset.html
+++ b/runtime/observatory/lib/src/elements/script_inset.html
@@ -2,110 +2,6 @@
 <link rel="import" href="observatory_element.html">
 
 <polymer-element name="script-inset" extends="observatory-element">
-  <template>
-    <style>
-      .sourceInset {
-      }
-      .sourceBox {
-        background-color: #f5f5f5;
-        border: 1px solid #ccc;
-        padding: 10px;
-        overflow-y: auto;
-      }
-      .sourceTable {
-        display: table;
-      }
-      .sourceRow {
-        display: table-row;
-      }
-      .sourceItem, .sourceItemCurrent {
-        display: table-cell;
-        vertical-align: top;
-        font: 400 14px consolas, courier, monospace;
-        line-height: 125%;
-        white-space: pre;
-      }
-      .currentLine {
-        background-color: #fff;
-      }
-      .currentCol {
-        background-color: #6cf;
-      }
-      .hitsNone, .hitsNotExecuted, .hitsExecuted {
-        display: table-cell;
-        vertical-align: top;
-        font: 400 14px consolas, courier, monospace;
-        min-width: 32px;
-        text-align: right;
-        color: #a8a8a8;
-      }
-      .hitsNotExecuted {
-        background-color: #e66;
-      }
-      .hitsExecuted {
-        background-color: #6d6;
-      }
-    </style>
-    <div class="sourceInset">
-      <content></content>
-      <div class="sourceBox" style="max-height:{{height}}">
-        <div class="sourceTable">
-          <template if="{{ linesReady }}">
-            <template repeat="{{ line in lines }}">
-              <template if="{{ line != null }}">
-                <div class="sourceRow" id="{{ makeLineId(line.line) }}">
-                  <breakpoint-toggle line="{{ line }}"></breakpoint-toggle>
-
-                  <div class="sourceItem">&nbsp;</div>
-
-                  <template if="{{ line.hits == null ||
-                                line.hits < 0 }}">
-                    <div class="hitsNone">{{ line.line }}</div>
-                  </template>
-                  <template if="{{ line.hits == 0 }}">
-                    <div class="hitsNotExecuted">{{ line.line }}</div>
-                  </template>
-                  <template if="{{ line.hits > 0 }}">
-                    <div class="hitsExecuted">{{ line.line }}</div>
-                  </template>
-
-                  <div class="sourceItem">&nbsp;</div>
-
-                  <template if="{{ line.line == currentLine }}">
-                    <div class="sourceItem"><span class="currentLine">{{
-                          clip(line.text,0,currentCol
-                        )}}</span><span class="currentCol">{{
-                          clip(line.text,currentCol,currentCol+1)
-                        }}</span><span class="currentLine">{{
-                          clip(line.text,currentCol+1)
-                        }}</span></div>
-                  </template>
-                  <template if="{{ line.line != currentLine }}">
-                    <div class="sourceItem">{{line.text}}</div>
-                  </template>
-              </div>
-              </template>
-
-              <template if="{{ line == null }}">
-                <breakpoint-toggle line="{{ null }}"></breakpoint-toggle>
-                <div class="sourceItem">&nbsp;</div>
-                <div class="hitsNone">...</div>
-                <div class="sourceItem">&nbsp;</div>
-                <div class="sourceItem"></div>
-              </template>
-
-            </template>
-          </template>
-
-          <template if="{{ !linesReady }}">
-            <div class="sourceRow">
-              <div class="sourceItem">loading...</div>
-            </div>
-          </template>
-        </div>
-      </div>
-    </div>
-  </template>
 </polymer-element>
 
 <polymer-element name="breakpoint-toggle" extends="observatory-element">