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

Terminal hover text should not be selectable #96677

Closed
joaomoreno opened this issue Apr 30, 2020 · 2 comments
Closed

Terminal hover text should not be selectable #96677

joaomoreno opened this issue Apr 30, 2020 · 2 comments
Assignees
Labels
*as-designed Described behavior is as designed terminal Integrated terminal issues under-discussion Issue is under discussion for relevance, priority, approach
Milestone

Comments

@joaomoreno
Copy link
Member

Testing #96299

image

We have that for the editor since users like to copy errors, but I don't see a reason for this to exist here.

@Tyriar
Copy link
Member

Tyriar commented Apr 30, 2020

I don't think it's a good idea to deviate from the editor's hover here, this might be something people want to copy in the future, for example when xtermjs/xterm.js#1134 is done.

@Tyriar Tyriar added the under-discussion Issue is under discussion for relevance, priority, approach label Apr 30, 2020
@rzhao271 rzhao271 added the terminal Integrated terminal issues label Nov 5, 2020
@rzhao271 rzhao271 added this to the Backlog milestone Nov 5, 2020
@Tyriar Tyriar added the *as-designed Described behavior is as designed label Oct 11, 2021
@github-actions github-actions bot locked and limited conversation to collaborators Nov 25, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
*as-designed Described behavior is as designed terminal Integrated terminal issues under-discussion Issue is under discussion for relevance, priority, approach
Projects
None yet
Development

No branches or pull requests

4 participants
@joaomoreno @Tyriar @rzhao271 and others