rendered paste bodyIndex: 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