[devhelp/ebassi/gidocgen] Set the User-Agent

[Emmanuele Bassi <ebassi src gnome org>]

commit ac0f85ba72f776d853a60b3acb537f0aeb7ed580
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Wed Apr 7 13:22:37 2021 +0100

    Set the User-Agent
    
    We should allow modern API references to detect when running under
    DevHelp, and update their style in ways that improve integration.
    
    See: #28

 devhelp/dh-web-view.c | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/devhelp/dh-web-view.c b/devhelp/dh-web-view.c
index 8c1ca9b5..3ee5c1f3 100644
--- a/devhelp/dh-web-view.c
+++ b/devhelp/dh-web-view.c
@@ -486,6 +486,11 @@ dh_web_view_constructed (GObject *object)
         webkit_settings_set_enable_html5_local_storage (webkit_settings, FALSE);
         webkit_settings_set_enable_plugins (webkit_settings, FALSE);
 
+        /* Set the User-Agent to something tools can match */
+        webkit_settings_set_user_agent_with_application_details (webkit_settings,
+                                                                 "DevHelp",
+                                                                 LIBDEVHELP_API_VERSION);
+
         if (view->priv->profile == NULL)
                 set_profile (view, dh_profile_get_default ());