diff options
| author | Steve Block <steveblock@google.com> | 2011-05-06 11:45:16 +0100 |
|---|---|---|
| committer | Steve Block <steveblock@google.com> | 2011-05-12 13:44:10 +0100 |
| commit | cad810f21b803229eb11403f9209855525a25d57 (patch) | |
| tree | 29a6fd0279be608e0fe9ffe9841f722f0f4e4269 /WebKit/gtk/webkit/webkitwebsettingsprivate.h | |
| parent | 121b0cf4517156d0ac5111caf9830c51b69bae8f (diff) | |
| download | external_webkit-cad810f21b803229eb11403f9209855525a25d57.zip external_webkit-cad810f21b803229eb11403f9209855525a25d57.tar.gz external_webkit-cad810f21b803229eb11403f9209855525a25d57.tar.bz2 | |
Merge WebKit at r75315: Initial merge by git.
Change-Id: I570314b346ce101c935ed22a626b48c2af266b84
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(); } |