observatory: optionally auto-refresh allocation profile page at each GC.

runtime/bin/vmservice/observatory/lib/src/elements/heap_profile.html

Index: runtime/bin/vmservice/observatory/lib/src/elements/heap_profile.html
===================================================================
--- runtime/bin/vmservice/observatory/lib/src/elements/heap_profile.html	(revision 42293)
+++ runtime/bin/vmservice/observatory/lib/src/elements/heap_profile.html	(working copy)
@@ -43,6 +43,12 @@
     #classtable tr:hover > td {
       background-color: #F4C7C3;
     }
+    .nav-option {
+      color: white;
+      float: right;
+      margin: 3px;
+      padding: 8px;
+    }
   </style>
   <nav-bar>
     <top-nav-menu></top-nav-menu>
@@ -51,6 +57,9 @@
     <nav-refresh callback="{{ resetAccumulator }}" label="Reset Accumulator"></nav-refresh>
     <nav-refresh callback="{{ refreshGC }}" label="GC"></nav-refresh>
     <nav-refresh callback="{{ refresh }}"></nav-refresh>
+    <div class="nav-option">
+      <input type="checkbox" checked="{{ autoRefresh }}">Auto-refresh on GC
+    </div>
     <nav-control></nav-control>
   </nav-bar>
   <div class="content">
@@ -174,4 +183,4 @@
 </template>
 </polymer-element>
 
-<script type="application/dart" src="heap_profile.dart"></script>
+<script type="application/dart" src="heap_profile.dart"></script>