Tue, 31 Mar 2020 19:29:24 +0200
Editor: fixed a style issue when selecting no specific lexer.
eric6/QScintilla/Editor.py | file | annotate | diff | comparison | revisions |
--- a/eric6/QScintilla/Editor.py Tue Mar 31 19:16:06 2020 +0200 +++ b/eric6/QScintilla/Editor.py Tue Mar 31 19:29:24 2020 +0200 @@ -1499,6 +1499,7 @@ self.completer = None useMonospaced = self.useMonospaced self.__setTextDisplay() + self.__setMarginsDisplay() self.setMonospaced(useMonospaced) self.menuActs["MonospacedFont"].setChecked(self.useMonospaced)