[MPlayer-dev-eng] [PATCH] minor OSD fraction cleanups

[Roger Pack]

> Applied (also bringing the % 100 from the next line).
>
> Although, your other patch, which covers part of the code I do not know
> enough, changes demuxer_get_current_time to return a floating-point PTS: if
> it is applied, a more elegant solution can be devised.

Good point.  I guess I just split them up because they "could" be
committed separately, so be considered different patches :)

>>   I wasn't as sure on this one.
>
> The way I understand it is: we do not have anything interesting to display,
> so we fall back to displaying just the time in the movie. The comment is
> very laconic, but it seems true.

Ahh gotcha.  Maybe it could be made a bit more verbose in the future.
Thanks!
-roger-