Replace timer polling with manual Refresh Log

app.py

@@ -784,17 +784,19 @@ with gr.Blocks(title="VLIW Optimizer") as demo:
 
     def poll_log():
         with state_lock:
-            return "\n".join(training_state["log"][-400:]) if training_state["log"] else ""
+            if not training_state["log"]:
+                return ""
+            lines = training_state["log"][-200:]
+            return "\n".join(line[:400] for line in lines)
 
     start_btn.click(
         start_training,
         [model_dropdown, chunk_steps_slider, max_total_steps_slider, max_minutes_number, auto_continue_checkbox],
         [output_box],
-        queue=False,
     )
-    stop_btn.click(stop_training, [], [output_box], queue=False)
-
-    gr.Timer(1.0).tick(poll_log, outputs=[output_box], queue=False)
+    stop_btn.click(stop_training, [], [output_box])
+    refresh_btn = gr.Button("Refresh Log")
+    refresh_btn.click(poll_log, outputs=[output_box])
 
 if __name__ == "__main__":
     demo.launch(server_name="0.0.0.0", server_port=7860)