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