4 ms·

I tried this. It is basically a slightly improved VSCode at this point. Basically, most the slowness/bulkiness of IDEs does not come from the text editing port

I tried this. It is basically a slightly improved VSCode at this point. Basically, most the slowness/bulkiness of IDEs does not come from the text editing portion.