Index: runtime/bin/vmservice/client/lib/src/observatory_elements/breakpoint_list.html |
diff --git a/runtime/bin/vmservice/client/lib/src/observatory_elements/breakpoint_list.html b/runtime/bin/vmservice/client/lib/src/observatory_elements/breakpoint_list.html |
index 8496dd265b552db134d9010ee2aa91b76e5c1b34..99136afb26cceb828c554d6baabd431481cf6950 100644 |
--- a/runtime/bin/vmservice/client/lib/src/observatory_elements/breakpoint_list.html |
+++ b/runtime/bin/vmservice/client/lib/src/observatory_elements/breakpoint_list.html |
@@ -1,8 +1,17 @@ |
<head> |
+ <link rel="import" href="nav_bar.html"> |
<link rel="import" href="observatory_element.html"> |
</head> |
<polymer-element name="breakpoint-list" extends="observatory-element"> |
<template> |
+ <nav-bar> |
+ <top-nav-menu></top-nav-menu> |
+ <isolate-nav-menu app="{{ app }}" isolate="{{ app.locationManager.currentIsolate() }}"> |
+ </isolate-nav-menu> |
+ <nav-menu link="." anchor="breakpoints" last="{{ true }}"></nav-menu> |
+ <nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ </nav-bar> |
+ |
<template if="{{ msg['breakpoints'].isEmpty }}"> |
<div class="panel panel-warning"> |
<div class="panel-body">No breakpoints</div> |
@@ -19,4 +28,4 @@ |
</template> |
</template> |
<script type="application/dart" src="breakpoint_list.dart"></script> |
-</polymer-element> |
+</polymer-element> |