66 language = self.attribute("name") |
66 language = self.attribute("name") |
67 self.__lexersList.append({ |
67 self.__lexersList.append({ |
68 "name": language, |
68 "name": language, |
69 "styles": [], |
69 "styles": [], |
70 }) |
70 }) |
71 if language and language in self.lexers: |
71 lexer = ( |
72 lexer = self.lexers[language] |
72 self.lexers[language] |
73 else: |
73 if language and language in self.lexers else |
74 lexer = None |
74 None |
|
75 ) |
75 |
76 |
76 while not self.atEnd(): |
77 while not self.atEnd(): |
77 self.readNext() |
78 self.readNext() |
78 if self.isEndElement() and self.name() == "Lexer": |
79 if self.isEndElement() and self.name() == "Lexer": |
79 break |
80 break |