--- a/E5XML/SessionReader.py Sun Jun 17 13:09:00 2018 +0200 +++ b/E5XML/SessionReader.py Sun Jun 17 16:56:10 2018 +0200 @@ -19,7 +19,7 @@ """ Class for reading an XML session file. """ - supportedVersions = ["4.3", "4.4", "5.0", "6.0", "6.1"] + supportedVersions = ["4.3", "4.4", "5.0", "6.0", "6.1", "6.2"] def __init__(self, device, isGlobal): """ @@ -272,11 +272,14 @@ self.project.dbgExcIgnoreList = dbgExcIgnoreList[:] if self.isStartElement(): - if self.name() == "Interpreter": + if self.name() == "VirtualEnv": txt = self.readElementText() - self.dbg.setInterpreterHistory(txt) + self.dbg.lastUsedVenvName = txt if not self.isGlobal: - self.project.dbgInterpreter = txt + self.project.dbgVirtualEnv = txt + elif self.name() == "Interpreter": + # just read this obsolete entry and ignore it + self.readElementText() elif self.name() == "CommandLine": txt = self.readElementText() self.dbg.setArgvHistory(txt)