[webkit-dev] webkit-resource: referring to resources in User Agent stylesheet

[Dimitri Glazkov]

On Tue, Apr 26, 2011 at 7:50 PM, Maciej Stachowiak <mjs at apple.com> wrote:
>
> On Apr 26, 2011, at 1:45 PM, Dimitri Glazkov wrote:
>
>> On Tue, Apr 26, 2011 at 1:27 PM, Jer Noble <jer.noble at apple.com> wrote:
>>>
>>>
>>> FWIW, WebKit/mac generates these images programmatically, so there's not
>>> really a URL for "play button hover state" which can be targeted.  That
>>> said, if the URL scheme could be overloaded to handle generated content, I
>>> guess this could still work.  WebKit/mac could either parse the URL path and
>>> special case "media-controls/play-button-hover.png", or define our own URL
>>> scheme, e.g. "background:
>>> url(webkit-generated:media-play-button-playing-hover);"  But then we're just
>>> back to something functionally identical to -webkit-appearance.
>>> I guess what I'm getting at is, if support for webkit-resource: is added,
>>> great.  However, at least one port will still need the old behavior.
>>
>> Yes! The -webkit-appearance must stay. This is purely an additive thing.
>
> Would we end up with different stylesheets for different ports, then? (Or is media control styling already different between ports?)

Yeah, it's already different.

:DG<

>
> Regards,
> Maciej
>
>
>