RESOLVED FIXED 169668
[Modern Media Controls] Always use six digits to display time when overall media duration is an hour or more 
https://bugs.webkit.org/show_bug.cgi?id=169668
Summary [Modern Media Controls] Always use six digits to display time when overall me...
Antoine Quint
Reported 2017-03-15 02:25:30 PDT
We currently use extra margins around time labels that may eventually show a duration an hour or more so that when that happens, we don't resize everything. But this creates some extra space which is not elegant. We should instead be using six digits at all times when we know the media duration is an hour or more.
Attachments
Patch (15.67 KB, patch)
2017-03-15 02:46 PDT, Antoine Quint 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2017-03-15 02:25:52 PDT
<rdar://problem/31059699>
Antoine Quint
Comment 2 2017-03-15 02:46:01 PDT
Created attachment 304492 [details] Patch
WebKit Commit Bot
Comment 3 2017-03-15 05:42:41 PDT
Comment on attachment 304492 [details] Patch Clearing flags on attachment: 304492 Committed r213980: <http://trac.webkit.org/changeset/213980>
WebKit Commit Bot
Comment 4 2017-03-15 05:42:44 PDT
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.