equal
deleted
inserted
replaced
206 def write_warning(self, s): |
206 def write_warning(self, s): |
207 self.write(s, self.red_white) |
207 self.write(s, self.red_white) |
208 |
208 |
209 def write_error(self, s): |
209 def write_error(self, s): |
210 self.write(s, self.red_yellow) |
210 self.write(s, self.red_yellow) |
211 |
|
212 def writeyield(self, s): |
|
213 self.write(s) |
|
214 wx.GetApp().Yield() |
|
215 |
211 |
216 def flush(self): |
212 def flush(self): |
217 # Temporary deactivate read only mode on StyledTextCtrl for clearing |
213 # Temporary deactivate read only mode on StyledTextCtrl for clearing |
218 # text. It seems that text modifications, even programmatically, are |
214 # text. It seems that text modifications, even programmatically, are |
219 # disabled in StyledTextCtrl when read only is active |
215 # disabled in StyledTextCtrl when read only is active |