diff options
Diffstat (limited to 'WebKit/gtk/webkit/webkitwebview.h')
| -rw-r--r-- | WebKit/gtk/webkit/webkitwebview.h | 37 |
1 files changed, 32 insertions, 5 deletions
diff --git a/WebKit/gtk/webkit/webkitwebview.h b/WebKit/gtk/webkit/webkitwebview.h index fbdefa8..1297695 100644 --- a/WebKit/gtk/webkit/webkitwebview.h +++ b/WebKit/gtk/webkit/webkitwebview.h @@ -19,8 +19,8 @@ * Boston, MA 02110-1301, USA. */ -#ifndef WEBKIT_WEB_VIEW_H -#define WEBKIT_WEB_VIEW_H +#ifndef webkitwebview_h +#define webkitwebview_h #include <gtk/gtk.h> #include <libsoup/soup.h> @@ -52,7 +52,10 @@ typedef enum { typedef enum { WEBKIT_WEB_VIEW_TARGET_INFO_HTML, - WEBKIT_WEB_VIEW_TARGET_INFO_TEXT + WEBKIT_WEB_VIEW_TARGET_INFO_TEXT, + WEBKIT_WEB_VIEW_TARGET_INFO_IMAGE, + WEBKIT_WEB_VIEW_TARGET_INFO_URI_LIST, + WEBKIT_WEB_VIEW_TARGET_INFO_NETSCAPE_URL } WebKitWebViewTargetInfo; struct _WebKitWebView { @@ -116,13 +119,15 @@ struct _WebKitWebViewClass { void (* set_scroll_adjustments) (WebKitWebView *web_view, GtkAdjustment *hadjustment, GtkAdjustment *vadjustment); + + void (* undo) (WebKitWebView *web_view); + void (* redo) (WebKitWebView *web_view); + /* Padding for future expansion */ void (*_webkit_reserved0) (void); void (*_webkit_reserved1) (void); void (*_webkit_reserved2) (void); void (*_webkit_reserved3) (void); - void (*_webkit_reserved4) (void); - void (*_webkit_reserved5) (void); }; WEBKIT_API GType @@ -339,6 +344,28 @@ webkit_web_view_get_load_status (WebKitWebView *web_view) WEBKIT_API gdouble webkit_web_view_get_progress (WebKitWebView *web_view); +WEBKIT_API void +webkit_web_view_undo (WebKitWebView *webView); + +WEBKIT_API gboolean +webkit_web_view_can_undo (WebKitWebView *webView); + +WEBKIT_API void +webkit_web_view_redo (WebKitWebView *webView); + +WEBKIT_API gboolean +webkit_web_view_can_redo (WebKitWebView *webView); + +WEBKIT_API void +webkit_web_view_set_view_source_mode (WebKitWebView *web_view, + gboolean view_source_mode); + +WEBKIT_API gboolean +webkit_web_view_get_view_source_mode (WebKitWebView *web_view); + +WEBKIT_API WebKitHitTestResult* +webkit_web_view_get_hit_test_result (WebKitWebView *webView, + GdkEventButton *event); G_END_DECLS #endif |