Show More
@@ -204,9 +204,12 b' class WxController(PrefilterFrontEnd, ConsoleWidget):' | |||||
204 | self.running_process.start() |
|
204 | self.running_process.start() | |
205 | # XXX: another one of these polling loops to have a blocking |
|
205 | # XXX: another one of these polling loops to have a blocking | |
206 | # call |
|
206 | # call | |
|
207 | wx.Yield() | |||
207 | while self.running_process: |
|
208 | while self.running_process: | |
208 | wx.Yield() |
|
209 | wx.Yield() | |
209 | sleep(0.1) |
|
210 | sleep(0.1) | |
|
211 | # Be sure to flush the buffer. | |||
|
212 | self._buffer_flush(event=None) | |||
210 |
|
213 | |||
211 |
|
214 | |||
212 | def buffered_write(self, text): |
|
215 | def buffered_write(self, text): |
General Comments 0
You need to be logged in to leave comments.
Login now