eric6/QScintilla/Editor.py

branch
maintenance
changeset 7503
b17672e6812d
parent 7437
1148ca40ea36
parent 7490
ebd9ae25bb1c
child 7507
a4eb1787ea41
equal deleted inserted replaced
7438:7ece94219310 7503:b17672e6812d
1497 if self.completer is not None: 1497 if self.completer is not None:
1498 self.completer.setEnabled(False) 1498 self.completer.setEnabled(False)
1499 self.completer = None 1499 self.completer = None
1500 useMonospaced = self.useMonospaced 1500 useMonospaced = self.useMonospaced
1501 self.__setTextDisplay() 1501 self.__setTextDisplay()
1502 self.__setMarginsDisplay()
1502 self.setMonospaced(useMonospaced) 1503 self.setMonospaced(useMonospaced)
1503 self.menuActs["MonospacedFont"].setChecked(self.useMonospaced) 1504 self.menuActs["MonospacedFont"].setChecked(self.useMonospaced)
1504 1505
1505 if not self.inLanguageChanged and propagate: 1506 if not self.inLanguageChanged and propagate:
1506 self.inLanguageChanged = True 1507 self.inLanguageChanged = True

eric ide

mercurial