stopclock: 'gtk_widget_modify_font' is deprecated