diff -r 27ce01e44a5f -r 4bdc6503df81 E5XML/SessionReader.py
--- 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)
