##// END OF EJS Templates
Another attempt at fixing raw_input/program execution under windows...
gvaroquaux -
Show More
@@ -174,7 +174,10 class ConsoleWidget(editwindow.EditWindow):
174 174 if refresh:
175 175 current_time = time.time()
176 176 if current_time - self._last_refresh_time > 0.03:
177 wx.Yield()
177 if sys.platform == 'win32':
178 wx.SafeYield()
179 else:
180 wx.Yield()
178 181 # self.ProcessEvent(wx.PaintEvent())
179 182 self._last_refresh_time = current_time
180 183
General Comments 0
You need to be logged in to leave comments. Login now