Example #1
0
/* 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
}
Example #2
0
void wxWebViewWebKit::Undo()
{
    webkit_web_view_undo(WEBKIT_WEB_VIEW(web_view));
}
void wxWebViewWebKit::Undo()
{
    webkit_web_view_undo(m_web_view);
}
Example #4
0
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));
}