4 ms·

I don't really like these tools. Developers should be forced to make these options available in default settings.