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

Side by Side Diff: dart/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/script_view.html

Issue 322303002: Version 1.5.0-dev.4.6 (Closed) Base URL: http://dart.googlecode.com/svn/trunk/
Patch Set: Created 6 years, 6 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 unified diff | Download patch | Annotate | Revision Log
OLDNEW
1 <head> 1 <head>
2 <link rel="import" href="nav_bar.html"> 2 <link rel="import" href="nav_bar.html">
3 <link rel="import" href="observatory_element.html"> 3 <link rel="import" href="observatory_element.html">
4 <link rel="import" href="script_inset.html"> 4 <link rel="import" href="script_inset.html">
5 </head> 5 </head>
6 <polymer-element name="script-view" extends="observatory-element"> 6 <polymer-element name="script-view" extends="observatory-element">
7 <template> 7 <template>
8 <link rel="stylesheet" href="css/shared.css"> 8 <link rel="stylesheet" href="css/shared.css">
9 <nav-bar> 9 <nav-bar>
10 <top-nav-menu></top-nav-menu> 10 <top-nav-menu></top-nav-menu>
11 <isolate-nav-menu isolate="{{ script.isolate }}"> 11 <isolate-nav-menu isolate="{{ script.isolate }}">
12 </isolate-nav-menu> 12 </isolate-nav-menu>
13 <nav-menu link="." anchor="{{ script.name }}" last="{{ true }}"> 13 <nav-menu link="." anchor="{{ script.name }}" last="{{ true }}">
14 <li> 14 <li>
15 <input type="checkbox" checked="{{ showCoverage }}"> 15 <input type="checkbox" checked="{{ showCoverage }}">
16 <label>Show Coverage Data</label> 16 <label>Show Coverage Data</label>
17 </li> 17 </li>
18 </nav-menu> 18 </nav-menu>
19 <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav -refresh> 19 <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav -refresh>
20 <nav-refresh callback="{{ refresh }}"> 20 <nav-refresh callback="{{ refresh }}"></nav-refresh>
21 </nav-refresh> 21 <nav-control></nav-control>
22 </nav-bar> 22 </nav-bar>
23 23
24 <script-inset id="scriptInset" script="{{ script }}" pos="{{ script.firstToken Pos }}" endPos="{{ script.lastTokenPos }}"> 24 <script-inset id="scriptInset" script="{{ script }}" pos="{{ script.firstToken Pos }}" endPos="{{ script.lastTokenPos }}">
25 <h1>script {{ script.name }}</h1> 25 <h1>script {{ script.name }}</h1>
26 </script-inset> 26 </script-inset>
27 </template> 27 </template>
28 <script type="application/dart" src="script_view.dart"></script> 28 <script type="application/dart" src="script_view.dart"></script>
29 </polymer-element> 29 </polymer-element>
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698