[Webkit-unassigned] [Bug 111938] New: [GTK] Add webkit_web_page_get_id() to WebKit2 GTK+ API
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Sun Mar 10 08:31:57 PDT 2013
https://bugs.webkit.org/show_bug.cgi?id=111938
Summary: [GTK] Add webkit_web_page_get_id() to WebKit2 GTK+ API
Product: WebKit
Version: 528+ (Nightly build)
Platform: Unspecified
OS/Version: Unspecified
Status: NEW
Keywords: Gtk
Severity: Normal
Priority: P2
Component: WebKit2
AssignedTo: webkit-unassigned at lists.webkit.org
ReportedBy: cgarcia at igalia.com
Add API to the web extensions API to get the identifier of a web page.
--
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