diff options
author | Walter Bender <walter.bender@gmail.com> | 2012-05-06 22:45:16 (GMT) |
---|---|---|
committer | Walter Bender <walter.bender@gmail.com> | 2012-05-06 22:45:16 (GMT) |
commit | 3ff0719a9108e6b6e9a8c48ab38678cd9923a04e (patch) | |
tree | 0ebde31c6e1afadc38b920ca78d641e92887bda7 | |
parent | 2dd06d26d86e06a77c9438823c98a4d61c3cccde (diff) |
fix for #3567
-rw-r--r-- | game.py | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -388,7 +388,9 @@ class Game(): win.grab_focus() # Turn off help animation - self._stop_help = True + if not self._stop_help: + self._stop_help = True + return # Don't do anything if the game is over if self._the_game_is_over: |