--- a/src/eric7/Preferences/ConfigurationPages/EditorSyntaxPage.py Sun Mar 19 16:16:28 2023 +0100 +++ b/src/eric7/Preferences/ConfigurationPages/EditorSyntaxPage.py Mon Mar 20 10:43:29 2023 +0100 @@ -40,6 +40,9 @@ self.ignoreStarImportCheckBox.setChecked( Preferences.getFlakes("IgnoreStarImportWarnings") ) + self.builtinsEdit.setPlainText( + " ".join(Preferences.getFlakes("AdditionalBuiltins")) + ) def save(self): """ @@ -58,6 +61,9 @@ Preferences.setFlakes( "IgnoreStarImportWarnings", self.ignoreStarImportCheckBox.isChecked() ) + Preferences.setFlakes( + "AdditionalBuiltins", self.builtinsEdit.toPlainText().strip().split() + ) def create(dlg):