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 current options for using the clipboard use shortcuts that can conflict with other applications (ctrl+shift+c), replace others commonly used in bash (ctrl+c) or just aren't very fast, like the right click menu.
Proposal
Add another clipboard setting: Copy on Select. This can live as a setting below the natural copy config toggle.
When enabled, selecting the text would copy it to the clipboard, in addition to the usual configured shortcut (ctrl+c if natural clipboard is selected, or ctrl+shift+c otherwise).
Pasting functionality is the same.
Prior Art (Optional)
No response
The text was updated successfully, but these errors were encountered:
Problem
The current options for using the clipboard use shortcuts that can conflict with other applications (
ctrl+shift+c
), replace others commonly used in bash (ctrl+c
) or just aren't very fast, like the right click menu.Proposal
Add another clipboard setting: Copy on Select. This can live as a setting below the natural copy config toggle.
When enabled, selecting the text would copy it to the clipboard, in addition to the usual configured shortcut (
ctrl+c
if natural clipboard is selected, orctrl+shift+c
otherwise).Pasting functionality is the same.
Prior Art (Optional)
No response
The text was updated successfully, but these errors were encountered: