| Index: runtime/observatory/lib/src/elements/script_view.html
|
| diff --git a/runtime/observatory/lib/src/elements/script_view.html b/runtime/observatory/lib/src/elements/script_view.html
|
| index a4aa02ddc97d394aaa5657796ee0651338822454..575a1ce57035d492228bc27e2900e1d3f327a206 100644
|
| --- a/runtime/observatory/lib/src/elements/script_view.html
|
| +++ b/runtime/observatory/lib/src/elements/script_view.html
|
| @@ -17,18 +17,13 @@
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| </nav-bar>
|
|
|
| - <template if="{{ app.locationManager.internalArguments['pos'] == null }}">
|
| - <script-inset id="scriptInset" script="{{ script }}">
|
| - <h1>script {{ script.name }}</h1>
|
| - </script-inset>
|
| - </template>
|
| -
|
| - <template if="{{ app.locationManager.internalArguments['pos'] != null }}">
|
| + <div class="content-centered-big">
|
| + <h1>script {{ script.name }}</h1>
|
| + <hr>
|
| <script-inset id="scriptInset" script="{{ script }}"
|
| currentPos="{{ app.locationManager.internalArguments['pos'] | parseInt }}">
|
| - <h1>script {{ script.name }}</h1>
|
| </script-inset>
|
| - </template>
|
| + </div>
|
|
|
| <view-footer></view-footer>
|
| </template>
|
|
|