Thu, 23 Aug 2012 16:18:48 +0200
Fixed an issue in the Shell window causing wrong fonts set when monospaced is active.
(grafted from 07ae45dc6986ff1921ef0a478a59130d56066197)
QScintilla/Shell.py | file | annotate | diff | comparison | revisions |
diff -r 837dbb455873 -r 2f37498455c9 QScintilla/Shell.py --- a/QScintilla/Shell.py Tue Aug 21 16:48:47 2012 +0200 +++ b/QScintilla/Shell.py Thu Aug 23 16:18:48 2012 +0200 @@ -425,6 +425,7 @@ if clType != self.clientType: self.clientType = clType self.__bindLexer(clType) + self.__setTextDisplay() self.__setMargin0() self.__setAutoCompletion(clType) self.__setCallTips(clType)