Searched refs:terminalShell (Results 1 – 2 of 2) sorted by relevance
49 terminalShell: Setting<TerminalShell>; property362 function terminalShell(): TerminalShell; function363 function terminalShell(value: TerminalShell | undefined): Thenable<void>;364 function terminalShell(391 terminalShell, constant
43 const shell = settings.terminalShell();