| Index: runtime/observatory/lib/src/elements/code_view.html
|
| diff --git a/runtime/observatory/lib/src/elements/code_view.html b/runtime/observatory/lib/src/elements/code_view.html
|
| index 95f71e2e6e1ffccc52dc67e7f10b0e5e2da5cbf1..edd5e38b859b6bff6d246b59570a3447f54026c2 100644
|
| --- a/runtime/observatory/lib/src/elements/code_view.html
|
| +++ b/runtime/observatory/lib/src/elements/code_view.html
|
| @@ -2,9 +2,6 @@
|
| <link rel="import" href="function_ref.html">
|
| <link rel="import" href="instance_ref.html">
|
| <link rel="import" href="observatory_element.html">
|
| -<link rel="import" href="nav_bar.html">
|
| -<link rel="import" href="script_ref.html">
|
| -<link rel="import" href="view_footer.html">
|
|
|
| <polymer-element name="code-view" extends="observatory-element">
|
| <template>
|
| @@ -56,9 +53,12 @@
|
| <top-nav-menu></top-nav-menu>
|
| <vm-nav-menu vm="{{ code.isolate.vm }}"></vm-nav-menu>
|
| <isolate-nav-menu isolate="{{ code.isolate }}"></isolate-nav-menu>
|
| - <nav-menu link="{{ makeLink('/inspect', code) }}" anchor="{{ code.name }}" last="{{ true }}"></nav-menu>
|
| + <nav-menu link="{{ makeLink('/inspect', code) }}" anchor="{{ code.name }}"
|
| + last="{{ true }}"></nav-menu>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| - <nav-refresh callback="{{ refreshTicks }}" label="Refresh Ticks"></nav-refresh>
|
| + <nav-refresh callback="{{ refreshTicks }}" label="Refresh Ticks"
|
| + ></nav-refresh>
|
| + <nav-notify notifications="{{ app.notifications }}"></nav-notify>
|
| </nav-bar>
|
| <div class="content">
|
| <template if="{{ code.isDartCode && code.isOptimized }}">
|
|
|