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