diff -r 928858251f7a -r 7cb88e04e4c0 eric6/Preferences/ConfigurationPages/EditorSpellCheckingPage.py --- a/eric6/Preferences/ConfigurationPages/EditorSpellCheckingPage.py Wed Oct 23 19:57:49 2019 +0200 +++ b/eric6/Preferences/ConfigurationPages/EditorSpellCheckingPage.py Wed Oct 23 19:59:23 2019 +0200 @@ -55,8 +55,12 @@ self.stringsOnlyCheckBox.setChecked( Preferences.getEditor("SpellCheckStringsOnly")) + self.fullCheckUnknownCheckBox.setChecked( + Preferences.getEditor("FullSpellCheckUnknown")) self.minimumWordSizeSlider.setValue( Preferences.getEditor("SpellCheckingMinWordSize")) + self.spellCheckTextFilesLineEdit.setText( + " ".join(Preferences.getEditor("FullSpellCheckExtensions"))) self.initColour( "SpellingMarkers", self.spellingMarkerButton, @@ -89,7 +93,14 @@ Preferences.setEditor( "SpellCheckStringsOnly", self.stringsOnlyCheckBox.isChecked()) Preferences.setEditor( + "FullSpellCheckUnknown", + self.fullCheckUnknownCheckBox.isChecked()) + Preferences.setEditor( "SpellCheckingMinWordSize", self.minimumWordSizeSlider.value()) + Preferences.setEditor( + "FullSpellCheckExtensions", + [ext.strip() for ext in + self.spellCheckTextFilesLineEdit.text().split()]) self.saveColours(Preferences.setEditorColour)