--- a/src/eric7/Preferences/ConfigurationPages/DebuggerPython3Page.py Mon Nov 06 19:12:33 2023 +0100 +++ b/src/eric7/Preferences/ConfigurationPages/DebuggerPython3Page.py Tue Nov 07 11:03:13 2023 +0100 @@ -70,6 +70,9 @@ Preferences.getDebugger("Python3NoEncoding") ) self.sourceExtensionsEdit.setText(Preferences.getDebugger("Python3Extensions")) + self.callTraceCheckBox.setChecked( + Preferences.getDebugger("PythonCallTraceOptimization") + ) def save(self): """ @@ -85,6 +88,9 @@ Preferences.setDebugger( "Python3NoEncoding", self.pyNoEncodingCheckBox.isChecked() ) + Preferences.setDebugger( + "PythonCallTraceOptimization", self.callTraceCheckBox.isChecked() + ) def __populateAndSetVenvComboBox(self): """