Quick fix...
git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/branches/WX_2_2_BRANCH@7740 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
@@ -33,7 +33,8 @@ from code import InteractiveInterpreter
|
|||||||
# default styles, etc. to use for the STC
|
# default styles, etc. to use for the STC
|
||||||
|
|
||||||
_default_properties = {
|
_default_properties = {
|
||||||
'marginWidth' : 5,
|
'selMargin' : 0,
|
||||||
|
'marginWidth' : 1,
|
||||||
'ps1' : '>>> ',
|
'ps1' : '>>> ',
|
||||||
'stdout' : 'fore:#0000FF',
|
'stdout' : 'fore:#0000FF',
|
||||||
'stderr' : 'fore:#007f00',
|
'stderr' : 'fore:#007f00',
|
||||||
@@ -102,11 +103,12 @@ class PyShellWindow(wxStyledTextCtrl, InteractiveInterpreter):
|
|||||||
"""
|
"""
|
||||||
p = self.props
|
p = self.props
|
||||||
|
|
||||||
self.SetLexer(wxSTC_LEX_PYTHON)
|
#self.SetLexer(wxSTC_LEX_PYTHON)
|
||||||
self.SetKeywords(0, string.join(keyword.kwlist))
|
#self.SetKeywords(0, string.join(keyword.kwlist))
|
||||||
|
|
||||||
# set the selection margin
|
# set the selection margin and window margin
|
||||||
self.SetMarginWidth(1, p['marginWidth'])
|
self.SetMarginWidth(1, p['selMargin'])
|
||||||
|
self.SetMargins(p['marginWidth'], p['marginWidth'])
|
||||||
|
|
||||||
# styles
|
# styles
|
||||||
self.StyleSetSpec(_stdout_style, p['stdout'])
|
self.StyleSetSpec(_stdout_style, p['stdout'])
|
||||||
|
Reference in New Issue
Block a user