From 321faf8dfc84ed27b1c38b7a7c0a91f8a2ebfbf5 Mon Sep 17 00:00:00 2001 From: AJ Kelly Date: Sun, 8 Jan 2012 19:00:28 -0600 Subject: [PATCH] make the menu timer show decimal places --- Themes/default/metrics.ini | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/Themes/default/metrics.ini b/Themes/default/metrics.ini index 9649a7fbdb..56c6d309c2 100644 --- a/Themes/default/metrics.ini +++ b/Themes/default/metrics.ini @@ -199,11 +199,13 @@ RightOnCommand=horizalign,left;diffuse,PlayerColor(PLAYER_1) LeftOnCommand=horizalign,right;diffuse,PlayerColor(PLAYER_2) MiddleOnCommand=;diffuse,PlayerColor(PLAYER_2) RightOnCommand=horizalign,left;diffuse,PlayerColor(PLAYER_2) + [MenuTimer] -Text1OnCommand=stopeffect;stoptweening;shadowlength,0;strokecolor,Color("Outline") -Text1FormatFunction=function(fSeconds) \ - return string.format("%0.1f", fSeconds); \ -end +Text1OnCommand=stopeffect;stoptweening;halign,1;shadowlength,0;strokecolor,Color("Outline") +Text1FormatFunction=function(fSeconds) fSeconds=math.floor(fSeconds); return string.format("%02.0f",fSeconds) end + +Text2OnCommand=x,2;y,-3;stopeffect;stoptweening;halign,0;shadowlength,0;strokecolor,Color("Outline");zoom,0.65 +Text2FormatFunction=function(fSeconds) local remainder=fSeconds-math.floor(fSeconds); local digit=math.floor(remainder*100); return string.format("%02.0f",digit) end Warning10Command=diffuseshift;effectperiod,1;effectcolor2,Color("Red");effectcolor1,color("0.5,0,0,1");