How to highlight new line with highlightSpecialChars?

[hungify]

@mekterovic

Decorating newline characters

highlightNewLine extension import type { DecorationSet, EditorView, ViewUpdate } from '@codemirror/view' import { Decoration, ViewPlugin, WidgetType } from '@codemirror/view' class NewlineWidget extends WidgetType { toDOM() { const span = document.createElement('span') span.className = 'cm-newline' span.textContent = '↵' return span } } function highlightNewLine() { return ViewPlugin.fromClass( class { decorations: DecorationSet constructor(view: EditorVi…

Check out my comment, it might help you.