Show More
@@ -181,15 +181,13 b' class WxController(ConsoleWidget, PrefilterFrontEnd):' | |||||
181 | if hasattr(self, '_cursor'): |
|
181 | if hasattr(self, '_cursor'): | |
182 | del self._cursor |
|
182 | del self._cursor | |
183 | self.SetCursor(wx.StockCursor(wx.CURSOR_CROSS)) |
|
183 | self.SetCursor(wx.StockCursor(wx.CURSOR_CROSS)) | |
184 | self.waiting = True |
|
|||
185 | self.__old_on_enter = self._on_enter |
|
184 | self.__old_on_enter = self._on_enter | |
|
185 | event_loop = wx.EventLoop() | |||
186 | def my_on_enter(): |
|
186 | def my_on_enter(): | |
187 | self.waiting = False |
|
187 | event_loop.Exit() | |
188 | self._on_enter = my_on_enter |
|
188 | self._on_enter = my_on_enter | |
189 | # XXX: Busy waiting, ugly. |
|
189 | # XXX: Running a separate event_loop. Ugly. | |
190 | while self.waiting: |
|
190 | event_loop.Run() | |
191 | wx.Yield() |
|
|||
192 | sleep(0.1) |
|
|||
193 | self._on_enter = self.__old_on_enter |
|
191 | self._on_enter = self.__old_on_enter | |
194 | self._input_state = 'buffering' |
|
192 | self._input_state = 'buffering' | |
195 | self._cursor = wx.BusyCursor() |
|
193 | self._cursor = wx.BusyCursor() |
General Comments 0
You need to be logged in to leave comments.
Login now