# HG changeset patch
# User nicodvb
# Date 1162940262 0
# Node ID 582c0088ed65ee747abef9b6c20c3b72d596c58c
# Parent  eafd9953b5052bf78897aa72714c7321786ed5cf
now the OSD shows the value returned by demuxer_get_current_time() rather than sh_video->pts

diff -r eafd9953b505 -r 582c0088ed65 mplayer.c
--- a/mplayer.c	Tue Nov 07 22:55:49 2006 +0000
+++ b/mplayer.c	Tue Nov 07 22:57:42 2006 +0000
@@ -1477,7 +1477,7 @@
             int len = demuxer_get_time_length(demuxer);
             int percentage = -1;
             char percentage_text[10];
-            int pts = sh_video->pts;
+            int pts = demuxer_get_current_time(demuxer);
             
             if (osd_show_percentage)
                 percentage = demuxer_get_percent_pos(demuxer);