WebKit2.Settings.prototype.set_user_agent_with_application_details

function set_user_agent_with_application_details(application_name: String, application_version: String): void {
    // Gjs wrapper for webkit_settings_set_user_agent_with_application_details()
}
  

Set the WebKit2.Settings.user_agent property by appending the application details to the default user agent. If no application name or version is given, the default user agent used will be used. If only the version is given, the default engine version is used with the given application name.