Changeset 182924 in webkit

Timestamp:

Apr 16, 2015, 4:45:22 PM (10 years ago)

Author:

roger_fong@apple.com

Message:

Media element time displays shouldn't wrap.
​https://bugs.webkit.org/show_bug.cgi?id=143854.
<rdar://problem/20284766>

Reviewed by Brent Fulgham.

• Modules/mediacontrols/mediaControlsApple.css:

(::-webkit-media-controls): Don't wrap any text.
(audio::-webkit-media-controls-time-remaining-display): Also increase remaining time display width by 1.
(audio::-webkit-media-controls-time-remaining-display.five-digit-time): Ditto.
(audio::-webkit-media-controls-time-remaining-display.six-digit-time): Ditto.

Location:

trunk/Source/WebCore

Files:

• ChangeLog (modified) (1 diff)
• Modules/mediacontrols/mediaControlsApple.css (modified) (4 diffs)

trunk/Source/WebCore/ChangeLog

@@ +1 @@
+2015-04-16  Roger Fong  <roger_fong@apple.com>
+
+        Media element time displays shouldn't wrap.
+        https://bugs.webkit.org/show_bug.cgi?id=143854.
+        <rdar://problem/20284766>
+
+        Reviewed by Brent Fulgham.
+
+        * Modules/mediacontrols/mediaControlsApple.css:
+        (::-webkit-media-controls): Don't wrap any text.
+        (audio::-webkit-media-controls-time-remaining-display): Also increase remaining time display width by 1.
+        (audio::-webkit-media-controls-time-remaining-display.five-digit-time): Ditto.
+        (audio::-webkit-media-controls-time-remaining-display.six-digit-time): Ditto.
+
 2015-04-16  Chris Dumez  <cdumez@apple.com>
 

trunk/Source/WebCore/Modules/mediacontrols/mediaControlsApple.css

@@ -58 +58 @@
     -webkit-flex-direction: column;
     font: -webkit-small-control;
+    white-space: nowrap;
     -webkit-font-smoothing: subpixel-antialiased;
 }
@@ -486 +487 @@
     bottom: 0.5px;
     font-family: -apple-system-font-monospaced-numbers;
+    -webkit-text-size-adjust:none;
     mix-blend-mode: plus-lighter;
 }
@@ -501 +503 @@
     margin-left: 8px;
     margin-right: 16px;
-    width: 36px;
-    min-width: 36px;
+    width: 37px;
+    min-width: 37px;
 }
 
 video::-webkit-media-controls-time-remaining-display.five-digit-time,
 audio::-webkit-media-controls-time-remaining-display.five-digit-time {
-    min-width: 46px;
+    min-width: 47px;
 }
 
@@ -517 +519 @@
 video::-webkit-media-controls-time-remaining-display.six-digit-time,
 audio::-webkit-media-controls-time-remaining-display.six-digit-time {
-    min-width: 53px;
+    min-width: 54px;
 }