runtime/bin/vmservice/observatory/lib/src/elements/script_view.html - Issue 837723004: Build Observatory as part of runtime

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/observatory/lib/src/elements/script_view.html

Issue 837723004: Build Observatory as part of runtime (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart

Patch Set: Created 5 years, 11 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:

OLD	NEW
	(Empty)
1 <link rel="import" href="../../../../packages/polymer/polymer.html">

2 <link rel="import" href="nav_bar.html">

3 <link rel="import" href="observatory_element.html">

4 <link rel="import" href="script_inset.html">

5

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

7 <template>

8 <link rel="stylesheet" href="css/shared.css">

9 <nav-bar>

10 <top-nav-menu></top-nav-menu>

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

12 </isolate-nav-menu>

13 <nav-menu link="{{ script.owningLibrary.link }}" anchor="{{ script.owningLib rary.name }}"></nav-menu>

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

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

16 <nav-refresh callback="{{ refresh }}"></nav-refresh>

17 <nav-control></nav-control>

18 </nav-bar>

19

20 <template if="{{ args['pos'] == null }}">

21 <script-inset id="scriptInset" script="{{ script }}">

22 <h1>script {{ script.name }}</h1>

23 </script-inset>

24 </template>

25

26 <template if="{{ args['pos'] != null }}">

27 <script-inset id="scriptInset" script="{{ script }}"

28 currentPos="{{ args['pos'] \| parseInt }}">

29 <h1>script {{ script.name }}</h1>

30 </script-inset>

31 </template>

32

33 </template>

34 </polymer-element>

35

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

OLD	NEW