E5XML/UserProjectReader.py

changeset 945
8cd4d08fa9f6
parent 791
9ec2ac20e54e
child 1509
c0b5e693b0eb
equal deleted inserted replaced
944:1b59c4ba121e 945:8cd4d08fa9f6
9 9
10 from .Config import userProjectFileFormatVersion 10 from .Config import userProjectFileFormatVersion
11 from .XMLStreamReaderBase import XMLStreamReaderBase 11 from .XMLStreamReaderBase import XMLStreamReaderBase
12 12
13 import Preferences 13 import Preferences
14
14 15
15 class UserProjectReader(XMLStreamReaderBase): 16 class UserProjectReader(XMLStreamReaderBase):
16 """ 17 """
17 Class for reading an XML user project properties file. 18 Class for reading an XML user project properties file.
18 """ 19 """
44 if self.version not in self.supportedVersions: 45 if self.version not in self.supportedVersions:
45 self.raiseUnsupportedFormatVersion(self.version) 46 self.raiseUnsupportedFormatVersion(self.version)
46 elif self.name() == "VcsType": 47 elif self.name() == "VcsType":
47 self.project.pudata["VCSOVERRIDE"] = [self.readElementText()] 48 self.project.pudata["VCSOVERRIDE"] = [self.readElementText()]
48 elif self.name() == "VcsStatusMonitorInterval": 49 elif self.name() == "VcsStatusMonitorInterval":
49 interval = int(self.attribute("value", 50 interval = int(self.attribute("value",
50 Preferences.getVCS("StatusMonitorInterval"))) 51 Preferences.getVCS("StatusMonitorInterval")))
51 self.project.pudata["VCSSTATUSMONITORINTERVAL"] = [interval] 52 self.project.pudata["VCSSTATUSMONITORINTERVAL"] = [interval]
52 else: 53 else:
53 self.raiseUnexpectedStartTag(self.name()) 54 self.raiseUnexpectedStartTag(self.name())
54 55

eric ide

mercurial