changed some details in play/pause game button handling

[rocksndiamonds.git] / src / tape.c

diff --git a/src/tape.c b/src/tape.c
index bb0f08f8112ec4e065aa8ff28f2b2a4dab3e7e59..7a896e807bf79e7ebb6864cf0e50e09670f718fb 100644 (file)
--- a/src/tape.c
+++ b/src/tape.c
@@ -747,7 +747,7 @@ void TapeTogglePause(boolean toggle_manual)
     }
   }
 
     }
   }
 

-  if (CheckEngineSnapshotList())
+  if (game_status == GAME_MODE_PLAYING && CheckEngineSnapshotList())

   {
     if (tape.pausing)
       MapUndoRedoButtons();
   {
     if (tape.pausing)
       MapUndoRedoButtons();


@@ -1412,6 +1412,13 @@ static void HandleTapeButtonsExt(int id)
       break;
 
     case TAPE_CTRL_ID_PLAY:
       break;
 
     case TAPE_CTRL_ID_PLAY:

+      if (tape.recording && tape.pausing)      /* PAUSE -> RECORD */
+      {
+       // ("TAPE_IS_EMPTY(tape)" is TRUE here -- probably fix this)
+
+       TapeTogglePause(TAPE_TOGGLE_MANUAL);
+      }
+

       if (TAPE_IS_EMPTY(tape))
        break;
 
       if (TAPE_IS_EMPTY(tape))
        break;