I'm currently building a webapp where users can also write and edit code. In addition to the web based editor a I want to enable them to edit the files in a local desktop editor. However, since the code isn't stored in files, but in a database, I can not use the default VS Code remote development system.
So is there a desktop text editor or an editor plugin which can directly load and save files via a REST API or GraphQL API?