[WebKit2] [GTK] Add API for controlling the user agent

[WebKit-https.git] / Source / WebKit2 / UIProcess / API / gtk / WebKitSettings.h

diff --git a/Source/WebKit2/UIProcess/API/gtk/WebKitSettings.h b/Source/WebKit2/UIProcess/API/gtk/WebKitSettings.h
index 0c719cd479a0403241d7becd9faab1633a055813..b35a23f0618931905a3cc6beddf6d1fdc35ad68a 100644 (file)
--- a/Source/WebKit2/UIProcess/API/gtk/WebKitSettings.h
+++ b/Source/WebKit2/UIProcess/API/gtk/WebKitSettings.h
@@ -362,6 +362,17 @@ WEBKIT_API void
 webkit_settings_set_enable_page_cache                          (WebKitSettings *settings,
                                                                 gboolean        enabled);
 
+WEBKIT_API const gchar *
+webkit_settings_get_user_agent                                 (WebKitSettings *settings);
+
+WEBKIT_API void
+webkit_settings_set_user_agent                                 (WebKitSettings *settings,
+                                                                const gchar    *user_agent);
+WEBKIT_API void
+webkit_settings_set_user_agent_with_application_details        (WebKitSettings *settings,
+                                                                const gchar    *application_name,
+                                                                const gchar    *application_version);
+
 G_END_DECLS
 
 #endif /* WebKitSettings_h */