diff --git a/meta_ui.py b/meta_ui.py index 41e9f77..2b40f5a 100644 --- a/meta_ui.py +++ b/meta_ui.py @@ -105,12 +105,20 @@ with gr.Blocks(title="调试界面") as demo: # ) # ────────────── 定时刷新日志 ────────────── - timer = gr.Timer(1.0, render=False) # 每秒触发一次 - timer.then( - consume_logs, # 把队列里的新日志取出来 - inputs=[log_box], # 直接把当前 Textbox 的内容当输入 - outputs=[log_box], # 把合并后的文本写回 Textbox - ) + # timer = gr.Timer(1.0, render=False) # 每秒触发一次 + # timer.then( + # consume_logs, # 把队列里的新日志取出来 + # inputs=[log_box], # 直接把当前 Textbox 的内容当输入 + # outputs=[log_box], # 把合并后的文本写回 Textbox + # ) + + # ────────────── 定时刷新日志 ────────────── + timer = gr.Timer(1.0, render=False) # 每秒触发一次 + timer.tick( # ⬅ 关键是用 .tick + fn=consume_logs, # 把队列里的新行合并 + inputs=[log_box], # 直接取 Textbox 当前内容 + outputs=[log_box], # 写回同一个 Textbox + ) # 显示到 log_box log_state.change(lambda txt: gr.update(value=txt), log_state, log_box)