Hi all: Is there a way to hide the mouse pointer in GTK-WebKit? I'm not talking about doing it from JavaScript, but from GTK itself. I tried to use the GTK functions to redefine the mouse cursor, painting it fully transparent, and it worked for all the widgets in the window except for the browser widget. Thanks.