Changeset 148592 in webkit
- Timestamp:
- Apr 17, 2013 12:38:38 AM (11 years ago)
- Location:
- trunk/Source/WebKit2
- Files:
-
- 5 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/Source/WebKit2/ChangeLog
r148585 r148592 1 2013-04-16 Carlos Garcia Campos <cgarcia@igalia.com> 2 3 [GTK] Add webkit_web_page_get_id() to WebKit2 GTK+ API 4 https://bugs.webkit.org/show_bug.cgi?id=111938 5 6 Reviewed by Anders Carlsson. 7 8 Add API to the web extensions API to get the identifier of a web 9 page. 10 11 * UIProcess/API/gtk/docs/webkit2gtk-sections.txt: Add new symbol. 12 * UIProcess/API/gtk/tests/WebExtensionTest.cpp: 13 (methodCallCallback): Check the page ID matches the one returned 14 by webkit_web_page_get_id(). 15 * WebProcess/InjectedBundle/API/gtk/WebKitWebPage.cpp: 16 (webkit_web_page_get_id): 17 * WebProcess/InjectedBundle/API/gtk/WebKitWebPage.h: 18 1 19 2013-04-16 Anders Carlsson <andersca@apple.com> 2 20 -
trunk/Source/WebKit2/UIProcess/API/gtk/docs/webkit2gtk-sections.txt
r148526 r148592 962 962 WebKitWebPage 963 963 webkit_web_page_get_dom_document 964 webkit_web_page_get_id 964 965 965 966 <SUBSECTION Standard> -
trunk/Source/WebKit2/UIProcess/API/gtk/tests/WebExtensionTest.cpp
r148281 r148592 69 69 return; 70 70 } 71 g_assert_cmpuint(webkit_web_page_get_id(page), ==, pageID); 71 72 72 73 WebKitDOMDocument* document = webkit_web_page_get_dom_document(page); -
trunk/Source/WebKit2/WebProcess/InjectedBundle/API/gtk/WebKitWebPage.cpp
r148526 r148592 253 253 return kit(coreFrame->document()); 254 254 } 255 256 /** 257 * webkit_web_page_get_id: 258 * @web_page: a #WebKitWebPage 259 * 260 * Get the identifier of the #WebKitWebPage 261 * 262 * Returns: the identifier of @web_page 263 */ 264 guint64 webkit_web_page_get_id(WebKitWebPage* webPage) 265 { 266 g_return_val_if_fail(WEBKIT_IS_WEB_PAGE(webPage), 0); 267 268 return webPage->priv->webPage->pageID(); 269 } -
trunk/Source/WebKit2/WebProcess/InjectedBundle/API/gtk/WebKitWebPage.h
r139305 r148592 58 58 webkit_web_page_get_dom_document (WebKitWebPage *web_page); 59 59 60 WEBKIT_API guint64 61 webkit_web_page_get_id (WebKitWebPage *web_page); 62 60 63 G_END_DECLS 61 64
Note: See TracChangeset
for help on using the changeset viewer.