diff --git a/Themes/default/metrics.ini b/Themes/default/metrics.ini index 5e6776a120..db8da8cb73 100644 --- a/Themes/default/metrics.ini +++ b/Themes/default/metrics.ini @@ -1300,7 +1300,7 @@ W3NumberP1X=SCREEN_CENTER_X-160+40 W3NumberP1Y=SCREEN_TOP+200 W3NumberP1OnCommand=diffuse,PlayerColor(PLAYER_1);strokecolor,ColorDarkTone( PlayerColor(PLAYER_1) );shadowlength,1 W3NumberP1OffCommand= -W3NumberP2X=SCREEN_CENTER_X+160 +W3NumberP2X=SCREEN_CENTER_X+160-40 W3NumberP2Y=SCREEN_TOP+200 W3NumberP2OnCommand=diffuse,PlayerColor(PLAYER_2);strokecolor,ColorDarkTone( PlayerColor(PLAYER_2) );shadowlength,1 W3NumberP2OffCommand=