| Index: runtime/observatory/lib/src/elements/flag_list.html
|
| diff --git a/runtime/observatory/lib/src/elements/flag_list.html b/runtime/observatory/lib/src/elements/flag_list.html
|
| index 6806d03a5d006dcb0c3e080d3a9abab80146d808..b4796f27adbacd2cbf1a120da376d7b91272f07e 100644
|
| --- a/runtime/observatory/lib/src/elements/flag_list.html
|
| +++ b/runtime/observatory/lib/src/elements/flag_list.html
|
| @@ -10,6 +10,7 @@
|
| <vm-nav-menu vm="{{ app.vm }}"></vm-nav-menu>
|
| <nav-menu link="{{ makeLink('/flags') }}" anchor="flags" last="{{ true }}"></nav-menu>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| + <nav-notify notifications="{{ app.notifications }}"></nav-notify>
|
| </nav-bar>
|
|
|
| <div class="content-centered">
|
|
|