It would require changes to the core. I meant ‘extension’ in the last message as an addition to the current core decoration system.
Ahh. Okay. So if I put a pull request together, that wouldn’t be unwelcome?
I’m starting to get somewhat more familiar with Codemirror 6 internals, but I confess to not having a very firm grasp yet. If you could point me to some of the classes you think these changes would end up affecting and where I should begin tinkering I’d be very much obliged.
Thanks for answering my many questions, @marijn
I’ve opened https://github.com/codemirror/codemirror.next/issues/224, partially inspired by this thread.