4 ms·

I haven't tried, but I think 1337 doesn't do anything destructive to the normal terminal extensions for mouse interaction.