Title: [259191] trunk/Source/WebCore
- Revision
- 259191
- Author
- [email protected]
- Date
- 2020-03-30 02:35:05 -0700 (Mon, 30 Mar 2020)
Log Message
[GTK][WPE] REGRESSION(r257775): Media controls current time label changes its size when it's updated
https://bugs.webkit.org/show_bug.cgi?id=209593
Reviewed by Xabier Rodriguez-Calvar.
This regressed in r257775 for me, because my system font doesn't use fixed width for digits. We should try to
use the tabular-nums font variant if available.
* Modules/mediacontrols/mediaControlsAdwaita.css:
(audio::-webkit-media-controls-current-time-display,): Add font-variant-numeric: tabular-nums;
Modified Paths
Diff
Modified: trunk/Source/WebCore/ChangeLog (259190 => 259191)
--- trunk/Source/WebCore/ChangeLog 2020-03-30 09:30:01 UTC (rev 259190)
+++ trunk/Source/WebCore/ChangeLog 2020-03-30 09:35:05 UTC (rev 259191)
@@ -1,3 +1,16 @@
+2020-03-30 Carlos Garcia Campos <[email protected]>
+
+ [GTK][WPE] REGRESSION(r257775): Media controls current time label changes its size when it's updated
+ https://bugs.webkit.org/show_bug.cgi?id=209593
+
+ Reviewed by Xabier Rodriguez-Calvar.
+
+ This regressed in r257775 for me, because my system font doesn't use fixed width for digits. We should try to
+ use the tabular-nums font variant if available.
+
+ * Modules/mediacontrols/mediaControlsAdwaita.css:
+ (audio::-webkit-media-controls-current-time-display,): Add font-variant-numeric: tabular-nums;
+
2020-03-30 Zan Dobersek <[email protected]>
[WPE] Can't create WebGL context after r259139
Modified: trunk/Source/WebCore/Modules/mediacontrols/mediaControlsAdwaita.css (259190 => 259191)
--- trunk/Source/WebCore/Modules/mediacontrols/mediaControlsAdwaita.css 2020-03-30 09:30:01 UTC (rev 259190)
+++ trunk/Source/WebCore/Modules/mediacontrols/mediaControlsAdwaita.css 2020-03-30 09:35:05 UTC (rev 259191)
@@ -200,6 +200,7 @@
line-height: 30px;
font-family: -webkit-system-font;
+ font-variant-numeric: tabular-nums;
font-size: 13px;
font-weight: normal;
font-style: normal;
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
