| 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 {
|
|
|