Do not use gtk_html_set_auto_panning for the GNOME version