Revert "Add change to missed file"

This reverts commit 1802552fc5.
This commit is contained in:
Daniel Imms 2024-03-06 14:39:55 -08:00
parent 0608109a61
commit d3e035f00f
No known key found for this signature in database
GPG key ID: 5F0FF45B19E3A5D2

View file

@ -569,7 +569,7 @@ export interface IShellLaunchConfig {
* until `Terminal.show` is called. The typical usage for this is when you need to run
* something that may need interactivity but only want to tell the user about it when
* interaction is needed. Note that the terminals will still be exposed to all extensions
* as normal and they will remain hidden when the workspace is reloaded.
* as normal. And the hidden terminals won't be restored when the workspace is next opened.
*/
hideFromUser?: boolean;