RESOLVED FIXED208509
[GTK] Use -webkit-system-font instead of -webkit-small-control in media controls 
https://bugs.webkit.org/show_bug.cgi?id=208509
Summary [GTK] Use -webkit-system-font instead of -webkit-small-control in media controls
Carlos Garcia Campos
Reported 2020-03-03 05:09:00 PST
For consistency with the system font
Attachments
Patch (1.73 KB, patch)
2020-03-03 05:10 PST, Carlos Garcia Campos 		calvaris: review+
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Carlos Garcia Campos
Comment 1 2020-03-03 05:10:46 PST
Created attachment 392262 [details] Patch
Carlos Garcia Campos
Comment 2 2020-03-03 06:05:20 PST
Committed r257775: <https://trac.webkit.org/changeset/257775>
Note You need to log in before you can comment on or make changes to this bug.