diff options
Diffstat (limited to 'WebKit/gtk/webkit/webkitwebsettingsprivate.h')
-rw-r--r-- | WebKit/gtk/webkit/webkitwebsettingsprivate.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/WebKit/gtk/webkit/webkitwebsettingsprivate.h b/WebKit/gtk/webkit/webkitwebsettingsprivate.h index e848a08..9700ba5 100644 --- a/WebKit/gtk/webkit/webkitwebsettingsprivate.h +++ b/WebKit/gtk/webkit/webkitwebsettingsprivate.h @@ -29,7 +29,9 @@ extern "C" { WEBKIT_API void webkit_web_settings_add_extra_plugin_directory(WebKitWebView*, const gchar* directory); -GSList* webkit_web_settings_get_enchant_dicts(WebKitWebView*); +GSList* webkitWebViewGetEnchantDicts(WebKitWebView*); + +WTF::String webkitUserAgent(); } |