[Webkit-unassigned] [Bug 111938] [GTK] Add webkit_web_page_get_id() to WebKit2 GTK+ API

[bugzilla-daemon at webkit.org]

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





--- Comment #5 from Carlos Garcia Campos <cgarcia at igalia.com>  2013-03-11 00:59:05 PST ---
(In reply to comment #4)
> (From update of attachment 192375 [details])
> View in context: https://bugs.webkit.org/attachment.cgi?id=192375&action=review
> 
> > Source/WebKit2/ChangeLog:9
> > +        Add API to the web extensions API to get the identifier of a web
> > +        page.
> 
> What for?

To be able to match the page id of a WebKitWebView (UI process), we have webkit_web_view_get_page_id(), but it's not possible to know the id of a given WebKitWebPage (Web process)

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