[Webkit-unassigned] [Bug 208002] [WPE] Use custom theme style for media controls

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Thu Feb 20 09:28:51 PST 2020


https://bugs.webkit.org/show_bug.cgi?id=208002

--- Comment #2 from Xabier Rodríguez Calvar <calvaris at igalia.com> ---
Comment on attachment 391280
  --> https://bugs.webkit.org/attachment.cgi?id=391280
Patch

Why are you not using GTK ones and just extend the CSS to include the icons?

Another thing is that I am no CSS expert and there are probably several things there that can be improved (I see too many !important).

Code seems solid but the other approach seems more logical to me (bonus points would be collapsing base and gtk CSS and JS files in just one. You could name it WPE, actually).

-- 
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/20200220/433163cb/attachment.htm>


More information about the webkit-unassigned mailing list