# HG changeset patch
# User bsw
# Date 1352051224 -3600
# Node ID 35d30116c9fe231eee61572a83a710fa734f2cb2
# Parent  4b1f1a95c37b10056f31ed4c022a928d39c06181
Let the timestamp ui helper use the timestamp formatter

diff -r 4b1f1a95c37b -r 35d30116c9fe env/ui/field/timestamp.lua
--- a/env/ui/field/timestamp.lua	Sun Nov 04 18:46:29 2012 +0100
+++ b/env/ui/field/timestamp.lua	Sun Nov 04 18:47:04 2012 +0100
@@ -6,7 +6,7 @@
       content = function()
         ui.tag{
           attr = { class = "value" },
-          content = tostring(value)
+          content = format.timestamp(value)
         }
       end
     }