diff --git a/IPython/frontend/wx/console_widget.py b/IPython/frontend/wx/console_widget.py index d0fe69b..8819c93 100644 --- a/IPython/frontend/wx/console_widget.py +++ b/IPython/frontend/wx/console_widget.py @@ -175,6 +175,7 @@ class ConsoleWidget(editwindow.EditWindow): current_time = time.time() if current_time - self._last_refresh_time > 0.03: wx.Yield() + # self.ProcessEvent(wx.PaintEvent()) self._last_refresh_time = current_time diff --git a/IPython/frontend/wx/wx_frontend.py b/IPython/frontend/wx/wx_frontend.py index 86b885d..033fa6e 100644 --- a/IPython/frontend/wx/wx_frontend.py +++ b/IPython/frontend/wx/wx_frontend.py @@ -320,7 +320,8 @@ class WxController(ConsoleWidget, PrefilterFrontEnd): def show_traceback(self): start_line = self.GetCurrentLine() PrefilterFrontEnd.show_traceback(self) - wx.Yield() + self.ProcessEvent(wx.PaintEvent()) + #wx.Yield() for i in range(start_line, self.GetCurrentLine()): self._markers[i] = self.MarkerAdd(i, _ERROR_MARKER)