mplayer: make display of playback status more uniform

The code to format the playback time was duplicated a few times. There
were also minor differences in how the time is formatted. Remove most
of these differences. This also fixes a bug in the output of the
osd_show_progression command, introduced in 74e7a1e937c10d9f4.

There was some logic to display the percent position in the OSD status
for a short while after seeking. Remove that logic and always display
the percent position.

Make --osd-fractions a flag option. This removes the ability to show
the number of frames played since the start of the current second
(i.e. the fraction of the time was turned into a frame number). This
features wasn't so great anyway, because modern video file formats
don't always have a (valid) FPS set, and could lead to inaccurate
display.

Still to sort out:

Unfortunately, the terminal status is still formatted differently from
the OSD, and even worse, it has a completely different time source.

Not sure if I like how the status line looks now (it's a bit "full"?).
Maybe it will be changed again later.

1 files changed, 0 insertions, 2 deletions

diff --git a/mp_core.h b/mp_core.h
index db2624c014..70ad8a89a7 100644
--- a/mp_core.h
+++ b/mp_core.h
@@ -92,8 +92,6 @@ typedef struct MPContext {
     struct subtitle *vo_sub_last;
 
     bool add_osd_seek_info;
-    // if nonzero, hide current OSD contents when GetTimerMS() reaches this
-    unsigned int osd_show_percentage_until;
     unsigned int osd_visible;
 
     int osd_function;