From ce016d5b08411137b23fc20b3047bb879c959de2 Mon Sep 17 00:00:00 2001 From: Aaron Liang <76561968+AaronL725@users.noreply.github.com> Date: Tue, 14 Jul 2026 22:51:19 +0800 Subject: [PATCH] fix: correct review patch GUI indentation --- tools/fix_review_patch_gui_replace.py | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/tools/fix_review_patch_gui_replace.py b/tools/fix_review_patch_gui_replace.py index 98bc32d..83e8430 100644 --- a/tools/fix_review_patch_gui_replace.py +++ b/tools/fix_review_patch_gui_replace.py @@ -19,13 +19,13 @@ if end < 0: raise RuntimeError("GUI UI replacement block end not found") replacement = r'''app = between(app, " def log(self, message):\n", " def should_stop(self):\n", ''' + "'''" + r''' def _call_ui(self, func, *args): - if threading.get_ident() == self._ui_thread_id: - func(*args) - return - try: - self.root.after(0, lambda: func(*args)) - except Exception: - pass + if threading.get_ident() == self._ui_thread_id: + func(*args) + return + try: + self.root.after(0, lambda: func(*args)) + except Exception: + pass def _append_log_line(self, line): self.log_text.insert(tk.END, f"{line}\n")