3 ms·

Would that work with "alt" instead of "ctrl"? Using the Control key for command shortcuts in a terminal may not be the smartest idea.