IDE: Fix logging of external process execution time so that it is visible on windows as well.
--- a/BeremizIDE.py Tue Mar 02 09:42:50 2021 +0100
+++ b/BeremizIDE.py Tue Mar 02 10:11:45 2021 +0100
@@ -194,6 +194,7 @@
self.output.SetStyling(text_len, style)
self.stack = []
self.StackLock.release()
+ self.output.ScrollToEnd()
self.output.Thaw()
self.LastRefreshTime = gettime()
newtime = time.time()
@@ -221,7 +222,7 @@
return False
def progress(self, text):
- l = self.output.GetLineCount()-1
+ l = self.output.GetLineCount()-2
self.output.AnnotationSetText(l, text)
self.output.AnnotationSetVisible(wx.stc.STC_ANNOTATION_BOXED)
self.output.AnnotationSetStyle(l, self.black_white)