# HG changeset patch
# User jbe
# Date 1427047130 -3600
# Node ID e0b6cb626ee612d3fa6e28278e555c8b74402b61
# Parent  fe9ea7a03364aa5751c493f797b68feea79790cc
Added factor 1000 to display milliseconds correctly

diff -r fe9ea7a03364 -r e0b6cb626ee6 framework/env/trace/_render_sub_tree.lua
--- a/framework/env/trace/_render_sub_tree.lua	Sun Mar 22 18:55:34 2015 +0100
+++ b/framework/env/trace/_render_sub_tree.lua	Sun Mar 22 18:58:50 2015 +0100
@@ -1,5 +1,5 @@
 local function format_time(seconds)
-  return string.format("%.2f ms", seconds)
+  return string.format("%.1f ms", seconds * 1000)
 end
 
 local function open(class)