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
aeschli opened this issue
Jul 26, 2016
· 1 comment
Assignees
Labels
bugIssue identified by VS Code Team member as probable bugterminalGeneral terminal issues that don't fall under another labelverifiedVerification succeeded
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Labels
bugIssue identified by VS Code Team member as probable bugterminalGeneral terminal issues that don't fall under another labelverifiedVerification succeeded
Testing #9723
Linux, Elementary OS
-> Maybe the copy menu should not be present (or disabled) if the selection is empty
The text was updated successfully, but these errors were encountered: