You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The shortcuts to delete texts in terminal are inconsistent, ctrl + del works perfectly, but ctrl + backspaces in terminal is alt + backspace, this is a little confusing when using terminal and ctrl + shift + arrow keys don't work at all
Proposal
In (most) text editors, browsers and applications, you can use:
ctrl + backspace to quick delete the word left to the cursor
ctrl + delete to quick delete the word right to the cursor
ctrl + shift + arrow keys to select words or lines
Prior Art
Here is an example:
The text was updated successfully, but these errors were encountered:
Problem
The shortcuts to delete texts in terminal are inconsistent, ctrl + del works perfectly, but ctrl + backspaces in terminal is alt + backspace, this is a little confusing when using terminal and ctrl + shift + arrow keys don't work at all
Proposal
In (most) text editors, browsers and applications, you can use:
Prior Art
Here is an example:
The text was updated successfully, but these errors were encountered: