[vscode] Support optional property TerminalOptions#hideFromUser
#11144
Comments
vince-fugnitto
added
terminal
48 tasks
|
I'll take a look at this issue. |
planger
added a commit
to eclipsesource/theia
that referenced
this issue
Sep 2, 2022
* Add TerminalOptions.hideFromUser in theia.d.ts * Add TerminalWidget.hidden * Fix cwd for created terminals with undefined cwd (default: workspace) If TerminalOptions.hideFromUser is set to true, the TerminalWidget will be hidden from any user-facing terminal lists until it is first explicitly shown to the user (see TerminalWidget.hidden). As we don't open TerminalWidgets by default on `TerminalService.newTerminal` and as we don't have a global terminal view (in contrast to VS Code), we only need to hide it in the `TerminalQuickOpenService` really. For future evolution, we can rely on the `TerminalService.allVisible` to determine which terminals to show in any UI. Contributed on behalf of STMicroelectronics. Fixes eclipse-theia#11144 Change-Id: Ic1fdf2d5515d5b2fa8feb58b72218b93eeabda4d
1 task
planger
added a commit
to eclipsesource/theia
that referenced
this issue
Sep 15, 2022
* Add TerminalOptions.hideFromUser in theia.d.ts * Add TerminalWidget.hidden * Fix cwd for created terminals with undefined cwd (default: workspace) If TerminalOptions.hideFromUser is set to true, the TerminalWidget will be hidden from any user-facing terminal lists until it is first explicitly shown to the user (see TerminalWidget.hidden). As we don't open TerminalWidgets by default on `TerminalService.newTerminal` and as we don't have a global terminal view (in contrast to VS Code), we only need to hide it in the `TerminalQuickOpenService` really. For future evolution, we can rely on the `TerminalService.allVisible` to determine which terminals to show in any UI. Contributed on behalf of STMicroelectronics. Fixes eclipse-theia#11144 Change-Id: Ic1fdf2d5515d5b2fa8feb58b72218b93eeabda4d
planger
added a commit
to eclipsesource/theia
that referenced
this issue
Oct 13, 2022
* Add TerminalOptions.hideFromUser in theia.d.ts * Add TerminalWidget.hiddenFromUser * Fix cwd for created terminals with undefined cwd (default: workspace) If TerminalOptions.hideFromUser is set to true, the TerminalWidget will be hidden from any user-facing terminal lists until it is first explicitly shown to the user (see TerminalWidget.hiddenFromUser). As we don't open TerminalWidgets by default on `TerminalService.newTerminal` and as we don't have a global terminal view (in contrast to VS Code), we only need to hide it in the `TerminalQuickOpenService` really. Contributed on behalf of STMicroelectronics. Fixes eclipse-theia#11144 Change-Id: Ic1fdf2d5515d5b2fa8feb58b72218b93eeabda4d
JonasHelming
pushed a commit
that referenced
this issue
Oct 13, 2022
* Add TerminalOptions.hideFromUser in theia.d.ts * Add TerminalWidget.hiddenFromUser * Fix cwd for created terminals with undefined cwd (default: workspace) If TerminalOptions.hideFromUser is set to true, the TerminalWidget will be hidden from any user-facing terminal lists until it is first explicitly shown to the user (see TerminalWidget.hiddenFromUser). As we don't open TerminalWidgets by default on `TerminalService.newTerminal` and as we don't have a global terminal view (in contrast to VS Code), we only need to hide it in the `TerminalQuickOpenService` really. Contributed on behalf of STMicroelectronics. Fixes #11144 Change-Id: Ic1fdf2d5515d5b2fa8feb58b72218b93eeabda4d
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Feature Description:
Add support for
TerminalOptions#hideFromUserto allow specifying whether the terminal should not be surfaced to the user untilTerminal.showis called, see https://code.visualstudio.com/api/references/vscode-api#TerminalOptions.The text was updated successfully, but these errors were encountered: