chore：设计上下文事件、标识自动去除前后空格

Author: eee555

src/gameSettings.py

@@ -117,9 +117,9 @@ def processParameter(self):
         v = self.spinBox_auto_replay.value()
         self.auto_replay = v if self.checkBox_auto_replay.isChecked() else -v
         self.auto_notification = self.checkBox_auto_notification.isChecked()
-        self.player_identifier = self.lineEdit_label.text()
-        self.race_identifier = self.lineEdit_race_label.text()
-        self.unique_identifier = self.lineEdit_unique_label.text()
+        self.player_identifier = self.lineEdit_label.text().strip()
+        self.race_identifier = self.lineEdit_race_label.text().strip()
+        self.unique_identifier = self.lineEdit_unique_label.text().strip()
         self.country = self.comboBox_country.currentText()
         self.autosave_video = self.checkBox_autosave_video.isChecked()
         self.autosave_video_set = self.checkBox_autosave_video_set.isChecked()

src/mineSweeperGUI.py

@@ -357,7 +357,7 @@ def onGameFinished(self, new_game_state):
             software = self.label.ms_board.software,
             player_identifier = self.label.ms_board.player_identifier,
             race_identifier = self.label.ms_board.race_identifier,
-            uniqueness_identifier = self.label.ms_board.uniqueness_identifier,
+            unique_identifier = self.label.ms_board.unique_identifier,
             is_official = self.label.ms_board.is_official,
             is_fair = self.label.ms_board.is_fair,
             op = self.label.ms_board.op,
@@ -805,7 +805,7 @@ def dump_evf_file_data(self):
                 self.label.ms_board.mode = self.gameMode
                 self.label.ms_board.player_identifier = self.player_identifier
                 self.label.ms_board.race_identifier = self.race_identifier
-                self.label.ms_board.uniqueness_identifier = self.unique_identifier
+                self.label.ms_board.unique_identifier = self.unique_identifier
                 self.label.ms_board.country = "XX" if not self.country else\
                     country_name[self.country].upper()
                 self.label.ms_board.device_uuid = hashlib.md5(
@@ -1124,7 +1124,7 @@ def try_append_evfs(self, new_game_state):
             self.label.ms_board.mode = self.gameMode
             self.label.ms_board.player_identifier = self.player_identifier
             self.label.ms_board.race_identifier = self.race_identifier
-            self.label.ms_board.uniqueness_identifier = self.unique_identifier
+            self.label.ms_board.unique_identifier = self.unique_identifier
             self.label.ms_board.country = "XX" if not self.country else\
                 country_name[self.country].upper()
             self.label.ms_board.device_uuid = hashlib.md5(
@@ -1284,6 +1284,7 @@ def action_NEvent(self):
             self.player_identifier = ui.player_identifier
             self.label_info.setText(self.player_identifier)
             self.race_identifier = ui.race_identifier
+            self.unique_identifier = ui.unique_identifier
             # 用户的国家或地区名的全称，例如”中国“。必须是country_name中有的或None
             # 播放录像时，self.country不会遭到修改
             self.country = ui.country

src/plugins/history/history_table.py

@@ -66,7 +66,7 @@ class HistoryTable(QWidget):
         "software",
         "player_identifier",
         "race_identifier",
-        "uniqueness_identifier",
+        "unique_identifier",
         "stnb",
         "corr",
         "thrp",

src/plugins/history/models.py

@@ -137,7 +137,7 @@ class HistoryData:
     software: str = ""
     player_identifier: str = ""
     race_identifier: str = ""
-    uniqueness_identifier: str = ""
+    unique_identifier: str = ""
     stnb: float = 0.0
     corr: float = 0.0
     thrp: float = 0.0

src/plugins/history/plugin.py

@@ -189,7 +189,7 @@ def _init_db(self) -> None:
                 software         TEXT,
                 player_identifier   TEXT,
                 race_identifier     TEXT,
-                uniqueness_identifier TEXT,
+                unique_identifier TEXT,
                 stnb             REAL,
                 corr             REAL,
                 thrp             REAL,

src/shared_types/events.py

@@ -47,8 +47,31 @@ class GameStatusChangeEvent(BaseEvent, tag="game_status_change"):
 
 
 class ContextChangeEvent(BaseEvent, tag="context_change"):
-    """上下文变化事件"""
-    pass
+    """上下文变化事件。"""
+    pix_size: int = 20
+    rows: int = 16
+    cols: int = 30
+    mine_num: int = 99
+    game_mode: int = 0
+    # “自动重开比例”，大于等于该比例时，不自动重开。负号表示禁用，负数表示禁用的值。0相当于禁用，但可以编辑。
+    auto_replay: int = 30
+    end_then_flag: bool = False
+    cursor_limit: bool = False
+    # 是否自动弹窗
+    auto_notification: bool = True
+    player_identifier:str = ""
+    race_identifier: str = ""
+    unique_identifier: str = ""
+    # 用户的国家或地区名的全称，例如”中国“。必须是country_name中有的或None
+    # 播放录像时，self.country不会遭到修改
+    country: str = ""
+    autosave_video: bool = True
+    autosave_video_set: bool = True
+    # 是否永远使用筛选法取得无猜局面
+    filter_forever: bool = False
+    board_constraint: str = ""
+    attempt_times_limit: int = 100000
+    language: str = "en_US"
 
 
 class ButtonClickEvent(BaseEvent, tag="button_click"):
@@ -98,7 +121,7 @@ class GameFinishedEvent(BaseEvent, tag="game_end"):
     software: str = "元 3.2.2"
     player_identifier: str = "Wang Jianing"
     race_identifier: str = "G1234"
-    uniqueness_identifier: str = ""
+    unique_identifier: str = ""
     is_official: bool = False
     is_fair: bool = False
     op: int = 0

src/superGUI.py

@@ -497,13 +497,14 @@ def read_or_create_game_setting(self):
         # 画局面，因此尺寸较完全初始化后偏小，仍有可能有半个窗口在屏幕外，当然这不影响使用。
         self.mainWindow.move(mainWinLeft, mainWinTop)
 
-        self._row = self.game_setting.get_or_set_value("DEFAULT/row", 16, int)
-        self._column = self.game_setting.get_or_set_value("DEFAULT/column", 30, int)
-        self._minenum = self.game_setting.get_or_set_value("DEFAULT/minenum", 99, int)
+        self._row: int = self.game_setting.get_or_set_value("DEFAULT/row", 16, int)
+        self._column: int = self.game_setting.get_or_set_value("DEFAULT/column", 30, int)
+        self._minenum: int = self.game_setting.get_or_set_value("DEFAULT/minenum", 99, int)
         self.mineUnFlagedNum = self.minenum
-        # “自动重开比例”，大于等于该比例时，不自动重开。负数表示禁用。0相当于禁用，但可以编辑。
+        # “自动重开比例”，大于等于该比例时，不自动重开。负号表示禁用，负数表示禁用的值。0相当于禁用，但可以编辑。
         self.auto_replay = self.game_setting.get_or_set_value("DEFAULT/auto_replay", -30, int)
         # self.allow_auto_replay = self.game_setting.get_or_set_value("DEFAULT/allow_auto_replay", True, bool)
+        # 是否自动弹窗
         self.auto_notification = self.game_setting.get_or_set_value("DEFAULT/auto_notification", True, bool)
         self.player_identifier = self.game_setting.get_or_set_value("DEFAULT/player_identifier", "匿名玩家(anonymous player)", str)
         self.race_identifier = self.game_setting.get_or_set_value("DEFAULT/race_identifier", "", str)
@@ -512,6 +513,7 @@ def read_or_create_game_setting(self):
         # 是否自动保存录像。开启时，自动保存所有扫完的、正式的录像。假如要其他保存策略，应使用插件来完成。
         self.autosave_video = self.game_setting.get_or_set_value("DEFAULT/autosave_video", True, bool)
         self.autosave_video_set = self.game_setting.get_or_set_value("DEFAULT/autosave_video_set", False, bool)
+        # 是否永远使用筛选法取得无猜局面
         self.filter_forever = self.game_setting.get_or_set_value("DEFAULT/filter_forever", False, bool)
         self.language = self.game_setting.get_or_set_value("DEFAULT/language", "en_US", str)
         self.end_then_flag = self.game_setting.get_or_set_value("DEFAULT/end_then_flag", True, bool)