3 ms·

Huh? I'm not aware of any shortcuts using the Ctrl key in the console host (which uses function keys) or the new terminal (where the post I commented on complai

by ygra 7y ago

Huh? I'm not aware of any shortcuts using the Ctrl key in the console host (which uses function keys) or the new terminal (where the post I commented on complained that Ctrl+V does not work).

classified 7y ago
The fact that you're missing it from an incomplete pre-release doesn't make the idea any smarter.