3 ms·

I think that is the great thing about IDEs allowing plugins. There are many other nice LaTeX editors, but none that allow proper customization.