Improved profiler view and inclusive profile tree

runtime/observatory/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:async';
 import 'dart:html';
 import 'package:observatory/app.dart';
 import 'package:observatory/service.dart';
@@ skipping 101 matching lines @@
     }
     return url;
   }
 
   /// Create a link that can be consumed by [goto].
   String gotoLink(String url, [ServiceObject obj]) {
     return app.locationManager.makeLink(makeLink(url, obj));
   }
 
   String formatTimePrecise(double time) => Utils.formatTimePrecise(time);
-
+  String formatTimeMilliseconds(int millis) =>
+      Utils.formatTimeMilliseconds(millis);
   String formatTime(double time) => Utils.formatTime(time);
 
   String formatSeconds(double x) => Utils.formatSeconds(x);
 
 
   String formatSize(int bytes) => Utils.formatSize(bytes);
 
   String fileAndLine(Map frame) {
     var file = frame['script'].name;
     var shortFile = file.substring(file.lastIndexOf('/') + 1);
@@ skipping 43 matching lines @@
     var anchorElement = new AnchorElement();
     anchorElement.href = href;
     anchorElement.text = label;
     if (title != null) {
       anchorElement.title = title;
     }
     anchorElement.onClick.listen(onClickGoto);
     shadowRoot.children.add(anchorElement);
   }
 }