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