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