I'm working on a little music live coding environment, and I'd like to integrate a text editor (currently it's just a REPL and I use VSCode to send text to it).
It doesn't need to do much for now, "just" run on all platforms and allow me to use Ctrl+Return to evaluate code.
I've thought about terminal text editors like Kiro, but reliably getting the Ctrl+Return key combination to work on a variety of terminal editors seems non-trivial. Plus, I'm not sure how they'd perform on MS Windows.
I saw that Nannou has a TextEdit widget, but I only looked into it briefly and haven't seen a working example so far.
So, does anyone have an idea what one could use here ? All hints appreciated !