Closed bjorn closed 1 year ago
They were getting reset to the defaults when the highlighter was re-created. Fixed by not re-creating the CustomMarkdownHighlighter.
CustomMarkdownHighlighter
Good catch!
They were getting reset to the defaults when the highlighter was re-created. Fixed by not re-creating the
CustomMarkdownHighlighter
.