4 ms·
Pantograph[0] seems to be a more recent attempt to implement the same idea. It is still not a general editor but generalizing it to ranges of tree selections lo
by exidex 7mo ago
Pantograph[0] seems to be a more recent attempt to implement the same idea. It is still not a general editor but generalizing it to ranges of tree selections looks promising
[0]: https://pantographeditor.github.io/Pantograph/ https://pantographeditor.github.io/Pantograph/
- armchairhacker 7mo agoThere are more examples in https://github.com/yairchu/awesome-structure-editors https://github.com/yairchu/awesome-structure-editors