[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