beremiz

IDE: Fix logging of external process execution time so that it is visible on windows as well.
mc9_backport_2
2021-03-02, Edouard Tisserant
706aef3864a5
Parents 3e77ab8482ee
Children
IDE: Fix logging of external process execution time so that it is visible on windows as well.
1 files changed, 2 insertions(+), 1 deletions(-)
  • +2 -1
    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)