4 ms·
That's not a solution. Having different hotkeys in the terminal than in every other application is horrible UX. Like I said elsewhere, I use the "smart copy" fe
by francislavoie 6y ago
That's not a solution. Having different hotkeys in the terminal than in every other application is horrible UX. Like I said elsewhere, I use the "smart copy" feature from kitty, which makes Ctrl+C actually copy when I want, if text is selected (and Ctrl+V works as normal).