| Index: runtime/bin/vmservice/client/lib/src/elements/script_view.html
|
| diff --git a/runtime/bin/vmservice/client/lib/src/elements/script_view.html b/runtime/bin/vmservice/client/lib/src/elements/script_view.html
|
| index af8b8f7f99b30a866fdbc1e055db80356e7da037..ef6b4a7df06911d05df615aece04e63b710371b8 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/elements/script_view.html
|
| +++ b/runtime/bin/vmservice/client/lib/src/elements/script_view.html
|
| @@ -1,28 +1,32 @@
|
| <head>
|
| <link rel="import" href="nav_bar.html">
|
| - <link rel="import" href="isolate_element.html">
|
| + <link rel="import" href="observatory_element.html">
|
| </head>
|
| -<polymer-element name="script-view" extends="isolate-element">
|
| +<polymer-element name="script-view" extends="observatory-element">
|
| <template>
|
| <nav-bar>
|
| <top-nav-menu></top-nav-menu>
|
| - <isolate-nav-menu isolate="{{ isolate }}">
|
| + <isolate-nav-menu isolate="{{ script.isolate }}">
|
| </isolate-nav-menu>
|
| - <library-nav-menu isolate="{{ isolate }}" library="{{ script.libraryRef }}"></library-nav-menu>
|
| - <nav-menu link="." anchor="{{ script.shortName }}" last="{{ true }}"></nav-menu>
|
| + <library-nav-menu library="{{ script.library }}"></library-nav-menu>
|
| + <nav-menu link="." anchor="{{ script.name }}" last="{{ true }}">
|
| + <li>
|
| + <input type="checkbox" checked="{{ showCoverage }}">
|
| + <label>Show Coverage Data</label>
|
| + </li>
|
| + </nav-menu>
|
| + <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh>
|
| + <nav-refresh callback="{{ refresh }}">
|
| + </nav-refresh>
|
| </nav-bar>
|
|
|
| <div class="row">
|
| <div class="col-md-8 col-md-offset-2">
|
| - <div class="panel-heading">
|
| - <button on-click="{{refreshCoverage}}">Refresh Coverage</button>
|
| - {{ script.scriptRef['user_name'] }}
|
| - {{ script.coveredPercentageFormatted() }}
|
| - </div>
|
| + <div class="panel-heading">Script source for: {{ script.name }}</div>
|
| <div class="panel-body">
|
| <table style="width:100%">
|
| <tbody>
|
| - <tr template repeat="{{ line in script.linesForDisplay }}">
|
| + <tr template repeat="{{ line in script.lines }}">
|
| <td style="{{ hitsStyle(line) }}"> </td>
|
| <td style="font-family: consolas, courier, monospace;font-size: 1em;line-height: 1.2em;white-space: nowrap;">{{line.line}}</td>
|
| <td width="99%" style="font-family: consolas, courier, monospace;font-size: 1em;line-height: 1.2em;white-space: pre;">{{line.text}}</td>
|
|
|