Some last minute little tweaks
git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@17061 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
@@ -233,6 +233,7 @@ class Shell(wxStyledTextCtrl):
|
||||
self.autoCallTip = 1
|
||||
self.CallTipSetBackground(wxColour(255, 255, 232))
|
||||
self.wrap()
|
||||
self.SetEndAtLastLine(false)
|
||||
|
||||
def showIntro(self, text=''):
|
||||
"""Display introductory text in the shell."""
|
||||
@@ -243,6 +244,7 @@ class Shell(wxStyledTextCtrl):
|
||||
self.write(self.interp.introText)
|
||||
except AttributeError:
|
||||
pass
|
||||
wxCallAfter(self.ScrollToLine, 0)
|
||||
|
||||
def setBuiltinKeywords(self):
|
||||
"""Create pseudo keywords as part of builtins.
|
||||
|
Reference in New Issue
Block a user