[MPlayer-dev-eng] [PATCH] fix OSD decimal output for dvdnav

[Roger Pack]

> Anyway, currently with the OSD decimal output, it gets the "second"
> portion from  demuxer_get_current_time (the NAV packets) and gets the
> "decimal portion" of the output from sh_video->pts.
>
> Since these don't match with DVD's (the NAV packets only occur every
> 0.5s, and are usually about 0.1s "off" the MPEG timestamps), it can
> lead to odd OSD output, for example:
<snip>
> Feedback welcome.

Any chance for a look at this one by someone knowledgeable? I'd be
happy to update it if requested, etc.
Thanks!
-roger-