Setting earmark with Ctrl+num doesn't work
Version 45.2 (Debian Sid).
This does not happen all the time but occasionally. When this happens application prints
(gnome-sudoku:485775): Gtk-CRITICAL **: 21:55:05.575: gtk_toggle_button_set_active: assertion 'GTK_IS_TOGGLE_BUTTON (toggle_button)' failed