Update the navbar in the observatory

runtime/bin/vmservice/client/lib/src/observatory_elements/function_view.dart

Index: runtime/bin/vmservice/client/lib/src/observatory_elements/function_view.dart
diff --git a/runtime/bin/vmservice/client/lib/src/observatory_elements/function_view.dart b/runtime/bin/vmservice/client/lib/src/observatory_elements/function_view.dart
index 8357595fbdde53022af61bb09081bcf89eea34df..dbcb66fddc560a807fee5e13383c91b6e7fa0101 100644
--- a/runtime/bin/vmservice/client/lib/src/observatory_elements/function_view.dart
+++ b/runtime/bin/vmservice/client/lib/src/observatory_elements/function_view.dart
@@ -4,6 +4,7 @@
 
 library function_view_element;
 
+import 'package:logging/logging.dart';
 import 'package:polymer/polymer.dart';
 import 'observatory_element.dart';
 
@@ -11,4 +12,13 @@ import 'observatory_element.dart';
 class FunctionViewElement extends ObservatoryElement {
   @published Map function;
   FunctionViewElement.created() : super.created();
+
+  void refresh(var done) {
+    var url = app.locationManager.currentIsolateRelativeLink(function['id']);
+    app.requestManager.requestMap(url).then((map) {
+        function = map;
+    }).catchError((e, trace) {
+        Logger.root.severe('Error while refreshing field-view: $e\n$trace');
+    }).whenComplete(done);
+  }
 }