What? That’s exactly what this is. Theia is a fork of VSCode that Eclipse maintains (with a slightly differently structured backend, I think), and they’ve forked that and removed the bits you don’t need for working with Arduino. You can see it in the screenshot, it looks like VSCode with less buttons.