[greggh]

Just a prototype? I have no reason to leave the terminal for a GUI IDE. TUI works great, does what I need and is very easy to use and interact with.

[dolmen]

TUI is not so great for copying a multiline block of text displayed on the terminal when it is indented or shown in a boxed widget.

I'm not saying that GUI are always better at allowing copying: this still requires the developer to design widgets that allow copying.