[Webkit-unassigned] [Bug 26304] [GTK] Add controls for playing html5 video.

[bugzilla-daemon at webkit.org]

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


Zan Dobersek <zandobersek at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #39819|                            |review?
               Flag|                            |
  Attachment #39467|0                           |1
        is obsolete|                            |




--- Comment #15 from Zan Dobersek <zandobersek at gmail.com>  2009-09-19 09:28:50 PDT ---
Created an attachment (id=39819)
 --> (https://bugs.webkit.org/attachment.cgi?id=39819)
Media controls, the simple approach

This patch utilizes the 'Keep it simple' approach.

Panel is now 20 pixels high, while 16 pixel icons are used. Panel is 300 pixels
wide on <audio> elements.
Icons are drawn into their rects with equal padding on top, bottom, left and
right. Extra media stylesheet is now loaded as user agent style sheet and is
also compiled as that.

There's more code sharing going on in ImageGtk.cpp. Media styling is now
initialized at RenderThemeGtk constructor (calling it from every paintMedia*
function is useless) and now takes a GtkStyle as an argument. Some functions
now also became static.

Regards,
Zan Dobersek.

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