The normal use-case is that a user plays gnomine, changes to another window and the game gets paused. Your use case is unfortunate, but rare, I daresay.
The normal use-case is that a user plays gnomine, changes to another window and
the game gets paused. Your use case is unfortunate, but rare, I daresay.