| Index: runtime/bin/vmservice/client/lib/src/observatory_elements/script_view.html
|
| diff --git a/runtime/bin/vmservice/client/lib/src/observatory_elements/script_view.html b/runtime/bin/vmservice/client/lib/src/observatory_elements/script_view.html
|
| deleted file mode 100644
|
| index 05c884d0d6a5bb4fdf3b4ef78a73cff6582febe8..0000000000000000000000000000000000000000
|
| --- a/runtime/bin/vmservice/client/lib/src/observatory_elements/script_view.html
|
| +++ /dev/null
|
| @@ -1,37 +0,0 @@
|
| -<head>
|
| - <link rel="import" href="nav_bar.html">
|
| - <link rel="import" href="observatory_element.html">
|
| -</head>
|
| -<polymer-element name="script-view" extends="observatory-element">
|
| -<template>
|
| - <nav-bar>
|
| - <top-nav-menu></top-nav-menu>
|
| - <isolate-nav-menu app="{{ app }}" isolate="{{ app.locationManager.currentIsolate() }}">
|
| - </isolate-nav-menu>
|
| - <library-nav-menu app="{{ app }}" library="{{ script.libraryRef }}"></library-nav-menu>
|
| - <nav-menu link="." anchor="{{ script.shortName }}" last="{{ true }}"></nav-menu>
|
| - </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-body">
|
| - <table style="width:100%">
|
| - <tbody>
|
| - <tr template repeat="{{ line in script.linesForDisplay }}">
|
| - <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>
|
| - </tr>
|
| - </tbody>
|
| - </table>
|
| - </div>
|
| - </div>
|
| - </div>
|
| -</template>
|
| -<script type="application/dart" src="script_view.dart"></script>
|
| -</polymer-element>
|
|
|