Mercurial Repositories > eric / file diff

--- a/Preferences/__init__.py	Sun Jul 09 19:42:44 2017 +0200
+++ b/Preferences/__init__.py	Sun Jul 09 19:44:33 2017 +0200
@@ -62,6 +62,8 @@
     from WebBrowser.FlashCookieManager.FlashCookieUtilities import \
         flashDataPathForOS
 
+from QScintilla.Shell import ShellHistoryStyle
+
 
 class Prefs(object):
     """
@@ -1225,6 +1227,7 @@
         "CallTipsEnabled": True,
         "WrapEnabled": True,
         "MaxHistoryEntries": 100,
+        "HistoryStyle": ShellHistoryStyle.LinuxStyle,
         "SyntaxHighlightingEnabled": True,
         "ShowStdOutErr": True,
         "UseMonospacedFont": False,
@@ -2422,6 +2425,9 @@
     elif key in ["MaxHistoryEntries"]:
         return int(prefClass.settings.value(
             "Shell/" + key, prefClass.shellDefaults[key]))
+    elif key in ["HistoryStyle"]:
+        return ShellHistoryStyle(int(prefClass.settings.value(
+            "Shell/" + key, prefClass.shellDefaults[key].value)))
     else:
         return toBool(prefClass.settings.value(
             "Shell/" + key, prefClass.shellDefaults[key]))
@@ -2437,6 +2443,8 @@
     """
     if key in ["MonospacedFont", "MarginsFont"]:
         prefClass.settings.setValue("Shell/" + key, value.toString())
+    elif key in ["HistoryStyle"]:
+        prefClass.settings.setValue("Shell/" + key, value.value)
     else:
         prefClass.settings.setValue("Shell/" + key, value)