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