Change default user-agent.
authorDaniel Carl <danielcarl@gmx.de>
Tue, 23 May 2017 20:29:11 +0000 (22:29 +0200)
committerDaniel Carl <danielcarl@gmx.de>
Tue, 23 May 2017 20:29:11 +0000 (22:29 +0200)
commitd1fa2340dd984dcbb9048a4df8097c2ba6d9a745
treecc43b9d1e8a527d722daec1e267f36810e593462
parente9d986f5bdaac99c34c8fa115436c7d03a0c5368
Change default user-agent.

Use the user-agent that would be created by
webkit_settings_set_user_agent_with_application_details.
src/setting.c