--- 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)