Is VSCode out for some reason? I don’t care for the defaults for some language plugins, but it seems easier to ship VSCode config than to build a whole editor.
I think the VSCode config is just JSON on disk and I believe you can install plugins on the CLI. You could probably have a bash or Python script do the setup pretty easily.
Edit: responded before coffee, missed the “native GUI”; please disregard
I think the VSCode config is just JSON on disk and I believe you can install plugins on the CLI. You could probably have a bash or Python script do the setup pretty easily.
Edit: responded before coffee, missed the “native GUI”; please disregard