Index: runtime/observatory/lib/src/elements/cpu_profile.html |
diff --git a/runtime/observatory/lib/src/elements/cpu_profile.html b/runtime/observatory/lib/src/elements/cpu_profile.html |
index 9e5fe2001b6486347afaef07e36c44b30fb4b537..db7a8636e873f2235aecbf543c1febfcc3e4dd71 100644 |
--- a/runtime/observatory/lib/src/elements/cpu_profile.html |
+++ b/runtime/observatory/lib/src/elements/cpu_profile.html |
@@ -286,6 +286,7 @@ |
<nav-menu link="{{ makeLink('/profiler-table', isolate) }}" anchor="cpu profile (table)" last="{{ true }}"></nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
<nav-refresh callback="{{ clearCpuProfile }}" label="Clear"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<style> |
/* general */ |
@@ -500,6 +501,7 @@ |
<nav-menu link="{{ makeLink('/profiler', isolate) }}" anchor="cpu profile" last="{{ true }}"></nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
<nav-refresh callback="{{ clearCpuProfile }}" label="Clear"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<style> |
.tableWell { |