| Index: runtime/observatory/lib/src/elements/debugger.html
|
| diff --git a/runtime/observatory/lib/src/elements/debugger.html b/runtime/observatory/lib/src/elements/debugger.html
|
| index 20e2e4d649cd7c814e1fde34c55e8c2d6552313b..3b71b5a14c4d461196af68db4e9f095f2f88622b 100644
|
| --- a/runtime/observatory/lib/src/elements/debugger.html
|
| +++ b/runtime/observatory/lib/src/elements/debugger.html
|
| @@ -109,11 +109,13 @@
|
| </style>
|
|
|
| <div class="container">
|
| - <nav-bar id="navbarDiv" notifyOnPause="{{ false }}">
|
| + <nav-bar id="navbarDiv" >
|
| <top-nav-menu></top-nav-menu>
|
| <vm-nav-menu vm="{{ isolate.vm }}"></vm-nav-menu>
|
| <isolate-nav-menu isolate="{{ isolate }}"></isolate-nav-menu>
|
| <nav-menu link="{{ makeLink('/debugger', isolate) }}" anchor="debugger" last="{{ true }}"></nav-menu>
|
| + <nav-notify notifications="{{ app.notifications }}"
|
| + notifyOnPause="{{ false }}"></nav-notify>
|
| </nav-bar>
|
| <div id="stackDiv" class="stack">
|
| <debugger-stack id="stackElement" isolate="{{ isolate }}"></debugger-stack>
|
|
|