[Webkit-unassigned] [Bug 208442] New: [GTK][WPE] Fix current time and duration formatting in media controls

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Mon Mar 2 04:20:52 PST 2020


https://bugs.webkit.org/show_bug.cgi?id=208442

            Bug ID: 208442
           Summary: [GTK][WPE] Fix current time and duration formatting in
                    media controls
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebKitGTK
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: cgarcia at igalia.com
                CC: bugs-noreply at webkitgtk.org

We are always using mm:ss for current time and duration. We should use different amount of digits depending on the duration:

m:ss <- duration < 10 minutes
mm:ss <- duration < 1 hour
h:mm:ss <- duration < 10 hours
hh:mm:ss <- duration >= 10 hours

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20200302/c86d52de/attachment-0001.htm>


More information about the webkit-unassigned mailing list