<head>
  <link rel="import" href="nav_bar.html">
  <link rel="import" href="observatory_element.html">
  <link rel="import" href="script_inset.html">
</head>
<polymer-element name="script-view" extends="observatory-element">
<template>
  <link rel="stylesheet" href="css/shared.css">
  <nav-bar>
    <top-nav-menu></top-nav-menu>
    <isolate-nav-menu isolate="{{ script.isolate }}">
    </isolate-nav-menu>
    <nav-menu link="." anchor="{{ script.name }}" last="{{ true }}">
      <li>
        <input type="checkbox" checked="{{ showCoverage }}">
        <label>Show Coverage Data</label>
      </li>
    </nav-menu>
    <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh>
    <nav-refresh callback="{{ refresh }}">
    </nav-refresh>
  </nav-bar>

  <script-inset id="scriptInset" script="{{ script }}" pos="{{ script.firstTokenPos }}" endPos="{{ script.lastTokenPos }}">
  <h1>script {{ script.name }}</h1>
  </script-inset>
</template>
<script type="application/dart" src="script_view.dart"></script>
</polymer-element>