Ensure that the busy cursor is dismissed
git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@16791 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
parent
45c6a92768
commit
1f7314bce9
@ -667,6 +667,7 @@ class Shell(wxStyledTextCtrl):
|
||||
busy = wxBusyCursor()
|
||||
self.write(os.linesep)
|
||||
self.more = self.interp.push(command)
|
||||
del busy
|
||||
if not self.more:
|
||||
self.addHistory(command.rstrip())
|
||||
self.prompt()
|
||||
|
Loading…
Reference in New Issue
Block a user