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