-
Notifications
You must be signed in to change notification settings - Fork 34.1k
Closed
Copy link
Labels
apibugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable buginsiders-releasedPatch has been released in VS Code InsidersPatch has been released in VS Code Insidersterminal-shell-integrationShell integration infrastructure, command decorations, etc.Shell integration infrastructure, command decorations, etc.verifiedVerification succeededVerification succeeded
Milestone
Description
Does this issue occur when all extensions are disabled?: Yes/No
For proposed API: #145234
Version: 1.85.0-insider (user setup)
OS: Windows_NT x64 10.0.22518
Steps to Reproduce:
- Create a hidden terminal using
hideFromUser
totrue
- Send text to terminal, for eg. "echo hello"
- Watch no events are fired
Same is not the case if hideFromUser
is set to false
.
cc/ @Tyriar
MicaelJarniac
Metadata
Metadata
Assignees
Labels
apibugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable buginsiders-releasedPatch has been released in VS Code InsidersPatch has been released in VS Code Insidersterminal-shell-integrationShell integration infrastructure, command decorations, etc.Shell integration infrastructure, command decorations, etc.verifiedVerification succeededVerification succeeded