No flags shown
I am on Debian Testing, and some recent update removed flags from gnome-mines. It happens on 3.28 as well as on 3.30.0. When I right click on any hidden field, no confirmation is shown (it used to be a flag), but the flagged state is remembered, as I seen when uncovering. Switching themes does not help, no theme shows any flag. I see that the flag.svg files are in place (in /usr/share/gnome-mines/themes), but it seems they are not used at all.