4 ms·

would be nice if you could switch between different highlighting modes depending on the task you are doing