GTK3: replace another deprecated gtk_widget_modify_font