[MPlayer-dev-eng] [PATCH] Get Demuxer Time for Proper DVD Time REDUX^2

[Paul Huwe]

> > > Hmm.. Besides some cosmetics (tabs where only
> spaces should
> > > be used), the
> > > behaviour is inconsistent with time_pos.
> > > I'd like to suggest attached variant.
> > 
> > Reimar,
> > 
> > I tested out your suggested changed patch, and it
> outputs the same information, so I have no issue with it!
> Please patch away. 
> 
> Applied then.
> The difference is when using M_PROPERTY_PRINT it will be
> formatted as hh:mm:ss
> I don't know where exactly this is used right now, but
> somewhen in the future it might
> be used to allow printing any property in the OSD (which is
> one of the reasons
> it is better to implement things as properties instead of
> new commands).
> 

Great.. may be used to help seekbar writers!

Cheers,
Paul