Thanks for CodeMirror 6, awesome editor/api and great docs!
I’m interested in adding input widgets to modify number values.
Tangles are 1 cool interaction approach, but I’m open to anything.
I’ve read the docs on Boolean Toggle Widget and that definitely gives me a starting point to develop something custom.
However, I guess that someone or some of the tools that rely on CodeMirror have implemented input widgets for numbers.
Do you know of existing implementations on input widgets that I can look at/study and consider for inclusion? (license-permitting, obviously)
Specifically interested in numbers but textbox/dropdown or in fact anything well-implemented would be nice to see/refer to.