Comment Comment by mapl I really liked it! https://github.com/theia-ide/theia parent mapl 8 years ago