runtime/bin/vmservice/client/lib/src/elements/script_view.html - Issue 221263002: Miscellaneous Observatory UI improvements

Side by Side Diff

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Keyboard Shortcuts

	File
u :	up to issue
j / k :	jump to file after / before current file
J / K :	jump to next file with a comment after / before current file
	Side-by-side diff
i :	toggle intra-line diffs
e :	expand all comments
c :	collapse all comments
s :	toggle showing all comments
n / p :	next / previous diff chunk or comment
N / P :	next / previous comment
<Up> / <Down> :	next / previous line

	Issue
u :	up to list of issues
j / k :	jump to patch after / before current patch
o / <Enter> :	open current patch in side-by-side view
i :	open current patch in unified diff view

	Issue List
j / k :	jump to issue after / before current issue
o / <Enter> :	open current issue

Side by Side 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, 8 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

« no previous file with comments | « runtime/bin/vmservice/client/lib/src/elements/script_view.dart ('k') | runtime/bin/vmservice/client/lib/src/elements/service_view.dart » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')

OLD	NEW
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 </head>	5 </head>

5 <polymer-element name="script-view" extends="observatory-element">	6 <polymer-element name="script-view" extends="observatory-element">

6 <template>	7 <template>

7 <nav-bar>	8 <nav-bar>

8 <top-nav-menu></top-nav-menu>	9 <top-nav-menu></top-nav-menu>

9 <isolate-nav-menu isolate="{{ script.isolate }}">	10 <isolate-nav-menu isolate="{{ script.isolate }}">

10 </isolate-nav-menu>	11 </isolate-nav-menu>

11 <library-nav-menu library="{{ script.library }}"></library-nav-menu>	12 <library-nav-menu library="{{ script.library }}"></library-nav-menu>

12 <nav-menu link="." anchor="{{ script.name }}" last="{{ true }}">	13 <nav-menu link="." anchor="{{ script.name }}" last="{{ true }}">

13 <li>	14 <li>

14 <input type="checkbox" checked="{{ showCoverage }}">	15 <input type="checkbox" checked="{{ showCoverage }}">

15 <label>Show Coverage Data</label>	16 <label>Show Coverage Data</label>

16 </li>	17 </li>

17 </nav-menu>	18 </nav-menu>

18 <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav -refresh>	19 <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav -refresh>

19 <nav-refresh callback="{{ refresh }}">	20 <nav-refresh callback="{{ refresh }}">

20 </nav-refresh>	21 </nav-refresh>

21 </nav-bar>	22 </nav-bar>

22	23

23 <div class="row">	24 <script-inset id="scriptInset" script="{{ script }}" pos="{{ script.firstToken Pos }}" endPos="{{ script.lastTokenPos }}">

24 <div class="col-md-8 col-md-offset-2">	25 <h1>script {{ script.name }}</h1>

25 <div class="panel-heading">Script source for: {{ script.name }}</div>	26 </script-inset>

26 <div class="panel-body">

27 <table style="width:100%">

28 <tbody>

29 <tr template repeat="{{ line in script.lines }}">

30 <td style="{{ hitsStyle(line) }}"> </td>

31 <td style="font-family: consolas, courier, monospace;font-size: 1em; line-height: 1.2em;white-space: nowrap;">{{line.line}}</td>

32 <td width="99%" style="font-family: consolas, courier, monospace;fon t-size: 1em;line-height: 1.2em;white-space: pre;">{{line.text}}</td>

33 </tr>

34 </tbody>

35 </table>

36 </div>

37 </div>

38 </div>

39 </template>	27 </template>

40 <script type="application/dart" src="script_view.dart"></script>	28 <script type="application/dart" src="script_view.dart"></script>

41 </polymer-element>	29 </polymer-element>

OLD	NEW