One other quick question. Have you built the ide yourself or are you using a provider? It looks pretty cool.
The core code editor itself uses Monaco (the same thing under the hood of VSCode), but everything else is custom (i.e. file browser, language server, syntax highlighting, tabs, etc.)