IDE: Fix logging of external process execution time so that it is visible on windows as well.
authorEdouard Tisserant
Tue, 02 Mar 2021 10:11:45 +0100
changeset 2731 c6a55270d468
parent 2730 ce21ce181fdb
child 2732 a3f0e4148714
IDE: Fix logging of external process execution time so that it is visible on windows as well.
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)