rnd-20061020-2-src
[rocksndiamonds.git] / src / screens.c
index dcfd35b891704ee818f77a0e6c35ceabdcebb9e9..484d113b3046329fb83ce3250e67261ac1a22a4e 100644 (file)
@@ -2848,6 +2848,15 @@ void DrawHallOfFame(int highlight_position)
 {
   UnmapAllGadgets();
   FadeSoundsAndMusic();
+
+  /* (this is needed when called from GameEnd() after winning a game) */
+  KeyboardAutoRepeatOn();
+  ActivateJoystick();
+
+  /* (this is needed when called from GameEnd() after winning a game) */
+  SetDrawDeactivationMask(REDRAW_NONE);
+  SetDrawBackgroundMask(REDRAW_FIELD);
+
   CloseDoor(DOOR_CLOSE_2);
 
   if (highlight_position < 0)