rnd-20121014-1-src
[rocksndiamonds.git] / src / game.c
index 9445ac72f25dfdf0b64ea366c57981b436e0b4d4..5f9161f1f5dc59dda14674c59c81548c71dfcbfa 100644 (file)
@@ -12225,7 +12225,8 @@ static void CheckLevelTime()
 
        game_panel_controls[GAME_PANEL_TIME].value = TimeLeft;
 
-       DisplayGameControlValues();
+       /* (already called by UpdateAndDisplayGameControlValues() below) */
+       // DisplayGameControlValues();
 #else
        DrawGameValue_Time(TimeLeft);
 #endif
@@ -12244,7 +12245,8 @@ static void CheckLevelTime()
       {
        game_panel_controls[GAME_PANEL_TIME].value = TimePlayed;
 
-       DisplayGameControlValues();
+       /* (already called by UpdateAndDisplayGameControlValues() below) */
+       // DisplayGameControlValues();
       }
 #else
       else if (game.no_time_limit && !AllPlayersGone) /* level w/o time limit */