--- a/src/eric7/Preferences/ConfigurationPages/MimeTypesPage.py Thu Sep 26 15:49:36 2024 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/MimeTypesPage.py Fri Sep 27 09:48:07 2024 +0200 @@ -43,6 +43,7 @@ self.loadUnknownCheckBox.setChecked( Preferences.getUI("LoadUnknownMimeTypeFiles") ) + self.askUserCheckBox.setChecked(Preferences.getUI("TextMimeTypesAskUser")) def save(self): """ @@ -54,6 +55,7 @@ "LoadUnknownMimeTypeFiles", self.loadUnknownCheckBox.isChecked(), ) + Preferences.setUI("TextMimeTypesAskUser", self.askUserCheckBox.isChecked()) @pyqtSlot() def __setMimeTypesToDefault(self):