##// END OF EJS Templates
Trying a different approach for raw_input: starting a second event loop...
gvaroquaux -
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