def set_colours(self): colourscheme = self.textarea.editor.colourscheme if self.document.tokenizer.lexer: mode = self.document.tokenizer.lexer.name else: mode = 'plain' self._colours = get_gtk_colours(self.textarea.drawingarea, colourscheme, mode) self.textarea.pl = None
def get_colours(widget, lexer, colourscheme): if lexer: mode = lexer.name else: mode = 'plain' return get_gtk_colours(widget, colourscheme, mode)