timer does not stop after winning

[Nicholas Guriev]

This does not always happen but quite often. I can not identify exact cause why it happens. It is worth noting, if the apps asks my name in a top-list dialog, the timer is paused. But it continues to count when the dialog is closed.

ProblemType: Bug
DistroRelease: Ubuntu 20.04
Package: gnome-mines 1:3.36.0-1
ProcVersionSignature: Ubuntu 5.4.0-37.41-generic 5.4.41
Uname: Linux 5.4.0-37-generic x86_64
NonfreeKernelModules: zfs zunicode zavl icp zcommon znvpair nvidia_modeset nvidia
ApportVersion: 2.20.11-0ubuntu27.2
Architecture: amd64
CasperMD5CheckResult: skip
CurrentDesktop: MATE
Date: Fri Jun 19 22:18:40 2020
ExecutablePath: /usr/games/gnome-mines
ProcEnviron:
 LANGUAGE=ru_RU
 PATH=(custom, user)
 XDG_RUNTIME_DIR=<set>
 LANG=ru_RU.UTF-8
 SHELL=/bin/bash
SourcePackage: gnome-mines
UpgradeStatus: Upgraded to focal on 2020-05-20 (30 days ago)
modified.conffile..etc.apport.crashdb.conf: [modified]
mtime.conffile..etc.apport.crashdb.conf: 2020-02-02T10:00:39.767005