diff -r 9aad21c7765d -r 5e6792b85a8a eric6/Preferences/ConfigurationPages/PythonPage.py --- a/eric6/Preferences/ConfigurationPages/PythonPage.py Tue Sep 22 19:30:03 2020 +0200 +++ b/eric6/Preferences/ConfigurationPages/PythonPage.py Wed Sep 23 19:10:42 2020 +0200 @@ -40,6 +40,9 @@ Preferences.getSystem("IOEncoding")) self.ioEncodingComboBox.setCurrentIndex(index) + self.showCodeInfoDetailsCeckBox.setChecked( + Preferences.getPython("DisViewerExpandCodeInfoDetails")) + # these are the same as in the debugger pages self.py3ExtensionsEdit.setText( Preferences.getDebugger("Python3Extensions")) @@ -79,6 +82,10 @@ "Python3Extensions", self.py3ExtensionsEdit.text()) + Preferences.setPython( + "DisViewerExpandCodeInfoDetails", + self.showCodeInfoDetailsCeckBox.isChecked()) + # colours self.saveColours(Preferences.setPython)