--- 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]))