1 → this is true but as I mentioned, for a coding session it would not be an issue. I use vscode (an IDE) for these quick edits when my IDE of choice (jetbrains

1 → this is true but as I mentioned, for a coding session it would not be an issue. I use vscode (an IDE) for these quick edits when my IDE of choice (jetbrains) takes quite some time to start. 2 → vscode is the same. Jetbrains has this problem, though (I raised that point with their support but this will not change, unfortunately) 3 → you mean that the text lags when typing? I never saw that but I work on reasonably fast computers and only use vscode and Jetbrains IDEs