[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 #38452|                            |review?
               Flag|                            |




--- Comment #6 from Zan Dobersek <zandobersek at gmail.com>  2009-08-23 06:22:35 PDT ---
Created an attachment (id=38452)
 --> (https://bugs.webkit.org/attachment.cgi?id=38452)
Media controls impl., 1.

Implements media controls painting.

>From ChangeLog entry:

        Implements controls for media elements.

        Adds a new initializator to the Color class, which makes it possible
        to initialize Color with a GdkColor and an alpha channel.

        Adds a new loading function to the Image class, loadPlatformThemeIcon,
        which loads only platform theme icons. Available only for the Gtk+
port.
        Also modifies the whole process of loading platform resources so there
        is a maximum sharing of code between this new function and the
        loadPlatformResource function.

        Adds a stylesheet that overrides some of the default style settings of
        the media control panel.

        Changes by this patch in RenderThemeGtk class:
        - media slider thumb's size gets properly adjusted,
        - gtkContainer's 'style-set' signal is connected to the appropriate
callback,
        which forces reinitialization of icons and colors on a style change,
        - implements paintMedia* functions, which now properly paint media
controls.

I believe there can be some style or naming issues, I'll be glad to fix them.

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