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(