[Webkit-unassigned] [Bug 28689] Replace disabled media mute button with port-specific implementation.

[bugzilla-daemon at webkit.org]

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


Andrew Scherkus <scherkus at chromium.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #39900|                            |review?
               Flag|                            |




--- Comment #9 from Andrew Scherkus <scherkus at chromium.org>  2009-09-21 18:42:41 PDT ---
Created an attachment (id=39900)
 --> (https://bugs.webkit.org/attachment.cgi?id=39900)
Second attempt

This is a draft of deferring the decision on rendering a media control element
to the RenderTheme.

This is my first real dive into Element/RenderObject/Style/Theme interaction,
so feel free to point out my mistakes :)

The overall change is:
 1) Media control elements will always create a renderer
 2) RenderTheme decides whether those renderers will be visible based on
inspecting the HTMLMediaElement

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