[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


Anders Carlsson <andersca at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 Attachment #192375|review?                     |review-
               Flag|                            |




--- Comment #7 from Anders Carlsson <andersca at apple.com>  2013-04-15 10:49:03 PST ---
(From update of attachment 192375)
I don’t think it’s a good idea to expose identifiers in the API like this, and I think the webkit_web_view_get_page_id() function should be removed. Why is it needed at all?

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