E5XML/SessionReader.py

changeset 6352
4bdc6503df81
parent 6052
8b49d3e0b4c8
child 6645
ad476851d7e0
equal deleted inserted replaced
6351:27ce01e44a5f 6352:4bdc6503df81
17 17
18 class SessionReader(XMLStreamReaderBase): 18 class SessionReader(XMLStreamReaderBase):
19 """ 19 """
20 Class for reading an XML session file. 20 Class for reading an XML session file.
21 """ 21 """
22 supportedVersions = ["4.3", "4.4", "5.0", "6.0", "6.1"] 22 supportedVersions = ["4.3", "4.4", "5.0", "6.0", "6.1", "6.2"]
23 23
24 def __init__(self, device, isGlobal): 24 def __init__(self, device, isGlobal):
25 """ 25 """
26 Constructor 26 Constructor
27 27
270 self.dbg.setExcIgnoreList(dbgExcIgnoreList) 270 self.dbg.setExcIgnoreList(dbgExcIgnoreList)
271 if not self.isGlobal: 271 if not self.isGlobal:
272 self.project.dbgExcIgnoreList = dbgExcIgnoreList[:] 272 self.project.dbgExcIgnoreList = dbgExcIgnoreList[:]
273 273
274 if self.isStartElement(): 274 if self.isStartElement():
275 if self.name() == "Interpreter": 275 if self.name() == "VirtualEnv":
276 txt = self.readElementText() 276 txt = self.readElementText()
277 self.dbg.setInterpreterHistory(txt) 277 self.dbg.lastUsedVenvName = txt
278 if not self.isGlobal: 278 if not self.isGlobal:
279 self.project.dbgInterpreter = txt 279 self.project.dbgVirtualEnv = txt
280 elif self.name() == "Interpreter":
281 # just read this obsolete entry and ignore it
282 self.readElementText()
280 elif self.name() == "CommandLine": 283 elif self.name() == "CommandLine":
281 txt = self.readElementText() 284 txt = self.readElementText()
282 self.dbg.setArgvHistory(txt) 285 self.dbg.setArgvHistory(txt)
283 if not self.isGlobal: 286 if not self.isGlobal:
284 self.project.dbgCmdline = txt 287 self.project.dbgCmdline = txt

eric ide

mercurial