I'm currently building an online 3D-Editor that supports OpenSCAD and Python as the input language. The ease of use to highlight static text via Arborium seems nice: def hello(name): print("Hello " + name); But does it support editing highlighted text? If not, one would have to do some trickery by hiding a textarea and updating the element on each keypress, I guess. Which probably has a thousand corner cases one woul…
The code isn't minified so you can see how they do it by looking at the `doHighlight()` function here https://arborium.bearcove.eu/pkg/app.generated.js