equal
deleted
inserted
replaced
246 |
246 |
247 # Temporary deactivate read only mode on StyledTextCtrl for |
247 # Temporary deactivate read only mode on StyledTextCtrl for |
248 # adding text. It seems that text modifications, even |
248 # adding text. It seems that text modifications, even |
249 # programmatically, are disabled in StyledTextCtrl when read |
249 # programmatically, are disabled in StyledTextCtrl when read |
250 # only is active |
250 # only is active |
|
251 start_pos = self.output.GetLength() |
251 self.output.SetReadOnly(False) |
252 self.output.SetReadOnly(False) |
252 self.output.AppendText(s) |
253 self.output.AppendText(s) |
253 self.output.SetReadOnly(True) |
254 self.output.SetReadOnly(True) |
|
255 text_len = self.output.GetLength() - start_pos |
254 |
256 |
255 if style != self.black_white: |
257 if style != self.black_white: |
256 self.output.SetStyling(len(s), style) |
258 self.output.SetStyling(text_len, style) |
257 self.stack = [] |
259 self.stack = [] |
258 self.lock.release() |
260 self.lock.release() |
259 self.output.Thaw() |
261 self.output.Thaw() |
260 self.LastRefreshTime = gettime() |
262 self.LastRefreshTime = gettime() |
261 try: |
263 try: |