You’ll have to keep track of your marks on your own and clear them yourself when they aren’t needed anymore.
const markers = [];
markers.push(cm.markText(…));
markers.forEach(marker => marker.clear());
See documentation for doc.markText().
GitHub Issues is a bug tracker. There’s a dedicated forum for questions and user support at discuss.codemirror.net.
Most helpful comment
You’ll have to keep track of your marks on your own and clear them yourself when they aren’t needed anymore.
See documentation for
doc.markText().GitHub Issues is a bug tracker. There’s a dedicated forum for questions and user support at discuss.codemirror.net.