def __init__(self, parent, text, hlclass):
QTextDocument.__init__(self, parent)
self.l = QPlainTextDocumentLayout(self)
self.setDocumentLayout(self.l)
self.highlighter = hlclass(self)
self.highlighter.apply_theme(get_theme())
self.highlighter.setDocument(self)
self.setPlainText(text)
def __init__(self, parent, text, syntax):
QTextDocument.__init__(self, parent)
self.l = QPlainTextDocumentLayout(self)
self.setDocumentLayout(self.l)
self.highlighter = get_highlighter(syntax)(self)
self.highlighter.apply_theme(get_theme())
self.highlighter.setDocument(self)
self.setPlainText(text)
def __init__(self, parent, text, hlclass):
QTextDocument.__init__(self, parent)
self.l = QPlainTextDocumentLayout(self)
self.setDocumentLayout(self.l)
self.highlighter = hlclass()
self.highlighter.apply_theme(get_theme(tprefs['editor_theme']))
self.highlighter.set_document(self)
self.setPlainText(text)
