fixed not setting viewport when changing from 'playing' to 'scores'
authorHolger Schemel <info@artsoft.org>
Thu, 14 May 2015 22:49:02 +0000 (00:49 +0200)
committerHolger Schemel <info@artsoft.org>
Thu, 14 May 2015 22:51:46 +0000 (00:51 +0200)
src/game.c

index 1f64845d156cbe6a3d9b739e61f376a8ebdbb468..83ff55c110d3acffe1e67f1613f99e4c41f06562 100644 (file)
@@ -4433,6 +4433,9 @@ void GameEnd()
   {
     game_status = GAME_MODE_SCORES;
 
+    /* needed if different viewport properties defined for scores */
+    ChangeViewportPropertiesIfNeeded();
+
     DrawHallOfFame(hi_pos);
 
     if (raise_level)