commands: format shown property time values like OSD time
commit7034d1f7cf536a9f339c0bcc8ad79f2063488e28
authorwm4 <wm4@mplayer2.org>
Fri, 28 Oct 2011 18:21:59 +0000 (28 20:21 +0200)
committerUoti Urpala <uau@mplayer2.org>
Mon, 27 Aug 2012 21:07:52 +0000 (28 00:07 +0300)
tree004dcb9c43cd39dfa142f97372b8be6bf616c71b
parent01d067dd2160fa3c69a397840a0abd82837f4c91
commands: format shown property time values like OSD time

Converting time-based property values to strings via M_PROPERTY_PRINT
resulted in a string different to what the OSD displays (if the OSD
level is >= 2).

Change it to match the OSD.
m_property.c