From 5fd85868bb3ebf5f7411c92f58c05077ad7e6192 2008-09-05 23:56:04 From: gvaroquaux <gvaroquaux@gvaroquaux-desktop> Date: 2008-09-05 23:56:04 Subject: [PATCH] Faster refresh on write. Avoid recursive Yields. --- diff --git a/IPython/frontend/wx/console_widget.py b/IPython/frontend/wx/console_widget.py index 631f6b9..bc2a0f7 100644 --- a/IPython/frontend/wx/console_widget.py +++ b/IPython/frontend/wx/console_widget.py @@ -172,11 +172,12 @@ class ConsoleWidget(editwindow.EditWindow): self.GotoPos(self.GetLength()) if refresh: - # Maybe this is faster than wx.Yield() - self.ProcessEvent(wx.PaintEvent()) current_time = time.time() if current_time - self._last_refresh_time > 0.03: - wx.Yield() + # Maybe this is faster than wx.Yield(), this is certainly + # more robust under windows, as it avoids recursive + # Yields. + self.ProcessEvent(wx.PaintEvent()) self._last_refresh_time = current_time