192 

   192 

   193                     if style != self.black_white:

   193                     if style != self.black_white:

   194                         self.output.SetStyling(text_len, style)

   194                         self.output.SetStyling(text_len, style)

   195                 self.stack = []

   195                 self.stack = []

   196                 self.StackLock.release()

   196                 self.StackLock.release()

   197                 self.output.Thaw()

   198                 self.output.Thaw()

   198                 self.LastRefreshTime = gettime()

   199                 self.LastRefreshTime = gettime()

   199                 newtime = time.time()

   200                 newtime = time.time()

   200                 if newtime - self.rising_timer > 1:

   201                 if newtime - self.rising_timer > 1:

   201                     self.risecall(self.output)

   202                     self.risecall(self.output)

   219 

   220 

   220     def isatty(self):

   221     def isatty(self):

   221         return False

   222         return False

   222 

   223 

   223     def progress(self, text):

   224     def progress(self, text):

   225         self.output.AnnotationSetText(l, text)

   226         self.output.AnnotationSetText(l, text)

   226         self.output.AnnotationSetVisible(wx.stc.STC_ANNOTATION_BOXED)

   227         self.output.AnnotationSetVisible(wx.stc.STC_ANNOTATION_BOXED)

   227         self.output.AnnotationSetStyle(l, self.black_white)

   228         self.output.AnnotationSetStyle(l, self.black_white)

   228         if self.YieldLock.acquire(0):

   229         if self.YieldLock.acquire(0):

   229             app = wx.GetApp()

   230             app = wx.GetApp()