3 ms·

I recommend trying out VSCode. Just to see if it is a useful alternative. It also supports all languages and has a huge plug-in community.