DevTools: Show small times in microseconds

third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js

 /*
  * Copyright (C) 2011 Google Inc.  All rights reserved.
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com).
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
@@ skipping 568 matching lines @@
  * @return {string}
  */
 Number.preciseMillisToString = function(ms, precision)
 {
     precision = precision || 0;
     var format = "%." + precision + "f\u2009ms";
     return WebInspector.UIString(format, ms);
 }
 
 /** @type {!WebInspector.UIStringFormat} */
+WebInspector._microsFormat = new WebInspector.UIStringFormat("%.0f\u2009\u03bcs");
+
+/** @type {!WebInspector.UIStringFormat} */
 WebInspector._subMillisFormat = new WebInspector.UIStringFormat("%.2f\u2009ms");
 
 /** @type {!WebInspector.UIStringFormat} */
 WebInspector._millisFormat = new WebInspector.UIStringFormat("%.0f\u2009ms");
 
 /** @type {!WebInspector.UIStringFormat} */
 WebInspector._secondsFormat = new WebInspector.UIStringFormat("%.2f\u2009s");
 
 /** @type {!WebInspector.UIStringFormat} */
 WebInspector._minutesFormat = new WebInspector.UIStringFormat("%.1f\u2009min");
@@ skipping 10 matching lines @@
  * @return {string}
  */
 Number.millisToString = function(ms, higherResolution)
 {
     if (!isFinite(ms))
         return "-";
 
     if (ms === 0)
         return "0";
 
+    if (higherResolution && ms < 0.1)
+        return WebInspector._microsFormat.format(ms * 1000);
     if (higherResolution && ms < 1000)
         return WebInspector._subMillisFormat.format(ms);
-    else if (ms < 1000)
+    if (ms < 1000)
         return WebInspector._millisFormat.format(ms);
 
     var seconds = ms / 1000;
     if (seconds < 60)
         return WebInspector._secondsFormat.format(seconds);
 
     var minutes = seconds / 60;
     if (minutes < 60)
         return WebInspector._minutesFormat.format(minutes);
 
@@ skipping 1374 matching lines @@
  * @param {string} title
  * @return {!Element}
  */
 WebInspector.linkifyDocumentationURLAsNode = function(article, title)
 {
     return WebInspector.linkifyURLAsNode("https://developers.google.com/web/tools/chrome-devtools/" + article, title, undefined, true);
 }
 
 /** @type {!WebInspector.ThemeSupport} */
 WebInspector.themeSupport;