Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enable "Copy on Selection" for terminal #15106

Closed
l0rd opened this issue Nov 5, 2019 · 1 comment
Closed

Enable "Copy on Selection" for terminal #15106

l0rd opened this issue Nov 5, 2019 · 1 comment
Assignees
Labels
kind/enhancement A feature request - must adhere to the feature request template. severity/P1 Has a major impact to usage or development of the system.

Comments

@l0rd
Copy link
Contributor

l0rd commented Nov 5, 2019

Is your enhancement related to a problem?

Modern shells automatically copy to the clipboard selected text. That allows to copy some text quickly. VS Code provide this option for example.

Describe the solution you'd like

Add a preference to "Copy on Selection" for the terminal as in VS Code:

image

"Copy on Selection" should be enabled by default.

@l0rd l0rd added kind/enhancement A feature request - must adhere to the feature request template. team/ide2 severity/P1 Has a major impact to usage or development of the system. labels Nov 5, 2019
@AndrienkoAleksandr AndrienkoAleksandr self-assigned this Nov 11, 2019
@AndrienkoAleksandr AndrienkoAleksandr added the status/in-progress This issue has been taken by an engineer and is under active development. label Nov 11, 2019
@AndrienkoAleksandr
Copy link
Contributor

AndrienkoAleksandr commented Nov 12, 2019

I created pr for theia, but under safary copy on selection doesn't work. Seems an issue: https://bugs.webkit.org/show_bug.cgi?id=156529

@AndrienkoAleksandr AndrienkoAleksandr added status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community. and removed status/in-progress This issue has been taken by an engineer and is under active development. status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community. labels Nov 12, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/enhancement A feature request - must adhere to the feature request template. severity/P1 Has a major impact to usage or development of the system.
Projects
None yet
Development

No branches or pull requests

2 participants