[Webkit-unassigned] [Bug 15802] [GTK] webkit_page_clear API

Sat Nov 3 11:26:31 PDT 2007

http://bugs.webkit.org/show_bug.cgi?id=15802


------- Comment #3 from iwkse at claws-mail.org  2007-11-03 11:26 PDT -------
(From update of attachment 16996)
>Index: WebKit/gtk/Api/webkitgtkpage.cpp
>===================================================================
>--- WebKit/gtk/Api/webkitgtkpage.cpp	(revision 27376)
>+++ WebKit/gtk/Api/webkitgtkpage.cpp	(working copy)
>@@ -498,6 +498,11 @@
>     frameData->frame->loader()->load(ResourceRequest(KURL(string)));
> }
> 
>+void webkit_page_clear(WebKitPage *page)
>+{
>+	webkit_page_load_html_string(page, "<html><body></body></html>", "about:blank");
>+}
>+
> void webkit_page_reload(WebKitPage* page)
> {
>     WebKitPagePrivate* pageData = WEBKIT_PAGE_GET_PRIVATE(page);
>Index: WebKit/gtk/Api/webkitgtkpage.h
>===================================================================
>--- WebKit/gtk/Api/webkitgtkpage.h	(revision 27376)
>+++ WebKit/gtk/Api/webkitgtkpage.h	(working copy)
>@@ -136,6 +136,9 @@
> webkit_page_open (WebKitPage* page, const gchar* url);
> 
> WEBKIT_API void
>+webkit_page_clear (WebKitPage *page);
>+
>+WEBKIT_API void
> webkit_page_reload (WebKitPage *page);
> 
> WEBKIT_API void


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