Preferences/__init__.py

changeset 6581
8eb6220f2bb7
parent 6576
ea60ea85067a
child 6602
331ac8f99cf8
child 6645
ad476851d7e0
--- a/Preferences/__init__.py	Sun Nov 04 12:38:32 2018 +0100
+++ b/Preferences/__init__.py	Sun Nov 04 17:20:11 2018 +0100
@@ -1342,6 +1342,8 @@
         "UseMonospacedFont": False,
         "MonospacedFont": "Courier,10,-1,5,50,0,0,0,0,0",
         "MarginsFont": "Sans Serif,10,-1,5,50,0,0,0,0,0",
+        "LastVirtualEnvironment": "",
+        "StartWithMostRecentlyUsedEnvironment": True,
     }
 
     # defaults for Qt related stuff
@@ -2521,6 +2523,9 @@
     elif key in ["HistoryStyle"]:
         return ShellHistoryStyle(int(prefClass.settings.value(
             "Shell/" + key, prefClass.shellDefaults[key].value)))
+    elif key in ["LastVirtualEnvironment"]:
+        return prefClass.settings.value(
+            "Shell/" + key, prefClass.shellDefaults[key])
     else:
         return toBool(prefClass.settings.value(
             "Shell/" + key, prefClass.shellDefaults[key]))

eric ide

mercurial