--- a/E5XML/SessionReader.py Mon Oct 09 19:06:46 2017 +0200 +++ b/E5XML/SessionReader.py Tue Oct 10 19:05:00 2017 +0200 @@ -19,7 +19,7 @@ """ Class for reading an XML session file. """ - supportedVersions = ["4.3", "4.4", "5.0"] + supportedVersions = ["4.3", "4.4", "5.0", "6.0"] def __init__(self, device, isGlobal): """ @@ -253,7 +253,12 @@ self.project.dbgExcIgnoreList = dbgExcIgnoreList[:] if self.isStartElement(): - if self.name() == "CommandLine": + if self.name() == "Interpreter": + txt = self.readElementText() + self.dbg.setInterpreterHistory(txt) + if not self.isGlobal: + self.project.dbgInterpreter = txt + elif self.name() == "CommandLine": txt = self.readElementText() self.dbg.setArgvHistory(txt) if not self.isGlobal: