Editor: fixed a style issue when selecting no specific lexer.

Tue, 31 Mar 2020 19:29:24 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Tue, 31 Mar 2020 19:29:24 +0200
changeset 7490
ebd9ae25bb1c
parent 7489
6543bcd150fd
child 7491
afb9771fcb82

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)
         

eric ide

mercurial