Preferences/ConfigurationPages/ShellPage.py

changeset 6581
8eb6220f2bb7
parent 6048
82ad8ec9548c
child 6645
ad476851d7e0
diff -r 082d58e2415e -r 8eb6220f2bb7 Preferences/ConfigurationPages/ShellPage.py
--- a/Preferences/ConfigurationPages/ShellPage.py	Sun Nov 04 12:38:32 2018 +0100
+++ b/Preferences/ConfigurationPages/ShellPage.py	Sun Nov 04 17:20:11 2018 +0100
@@ -55,6 +55,8 @@
             Preferences.getShell("CallTipsEnabled"))
         self.shellSyntaxHighlightingCheckBox.setChecked(
             Preferences.getShell("SyntaxHighlightingEnabled"))
+        self.rememberCheckBox.setChecked(
+            Preferences.getShell("StartWithMostRecentlyUsedEnvironment"))
         self.shellHistorySpinBox.setValue(
             Preferences.getShell("MaxHistoryEntries"))
         index = self.shellHistoryStyleComboBox.findData(
@@ -94,6 +96,9 @@
             "SyntaxHighlightingEnabled",
             self.shellSyntaxHighlightingCheckBox.isChecked())
         Preferences.setShell(
+            "StartWithMostRecentlyUsedEnvironment",
+            self.rememberCheckBox.isChecked())
+        Preferences.setShell(
             "MaxHistoryEntries",
             self.shellHistorySpinBox.value())
         Preferences.setShell(

eric ide

mercurial