[Webkit-unassigned] [Bug 111938] [GTK] Add webkit_web_page_get_id() to WebKit2 GTK+ API
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Sun Mar 10 14:05:58 PDT 2013
https://bugs.webkit.org/show_bug.cgi?id=111938
--- Comment #4 from Benjamin Poulain <benjamin at webkit.org> 2013-03-10 14:08:20 PST ---
(From update of attachment 192375)
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?
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
More information about the webkit-unassigned
mailing list