[webkit-reviews] review granted: [Bug 51535] [GTK] Show current time / total in media player : [Attachment 77330] Patch to show current time/total in media player

[bugzilla-daemon at webkit.org]

Xan Lopez <xan.lopez at gmail.com> has granted Carlos Garcia Campos
<cgarcia at igalia.com>'s request for review:
Bug 51535: [GTK] Show current time / total in media player
https://bugs.webkit.org/show_bug.cgi?id=51535

Attachment 77330: Patch to show current time/total in media player
https://bugs.webkit.org/attachment.cgi?id=77330&action=review

------- Additional Comments from Xan Lopez <xan.lopez at gmail.com>
View in context: https://bugs.webkit.org/attachment.cgi?id=77330&action=review

> WebCore/css/mediaControlsGtk.css:63
> +

As a bikeshed comment I'd say hardcoding stuff in pixels in our css files is
less than ideal, but I see we are already doing it everywhere.