set-gtk2to3: there is no gtk_widget_set_has_focus()