Preferences/ConfigurationPages/ShellPage.py

changeset 5799
e87f52c0374a
parent 5798
e4f9552f7f93
child 5803
8faca1bed582
--- 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())
         

eric ide

mercurial