##// END OF EJS Templates
Flush the print buffer at the end of a program execution.
gvaroquaux -
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