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

[Roger Pack]

> Applied. I suspect the reason might have been that the stream time
> stamps are actually updated too rarely and thus not precise enough,
> however imprecise is still better than wrong.
> Part of the issue is that the stream time stamps are delayed by the
> cache.
> Ideally pts should be used to fix up the stream time stamps.
> Or rather the opposite way, video pts should be used mostly, but
> with stream value as a base to fix up time stamp wraps and
> resets etc.

Fascinating.
I actually have a local modification that does that.  I assumed nobody
would want it so didn't submit it, but suppose I will now.
Thanks!
-roger-