Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(105)

Unified Diff: runtime/bin/vmservice/client/lib/src/elements/script_view.html

Issue 221263002: Miscellaneous Observatory UI improvements (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 6 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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 ef6b4a7df06911d05df615aece04e63b710371b8..c251423151c3079ac72ad3269417efa7705f8949 100644
--- a/runtime/bin/vmservice/client/lib/src/elements/script_view.html
+++ b/runtime/bin/vmservice/client/lib/src/elements/script_view.html
@@ -1,6 +1,7 @@
<head>
<link rel="import" href="nav_bar.html">
<link rel="import" href="observatory_element.html">
+ <link rel="import" href="script_inset.html">
</head>
<polymer-element name="script-view" extends="observatory-element">
<template>
@@ -20,22 +21,9 @@
</nav-refresh>
</nav-bar>
- <div class="row">
- <div class="col-md-8 col-md-offset-2">
- <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.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>
- </tr>
- </tbody>
- </table>
- </div>
- </div>
- </div>
+ <script-inset id="scriptInset" script="{{ script }}" pos="{{ script.firstTokenPos }}" endPos="{{ script.lastTokenPos }}">
+ <h1>script {{ script.name }}</h1>
+ </script-inset>
</template>
<script type="application/dart" src="script_view.dart"></script>
</polymer-element>

Powered by Google App Engine
This is Rietveld 408576698