Python, GObject-Introspection, and WebKit.WebSettings

[Smartboy <smartboyathome gmail com>]

Hello,

Ok, I know this might not be a fault in pygobject, but I thought I would 
ask here first since you guys might be able to point me in the right 
direction in order to figure it out.

Anyway, I develop PrisPy, a formerly PyGTK/WebKit implementation of 
Mozilla Prism, but I have been trying to move away from PyGTK to 
PyGObject since introspection would allow me to use cookies with WebKit 
where I cannot now. So, I have my application mostly ported, but one 
problem still remains, and that is that WebKit.WebSettings (which I use 
for changing the User Agent) does not work as it used to with the python 
WebKitGTK bindings. Before, I had been able to run this code:

self.web_view = webkit.WebView()
settings = webkit.WebSettings()
settings.set_property('user-agent', config.userAgent)
self.web_view.set_settings(settings)

But now, under introspection, I cannot use WebSettings, because on the 
third line, there is no way to modify the properties, and I haven't 
noticed any other way to change the user agent. This has been tested 
with PyGObject 2.28 and GObject-Introspection 0.10.4, both built on Arch 
Linux. So, am I up a creak without a paddle or does anyone know a way 
around this?

Thanks for all the great work on these bindings,
Smartboy