GTK3: replace deprecated gtk_widget_modify_font