[MPlayer-dev-eng] [PATCH] (non-gui, audio-only) time format to hh:mm:ss.f
D Richard Felker III
dalias at aerifal.cx
Fri May 30 06:16:57 CEST 2003
Does anyone have objections to this patch? Personally I'd rather see
the print format be switchable for both audio-only and video(+audio)
streams, but even as-is this looks like a nice feature.
On Thu, May 29, 2003 at 12:09:00PM -0700, Robert M. Riches Jr wrote:
> On May 23, I submitted a tiny patch, and I don't believe I
> have seen a response. Has it been rejected, accepted, or
> dismissed as too trivial? Portions of the original
> submission follow.
> Robert Riches
> rm.riches at verizon.net
> > Date: Fri, 23 May 2003 10:47:56 -0700
> > From: "Robert M. Riches Jr" <rm.riches at verizon.net>
> > To: mplayer-dev-eng at mplayerhq.hu
> > Subject: [PATCH] (non-gui, audio-only) time format to hh:mm:ss.f
> > Reply-To: rm.riches at verizon.net
> > This patch converts the format of printed time (in non-gui,
> > audio-only mode) from pure seconds (and one fraction digit)
> > to hh:mm:ss.f to try to be more user-friendly. I have used
> > this patch for a few weeks (on 9.0rc4). A fresh build from
> > latest CVS as of this morning tested fine. Okay, the coding
> > isn't too elegant, but it should be reasonably efficient and
> > testing shows it to work.
> > Thanks for considering this tiny attempt at a contribution.
> MPlayer-dev-eng mailing list
> MPlayer-dev-eng at mplayerhq.hu
More information about the MPlayer-dev-eng