diff -r ccaabb9da623 -r ce366d67a5b7 BeremizIDE.py
--- a/BeremizIDE.py	Mon Feb 28 21:53:14 2022 +0100
+++ b/BeremizIDE.py	Sat Mar 05 11:14:00 2022 +0100
@@ -136,6 +136,7 @@
     def write(self, s, style=None):
         if self.logf is not None:
             self.logf.write(s)
+            self.logf.flush()
         self.StackLock.acquire()
         self.stack.append((s, style))
         self.StackLock.release()