equal
deleted
inserted
replaced
317 if style is None : style=self.black_white |
317 if style is None : style=self.black_white |
318 if self.default_style != style: |
318 if self.default_style != style: |
319 self.output.SetDefaultStyle(style) |
319 self.output.SetDefaultStyle(style) |
320 self.default_style = style |
320 self.default_style = style |
321 self.output.AppendText(s) |
321 self.output.AppendText(s) |
322 #self.output.ScrollLines(s.count('\n')+1) |
322 self.output.ScrollLines(s.count('\n')+1) |
323 self.stack = [] |
323 self.stack = [] |
324 self.lock.release() |
324 self.lock.release() |
325 self.output.ShowPosition(self.output.GetLastPosition()) |
325 self.output.ShowPosition(self.output.GetLastPosition()) |
326 self.output.Thaw() |
326 self.output.Thaw() |
327 self.LastRefreshTime = gettime() |
327 self.LastRefreshTime = gettime() |