Converted Observatory nav-refresh element

runtime/observatory/lib/src/elements/nav_bar.dart

Index: runtime/observatory/lib/src/elements/nav_bar.dart
diff --git a/runtime/observatory/lib/src/elements/nav_bar.dart b/runtime/observatory/lib/src/elements/nav_bar.dart
index 3999db87c9116bd6aa64f45b7b26a15d66ebf4c4..7cb34060b4cf520f02785a7cfb6a69e9bbd98810 100644
--- a/runtime/observatory/lib/src/elements/nav_bar.dart
+++ b/runtime/observatory/lib/src/elements/nav_bar.dart
@@ -42,31 +42,6 @@ class NavMenuItemElement extends ObservatoryElement {
 
 typedef Future RefreshCallback();
 
-@CustomTag('nav-refresh')
-class NavRefreshElement extends ObservatoryElement {
-  @published RefreshCallback callback;
-  @published bool active = false;
-  @published String label = 'Refresh';
-
-  NavRefreshElement.created() : super.created();
-
-  void buttonClick(Event e, var detail, Node target) {
-    if (active) {
-      return;
-    }
-    active = true;
-    if (callback != null) {
-      callback()
-        .catchError(app.handleException)
-        .whenComplete(refreshDone);
-    }
-  }
-
-  void refreshDone() {
-    active = false;
-  }
-}
-
 @CustomTag('top-nav-menu')
 class TopNavMenuElement extends ObservatoryElement {
   @published bool last = false;