gtkhtml: add it for GTK+-3