Add a VM page to the observatory.

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

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library observatory_element;
 
 import 'dart:math';
 import 'package:polymer/polymer.dart';
 
 /// Base class for all Observatory custom elements.
@@ skipping 20 matching lines @@
     while (pad > 1) {
       int pow10 = pow(10, pad - 1);
       if (value < pow10) {
         prefix = prefix + "0";
       }
       pad--;
     }
     return "${prefix}${value}";
   }
 
-  String formatTime(double time) {
+  String formatTimePrecise(double time) {
     if (time == null) {
       return "-";
     }
     const millisPerHour = 60 * 60 * 1000;
     const millisPerMinute = 60 * 1000;
     const millisPerSecond = 1000;
 
     var millis = (time * millisPerSecond).round();
 
     var hours = millis ~/ millisPerHour;
     millis = millis % millisPerHour;
 
     var minutes = millis ~/ millisPerMinute;
     millis = millis % millisPerMinute;
 
     var seconds = millis ~/ millisPerSecond;
     millis = millis % millisPerSecond;
 
     return ("${_zeroPad(hours,2)}"
             ":${_zeroPad(minutes,2)}"
             ":${_zeroPad(seconds,2)}"
             ".${_zeroPad(millis,3)}");
 
   }
 
+  String formatTime(double time) {
+    if (time == null) {
+      return "-";
+    }
+    const millisPerHour = 60 * 60 * 1000;
+    const millisPerMinute = 60 * 1000;
+    const millisPerSecond = 1000;
+
+    var millis = (time * millisPerSecond).round();
+
+    var hours = millis ~/ millisPerHour;
+    millis = millis % millisPerHour;
+
+    var minutes = millis ~/ millisPerMinute;
+    millis = millis % millisPerMinute;
+
+    var seconds = millis ~/ millisPerSecond;
+
+    StringBuffer out = new StringBuffer();
+    if (hours != 0) {
+      return '${hours}h ${minutes}m ${seconds}s';
+    }
+    if (minutes != 0) {
+      return '${minutes}m ${seconds}s';
+    }
+    return '${seconds}s';
+  }
+
   String formatSeconds(double x) {
     return x.toStringAsFixed(2);
   }
 
 
   String formatSize(int bytes) {
     const int bytesPerKB = 1024;
     const int bytesPerMB = 1024 * bytesPerKB;
     const int bytesPerGB = 1024 * bytesPerMB;
     const int bytesPerTB = 1024 * bytesPerGB;
@@ skipping 64 matching lines @@
               'Bool',
               'String',
               'Closure',
               'Double',
               'Instance',
               'GrowableObjectArray',
               'Array',
               'Error'].contains(type));
   }
 }