Beispiel #1
0
 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
Beispiel #2
0
def get_colours(widget, lexer, colourscheme):
    if lexer:
        mode = lexer.name
    else:
        mode = 'plain'
    return get_gtk_colours(widget, colourscheme, mode)