| Index: runtime/bin/vmservice/client/lib/src/elements/code_view.html
|
| diff --git a/runtime/bin/vmservice/client/lib/src/elements/code_view.html b/runtime/bin/vmservice/client/lib/src/elements/code_view.html
|
| index f04fd06dc5309838ad6098feaa03392ddde90d3b..db45db9d4b9b9047539d219f56e20e1edd8baf23 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/elements/code_view.html
|
| +++ b/runtime/bin/vmservice/client/lib/src/elements/code_view.html
|
| @@ -57,6 +57,7 @@
|
| <isolate-nav-menu isolate="{{ code.isolate }}"></isolate-nav-menu>
|
| <nav-menu link="." anchor="{{ code.name }}" last="{{ true }}"></nav-menu>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| + <nav-control></nav-control>
|
| </nav-bar>
|
| <div class="content">
|
| <template if="{{ code.isDartCode && code.isOptimized }}">
|
|
|