Visual refresh of allocation profile page

runtime/bin/vmservice/client/lib/src/elements/observatory_element.dart

Index: runtime/bin/vmservice/client/lib/src/elements/observatory_element.dart
diff --git a/runtime/bin/vmservice/client/lib/src/elements/observatory_element.dart b/runtime/bin/vmservice/client/lib/src/elements/observatory_element.dart
index 55adba45af4611f08a87e109a9c338a11acf9f68..5cc8d916c199f4255cd5f59491e47dd5c16cc283 100644
--- a/runtime/bin/vmservice/client/lib/src/elements/observatory_element.dart
+++ b/runtime/bin/vmservice/client/lib/src/elements/observatory_element.dart
@@ -13,12 +13,19 @@ import 'package:polymer/polymer.dart';
 class ObservatoryElement extends PolymerElement {
   ObservatoryElement.created() : super.created();
 
-  void enteredView() {
-    super.enteredView();
+  @override
+  void attached() {
+    super.attached();
   }
 
-  void leftView() {
-    super.leftView();
+  @override
+  void attributeChanged(String name, var oldValue, var newValue) {
+    super.attributeChanged(name, oldValue, newValue);
+  }
+
+  @override
+  void detached() {
+    super.detached();
   }
 
   void ready() {
@@ -33,9 +40,7 @@ class ObservatoryElement extends PolymerElement {
     return location.makeLink(url);
   }
 
-  void attributeChanged(String name, var oldValue, var newValue) {
-    super.attributeChanged(name, oldValue, newValue);
-  }
+
 
   String formatTimePrecise(double time) => Utils.formatTimePrecise(time);