fix：播放录像时时间变化、播放录像报错

eee555 · Aug 30, 2024 · f47112c · f47112c
1 parent 74c15cf
commit f47112c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/src/mineSweeperGUI.py b/src/mineSweeperGUI.py
@@ -152,7 +152,8 @@ def gameMode(self):
 
     @gameMode.setter
     def gameMode(self, game_mode):
-        self.label.ms_board.mode = game_mode
+        if isinstance(self.label.ms_board.mode, ms.EvfVideo):
+            self.label.ms_board.mode = game_mode
         self._game_mode = game_mode
 
     @property
@@ -1320,6 +1321,7 @@ def video_playing_step(self):
         self.label.update()
         self.score_board_manager.show(self.label.ms_board, index_type = 2)
         self.video_time += self.video_time_step
+        self.showTime(int(self.video_time))
         self.ui_video_control.horizontalSlider_time.blockSignals(True)
         self.ui_video_control.horizontalSlider_time.setValue(int(self.video_time * 100))
         self.ui_video_control.horizontalSlider_time.blockSignals(False)

diff --git a/src/minesweeper_master.py b/src/minesweeper_master.py
@@ -11,7 +11,8 @@
 
 # OutputEnable = 0
 # seedNum = 60223
-EnuLimit = 38
+EnuLimit = 50
+assert EnuLimit >= 50
 
 def choose_3BV(board_constraint, attempt_times_limit, params):
     # def choose_3BV_laymine(laymine):