It was done by one of our collaborators (advantages of open source), and it allows for multiple terminals just as you mention :)
Having a browser within the app has also been suggested, yo transform it in a nice dev tool instead of a terminal. We are still thinking what this could really be in the future,so any feedback and forward thinking is really appreciated!
It was done by one of our collaborators (advantages of open source), and it allows for multiple terminals just as you mention :)
Having a browser within the app has also been suggested, yo transform it in a nice dev tool instead of a terminal. We are still thinking what this could really be in the future,so any feedback and forward thinking is really appreciated!