# HG changeset patch # User Edouard Tisserant # Date 1614676305 -3600 # Node ID bc4194b734380000922146ffda5fc07a6b65805f # Parent f85ecfa0916c393537a6ec9549c5ffce871eec3e IDE: Fix logging of external process execution time so that it is visible on windows as well. diff -r f85ecfa0916c -r bc4194b73438 BeremizIDE.py --- 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)