[webkit-gtk] Setting global user agent
simon at schampijer.de
Mon Jan 16 03:42:00 PST 2012
I would like to globally append a custom identifier to the user agent.
Following the documentation I am using WebKitWebSettings  to do so,
something like this in Python:
>>> from gi.repository import WebKit
>>> web_view = WebKit.WebView()
>>> web_settings = web_view.get_settings()
>>> web_settings.props.user_agent += ' Sugar Labs/0.96'
However this needs to happen with every new WebView I create (several in
a multi-tab session). Is there a way to edit the user agent globally?
I grepped in the Epiphany code and they have a customization to set the
user agent (this is unset by default) and still they have something like
'Epiphany/3.2.1' appended to their user agent. I could not find out
where they do it so far and I am wondering if there is another option
then the above and if I am missing something.
More information about the webkit-gtk