Show More
@@ -174,6 +174,9 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 | if sys.platform == 'win32': | |||
|
178 | wx.SafeYield() | |||
|
179 | else: | |||
177 | wx.Yield() |
|
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 |
General Comments 0
You need to be logged in to leave comments.
Login now