[Webkit-unassigned] [Bug 127179] [GTK] WebKit2WebExtension GIR can't be used in vala

[bugzilla-daemon at webkit.org]

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


Marcel Tiede <marcel.tiede at yahoo.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |




--- Comment #6 from Marcel Tiede <marcel.tiede at yahoo.de>  2014-03-07 13:39:19 PST ---
It's still not working.

If I compile the minimal example I get the following error:

/usr/include/webkitgtk-3.0/webkit2/webkit2.h:22:2: Fehler: #error "Headers <webkit2/webkit2.h> and <webkit2/webkit-web-extension.h> cannot be included together."
 #error "Headers <webkit2/webkit2.h> and <webkit2/webkit-web-extension.h> cannot be included together."
  ^

The header files are not allowing the inclusion of each other. But in the webextension gir there is a dependency to webkit2, this is why vala is doing this exact thing:

"<include name="WebKit2" version="3.0"/>"

Probably this is needed for "WebKit2.URIRequest" in the signal "send-request" of a WebPage.

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