richtext_editor¶

class janim.gui.richtext_editor.RichTextEditor(parent: QWidget | None = None)¶

基类：QWidget

setup_ui()¶

check_box_html_state_changed(state: bool) → None¶

staticMetaObject = PySide6.QtCore.QMetaObject("RichTextEditor" inherits "QWidget": )¶

class janim.gui.richtext_editor.RichTextEdit(parent: QWidget | None = None)¶

基类：TextEdit

html_inserted¶

insertFromMimeData(source: QMimeData) → None¶

static html2richtext(html: str) → str¶

static parse_node(node: Tag) → str¶

static parse_span(span: Tag) → str¶

static parse_color(color: str) → str¶

static parse_style(style: str) → dict[str, str]¶

staticMetaObject = PySide6.QtCore.QMetaObject("RichTextEdit" inherits "TextEdit": Methods: #62 type=Signal, signature=html_inserted() )¶

class janim.gui.richtext_editor.RichTextHighlighter¶

基类：QSyntaxHighlighter

regex = re.compile('(<+)/?[^<]*?>')¶

color = PySide6.QtGui.QColor.fromRgbF(0.337255, 0.611765, 0.839216, 1.000000)¶

highlightBlock(text: str) → None¶

staticMetaObject = PySide6.QtCore.QMetaObject("RichTextHighlighter" inherits "QSyntaxHighlighter": )¶