ViewManager/ViewManager.py

changeset 65
ca6449ba4824
parent 55
b5c84934de9c
child 88
3701923bccf2
equal deleted inserted replaced
64:283b4227dc96 65:ca6449ba4824
4411 def __setAutoSpellChecking(self): 4411 def __setAutoSpellChecking(self):
4412 """ 4412 """
4413 Private slot to set the automatic spell checking of all editors. 4413 Private slot to set the automatic spell checking of all editors.
4414 """ 4414 """
4415 enabled = self.autoSpellCheckAct.isChecked() 4415 enabled = self.autoSpellCheckAct.isChecked()
4416 Preferences.setEditor("AutoSpellCheckingEnabled", int(enabled)) 4416 Preferences.setEditor("AutoSpellCheckingEnabled", enabled)
4417 for editor in self.editors: 4417 for editor in self.editors:
4418 editor.setAutoSpellChecking() 4418 editor.setAutoSpellChecking()
4419 4419
4420 def __spellCheck(self): 4420 def __spellCheck(self):
4421 """ 4421 """

eric ide

mercurial