eric6/QScintilla/Editor.py

changeset 7490
ebd9ae25bb1c
parent 7393
e83e0ba6b90d
child 7503
b17672e6812d
child 7506
7dc87ee87bf4
--- 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