/* ghtml_undo */ void ghtml_undo(GtkWidget * widget) { #if WEBKIT_CHECK_VERSION(1, 1, 14) GHtml * ghtml; ghtml = g_object_get_data(G_OBJECT(widget), "ghtml"); webkit_web_view_undo(WEBKIT_WEB_VIEW(ghtml->view)); #endif }
void wxWebViewWebKit::Undo() { webkit_web_view_undo(WEBKIT_WEB_VIEW(web_view)); }
void wxWebViewWebKit::Undo() { webkit_web_view_undo(m_web_view); }
void document_webkit_undo(Documentable *doc){ g_return_if_fail(doc); Document_WebkitDetails *docdet = DOCUMENT_WEBKIT_GET_PRIVATE(doc); webkit_web_view_undo (WEBKIT_WEB_VIEW(docdet->help_view)); }