178 def __init__(self, parent=None, name=""): |
178 def __init__(self, parent=None, name=""): |
179 """ |
179 """ |
180 Constructor |
180 Constructor |
181 |
181 |
182 @param parent parent widget of this lexer |
182 @param parent parent widget of this lexer |
183 @keyparam name name of the pygments lexer to use (string) |
183 @param name name of the pygments lexer to use (string) |
184 """ |
184 """ |
185 LexerContainer.__init__(self, parent) |
185 LexerContainer.__init__(self, parent) |
186 |
186 |
187 if name.startswith("Pygments|"): |
187 if name.startswith("Pygments|"): |
188 self.__forcedPygmentsName = True |
188 self.__forcedPygmentsName = True |