[Webkit-unassigned] [Bug 51535] [GTK] Show current time / total in media player

[bugzilla-daemon at webkit.org]

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


Xan Lopez <xan.lopez at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #77330|review?, commit-queue?      |review+, commit-queue+
               Flag|                            |




--- Comment #2 from Xan Lopez <xan.lopez at gmail.com>  2010-12-24 09:27:00 PST ---
(From update of attachment 77330)
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.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.