diff -r cfcfba945421 -r b4a75c77f9cd src/eric7/Preferences/ConfigurationPages/ShellPage.py
--- a/src/eric7/Preferences/ConfigurationPages/ShellPage.py Fri Feb 09 18:58:42 2024 +0100
+++ b/src/eric7/Preferences/ConfigurationPages/ShellPage.py Sat Feb 10 10:58:48 2024 +0100
@@ -70,6 +70,8 @@
self.marginsFont = Preferences.getShell("MarginsFont")
self.marginsFontSample.setFont(self.marginsFont)
+ self.timeoutSpinBox.setValue(Preferences.getShell("CommandExecutionTimeout"))
+
def save(self):
"""
Public slot to save the Shell configuration.
@@ -102,6 +104,8 @@
Preferences.setShell("UseMonospacedFont", self.monospacedCheckBox.isChecked())
Preferences.setShell("MarginsFont", self.marginsFont)
+ Preferences.setShell("CommandExecutionTimeout", self.timeoutSpinBox.value())
+
@pyqtSlot()
def on_monospacedFontButton_clicked(self):
"""
