Raise version of gtk/webkit bindings and fix types
Tweak gui behaviour