--- 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()