[Webkit-unassigned] [Bug 86060] WebKitDOMHTMLMediaElement.cpp - 'HTMLMediaElement' is not a member of 'WebCore'

[bugzilla-daemon at webkit.org]

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





--- Comment #5 from Noel <noel.vellemans at visionbms.com>  2012-05-13 02:40:53 PST ---
(In reply to comment #4)
> (In reply to comment #3)
> >     #if ENABLE(VIDEO)    
> >     WebKitDOMHTMLMediaElement* self = WEBKIT_DOM_HTML_MEDIA_ELEMENT(object);
> >     WebCore::HTMLMediaElement* coreSelf = WebKit::core(self);
> >     #endif // ENABLE(VIDEO)
> > 
> >     switch (prop_id) {
> >     case PROP_SRC:
> >     {
> >         coreSelf->setAttribute(WebCore::HTMLNames::srcAttr, WTF::String::fromUTF8(g_value_get_string(value)));
> >         break;
> >     }
> 
> 
> Some thing is wrong here. You seem to be not using the latest GeneratorGObject.pm
> 
> There has been a fix already for the property generator, which has landed in r11542 <http://trac.webkit.org/changeset/115442>
> 
> Also please see the bug : https://bugs.webkit.org/show_bug.cgi?id=85068 for more details
> 
> My patch is on top of r115442


OK, you are correct I did the patch on the official 1.8.1 version (this was also the version where I reported the bug for).

Give me some more time to test on the latest GIT .. 

I'll keep you informed,

Thanks for the support so far,
Noel

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