eric6/QScintilla/Editor.py

branch
maintenance
changeset 7503
b17672e6812d
parent 7437
1148ca40ea36
parent 7490
ebd9ae25bb1c
child 7507
a4eb1787ea41
--- a/eric6/QScintilla/Editor.py	Sat Mar 07 11:12:38 2020 +0100
+++ b/eric6/QScintilla/Editor.py	Sun Apr 05 12:06:15 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