39 """ |
39 """ |
40 while not self.atEnd(): |
40 while not self.atEnd(): |
41 self.readNext() |
41 self.readNext() |
42 if self.isStartElement(): |
42 if self.isStartElement(): |
43 if self.name() == "HighlightingStyles": |
43 if self.name() == "HighlightingStyles": |
44 self.version = self.attribute("version", |
44 self.version = self.attribute( |
|
45 "version", |
45 highlightingStylesFileFormatVersion) |
46 highlightingStylesFileFormatVersion) |
46 if self.version not in self.supportedVersions: |
47 if self.version not in self.supportedVersions: |
47 self.raiseUnsupportedFormatVersion(self.version) |
48 self.raiseUnsupportedFormatVersion(self.version) |
48 elif self.name() == "Lexer": |
49 elif self.name() == "Lexer": |
49 self.__readLexer() |
50 self.__readLexer() |