Index: runtime/bin/vmservice/observatory/deployed/web/packages/observatory/src/elements/script_view.html |
diff --git a/runtime/bin/vmservice/observatory/deployed/web/packages/observatory/src/elements/script_view.html b/runtime/bin/vmservice/observatory/deployed/web/packages/observatory/src/elements/script_view.html |
deleted file mode 100644 |
index b6f31ece02d978d60a996cd9e0c5c7043111bc09..0000000000000000000000000000000000000000 |
--- a/runtime/bin/vmservice/observatory/deployed/web/packages/observatory/src/elements/script_view.html |
+++ /dev/null |
@@ -1,36 +0,0 @@ |
-<link rel="import" href="../../../../packages/polymer/polymer.html"> |
-<link rel="import" href="nav_bar.html"> |
-<link rel="import" href="observatory_element.html"> |
-<link rel="import" href="script_inset.html"> |
- |
-<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="{{ script.owningLibrary.link }}" anchor="{{ script.owningLibrary.name }}"></nav-menu> |
- <nav-menu link="{{ script.link }}" anchor="{{ script.name }}" last="{{ true }}"></nav-menu> |
- <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh> |
- <nav-refresh callback="{{ refresh }}"></nav-refresh> |
- <nav-control></nav-control> |
- </nav-bar> |
- |
- <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> |