Show More
| @@ -171,6 +171,7 b' class WxController(ConsoleWidget, PrefilterFrontEnd):' | |||||
| 171 | """ |
|
171 | """ | |
| 172 | self.new_prompt(prompt) |
|
172 | self.new_prompt(prompt) | |
| 173 | self._input_state = 'raw_input' |
|
173 | self._input_state = 'raw_input' | |
|
|
174 | if hasattr(self, '_cursor'): | |||
| 174 | del self._cursor |
|
175 | del self._cursor | |
| 175 | self.SetCursor(wx.StockCursor(wx.CURSOR_CROSS)) |
|
176 | self.SetCursor(wx.StockCursor(wx.CURSOR_CROSS)) | |
| 176 | self.waiting = True |
|
177 | self.waiting = True | |
General Comments 0
You need to be logged in to leave comments.
Login now