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
description: localize('terminal.integrated.hideOnStartup',"Whether to hide the terminal view on startup, avoiding creating a terminal when there are no persistent sessions."),
534
+
type: 'string',
535
+
enum: ['never','whenEmpty','always'],
536
+
markdownEnumDescriptions: [
537
+
localize('hideOnStartup.never',"Never hide the terminal view on startup."),
538
+
localize('hideOnStartup.whenEmpty',"Only hide the terminal when there are no persistent sessions restored."),
539
+
localize('hideOnStartup.always',"Always hide the terminal, even when there are persistent sessions restored.")
540
+
],
541
+
default: 'never'
542
+
},
532
543
[TerminalSettingId.CustomGlyphs]: {
533
544
description: localize('terminal.integrated.customGlyphs',"Whether to draw custom glyphs for block element and box drawing characters instead of using the font, which typically yields better rendering with continuous lines. Note that this doesn't work when {0} is disabled.",`\`#${TerminalSettingId.GpuAcceleration}#\``),
0 commit comments