Add change to missed file

This commit is contained in:
Daniel Imms 2024-01-30 10:44:53 -08:00
parent 55e64beda6
commit 1802552fc5
No known key found for this signature in database
GPG key ID: E5CF412B63651C69

View file

@ -565,7 +565,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 the hidden terminals won't be restored when the workspace is next opened.
* as normal and they will remain hidden when the workspace is reloaded.
*/
hideFromUser?: boolean;