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

[Roger Pack]

> 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.

The "other" patch also allows for other interesting follow-up patches, like
being able to use EDL's on DVD's past MPEG PTS timestamp resets accurately:
https://gist.github.com/1371781
Thanks for your help here.
-roger-