Bug#946768: gnome-mines: timer often doesn't stop when game solved

[Heinz Repp]

Package: gnome-mines
Version: 1:3.34.0-1
Severity: important



-- System Information:
Debian Release: bullseye/sid
  APT prefers testing
  APT policy: (990, 'testing'), (150, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 5.3.0-3-amd64 (SMP w/2 CPU cores)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8), LANGUAGE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages gnome-mines depends on:
ii  dconf-gsettings-backend [gsettings-backend]  0.34.0-1
ii  libc6                                        2.29-3
ii  libglib2.0-0                                 2.62.3-2
ii  libgnome-games-support-1-3                   1.4.4-1
ii  libgtk-3-0                                   3.24.13-1

Versions of packages gnome-mines recommends:
ii  yelp  3.34.0-1

gnome-mines suggests no packages.

-- no debconf information

Bug bites more often than not.
The program registers when the game is over as you can see when buttons change 
from "Start Over"/"Change Difficulty"/"Pause" to "Play Again"/"Best Times"/"Change Difficulty", 
but nevertheless the timer continues to run, so no time is checked for new High Score.
This happens with different difficulty levels and started with the current version.