a modal editor with integrated terminals and a file manager
A modal editor with integrated terminals and a file manager.