diff -r 4e0cd7806776 -r ce21ce181fdb BeremizIDE.py
--- a/BeremizIDE.py	Tue Mar 02 09:28:44 2021 +0100
+++ b/BeremizIDE.py	Tue Mar 02 09:42:50 2021 +0100
@@ -129,6 +129,7 @@
         self.stack = []
         self.LastRefreshTime = gettime()
         self.LastRefreshTimer = None
+        self.refreshPending = False
 
     def write(self, s, style=None):
         self.StackLock.acquire()
@@ -219,6 +220,16 @@
     def isatty(self):
         return False
 
+    def progress(self, text):
+        l = self.output.GetLineCount()-1
+        self.output.AnnotationSetText(l, text)
+        self.output.AnnotationSetVisible(wx.stc.STC_ANNOTATION_BOXED)
+        self.output.AnnotationSetStyle(l, self.black_white)
+        if self.YieldLock.acquire(0):
+            app = wx.GetApp()
+            app.Yield()
+            self.YieldLock.release()
+
 
 ID_FILEMENURECENTPROJECTS = wx.NewId()