From 2e07b29dd9a05e55fe7ba0e19c322b3d04b1276c Mon Sep 17 00:00:00 2001 From: Robin Dunn Date: Fri, 14 Jul 2000 04:01:48 +0000 Subject: [PATCH] Quick fix... git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/branches/WX_2_2_BRANCH@7740 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775 --- wxPython/wxPython/lib/pyshell.py | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/wxPython/wxPython/lib/pyshell.py b/wxPython/wxPython/lib/pyshell.py index f1ecb73351..de7bbd2c45 100644 --- a/wxPython/wxPython/lib/pyshell.py +++ b/wxPython/wxPython/lib/pyshell.py @@ -33,7 +33,8 @@ from code import InteractiveInterpreter # default styles, etc. to use for the STC _default_properties = { - 'marginWidth' : 5, + 'selMargin' : 0, + 'marginWidth' : 1, 'ps1' : '>>> ', 'stdout' : 'fore:#0000FF', 'stderr' : 'fore:#007f00', @@ -102,11 +103,12 @@ class PyShellWindow(wxStyledTextCtrl, InteractiveInterpreter): """ p = self.props - self.SetLexer(wxSTC_LEX_PYTHON) - self.SetKeywords(0, string.join(keyword.kwlist)) + #self.SetLexer(wxSTC_LEX_PYTHON) + #self.SetKeywords(0, string.join(keyword.kwlist)) - # set the selection margin - self.SetMarginWidth(1, p['marginWidth']) + # set the selection margin and window margin + self.SetMarginWidth(1, p['selMargin']) + self.SetMargins(p['marginWidth'], p['marginWidth']) # styles self.StyleSetSpec(_stdout_style, p['stdout'])