diff options
Diffstat (limited to 'Source/WebKit2/UIProcess/API/gtk/WebKitWebContext.h')
| -rw-r--r-- | Source/WebKit2/UIProcess/API/gtk/WebKitWebContext.h | 36 |
1 files changed, 35 insertions, 1 deletions
diff --git a/Source/WebKit2/UIProcess/API/gtk/WebKitWebContext.h b/Source/WebKit2/UIProcess/API/gtk/WebKitWebContext.h index ae79bec87..dd38c1d37 100644 --- a/Source/WebKit2/UIProcess/API/gtk/WebKitWebContext.h +++ b/Source/WebKit2/UIProcess/API/gtk/WebKitWebContext.h @@ -62,6 +62,18 @@ typedef enum { } WebKitCacheModel; /** + * WebKitTLSErrorsPolicy: + * @WEBKIT_TLS_ERRORS_POLICY_IGNORE: Ignore TLS errors. + * @WEBKIT_TLS_ERRORS_POLICY_FAIL: TLS errors make the load to finish with an error. + * + * Enum values used to denote the TLS errors policy. + */ +typedef enum { + WEBKIT_TLS_ERRORS_POLICY_IGNORE, + WEBKIT_TLS_ERRORS_POLICY_FAIL +} WebKitTLSErrorsPolicy; + +/** * WebKitURISchemeRequestCallback: * @request: the #WebKitURISchemeRequest * @user_data: user data passed to the callback @@ -86,11 +98,14 @@ struct _WebKitWebContext { struct _WebKitWebContextClass { GObjectClass parent; - /* 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); + void (*_webkit_reserved6) (void); + void (*_webkit_reserved7) (void); }; WEBKIT_API GType @@ -165,6 +180,25 @@ WEBKIT_API void webkit_web_context_set_preferred_languages (WebKitWebContext *context, const gchar * const *languages); +WEBKIT_API void +webkit_web_context_set_tls_errors_policy (WebKitWebContext *context, + WebKitTLSErrorsPolicy policy); + +WEBKIT_API WebKitTLSErrorsPolicy +webkit_web_context_get_tls_errors_policy (WebKitWebContext *context); + +WEBKIT_API void +webkit_web_context_set_web_extensions_directory (WebKitWebContext *context, + const gchar *directory); + +WEBKIT_API void +webkit_web_context_prefetch_dns (WebKitWebContext *context, + const gchar *hostname); + +WEBKIT_API void +webkit_web_context_set_disk_cache_directory (WebKitWebContext *context, + const gchar *directory); + G_END_DECLS #endif |