| Index: runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/script_view.html
|
| diff --git a/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/script_view.html b/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/script_view.html
|
| index a99bb896cc5f1eaa8b5656d73ffd3c4224528214..bd54c72958b3bd1d4507f3961977414856681be8 100644
|
| --- a/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/script_view.html
|
| +++ b/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/script_view.html
|
| @@ -16,10 +16,20 @@
|
| <nav-control></nav-control>
|
| </nav-bar>
|
|
|
| - <script-inset id="scriptInset" script="{{ script }}" pos="{{ script.firstTokenPos }}" endPos="{{ script.lastTokenPos }}">
|
| - <h1>script {{ script.name }}</h1>
|
| - </script-inset>
|
| + <template if="{{ args['pos'] == null }}">
|
| + <script-inset id="scriptInset" script="{{ script }}">
|
| + <h1>script {{ script.name }}</h1>
|
| + </script-inset>
|
| + </template>
|
| +
|
| + <template if="{{ args['pos'] != null }}">
|
| + <script-inset id="scriptInset" script="{{ script }}"
|
| + currentPos="{{ args['pos'] | parseInt }}">
|
| + <h1>script {{ script.name }}</h1>
|
| + </script-inset>
|
| + </template>
|
| +
|
| </template>
|
| </polymer-element>
|
|
|
| -<script type="application/dart" src="script_view.dart"></script>
|
| +<script type="application/dart" src="script_view.dart"></script>
|
|
|