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 ebb64be6a622372833de6337ae7f0cd2e0c760cb..a4aa02ddc97d394aaa5657796ee0651338822454 100644 |
--- a/runtime/observatory/lib/src/elements/script_view.html |
+++ b/runtime/observatory/lib/src/elements/script_view.html |
@@ -9,8 +9,8 @@ |
<link rel="stylesheet" href="css/shared.css"> |
<nav-bar> |
<top-nav-menu></top-nav-menu> |
- <isolate-nav-menu isolate="{{ script.isolate }}"> |
- </isolate-nav-menu> |
+ <vm-nav-menu vm="{{ script.isolate.vm }}"></vm-nav-menu> |
+ <isolate-nav-menu isolate="{{ script.isolate }}"></isolate-nav-menu> |
<library-nav-menu library="{{ script.library }}"></library-nav-menu> |
<nav-menu link="{{ makeLink('/inspect', script) }}" anchor="{{ script.name }}" last="{{ true }}"></nav-menu> |
<nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh> |