diff -r e4f9552f7f93 -r e87f52c0374a Preferences/ConfigurationPages/ShellPage.py --- a/Preferences/ConfigurationPages/ShellPage.py Sun Jul 09 19:44:33 2017 +0200 +++ b/Preferences/ConfigurationPages/ShellPage.py Mon Jul 10 18:24:35 2017 +0200 @@ -60,6 +60,10 @@ index = self.shellHistoryStyleComboBox.findData( Preferences.getShell("HistoryStyle")) self.shellHistoryStyleComboBox.setCurrentIndex(index) + self.shellHistoryWrapCheckBox.setChecked( + Preferences.getShell("HistoryWrap")) + self.shellHistoryCursorKeysCheckBox.setChecked( + Preferences.getShell("HistoryNavigateByCursor")) self.stdOutErrCheckBox.setChecked( Preferences.getShell("ShowStdOutErr")) @@ -96,6 +100,12 @@ "HistoryStyle", self.shellHistoryStyleComboBox.currentData()) Preferences.setShell( + "HistoryWrap", + self.shellHistoryWrapCheckBox.isChecked()) + Preferences.setShell( + "HistoryNavigateByCursor", + self.shellHistoryCursorKeysCheckBox.isChecked()) + Preferences.setShell( "ShowStdOutErr", self.stdOutErrCheckBox.isChecked())