# HG changeset patch # User Adrien Di Mascio # Date 1319113336 -7200 # Node ID 3e51c2a577dd149219e508d29342477874dc2ba5 # Parent 83075d897943d15c7d6f8a17d3f072334fe3c02a [uilib] add missing printer for integers diff -r 83075d897943 -r 3e51c2a577dd uilib.py --- a/uilib.py Thu Oct 20 14:20:46 2011 +0200 +++ b/uilib.py Thu Oct 20 14:22:16 2011 +0200 @@ -61,6 +61,9 @@ return req._(value) return value +def print_int(value, req, props, displaytime=True): + return unicode(value) + def print_date(value, req, props, displaytime=True): return ustrftime(value, req.property_value('ui.date-format')) @@ -124,6 +127,8 @@ PRINTERS = { 'Bytes': print_bytes, 'String': print_string, + 'Int': print_int, + 'BigInt': print_int, 'Date': print_date, 'Time': print_time, 'TZTime': print_tztime,