Add hideFromUser example

This commit is contained in:
Daniel Imms
2019-06-25 10:52:45 -07:00
parent 3a5e7c8360
commit cb6914389a
2 changed files with 12 additions and 1 deletions

View File

@ -15,6 +15,7 @@
"onCommand:terminalTest.createAndSend",
"onCommand:terminalTest.createFakeShell",
"onCommand:terminalTest.createTerminal",
"onCommand:terminalTest.createTerminalHideFromUser",
"onCommand:terminalTest.createZshLoginShell",
"onCommand:terminalTest.dimensions",
"onCommand:terminalTest.dispose",
@ -47,6 +48,10 @@
"command": "terminalTest.createTerminal",
"title": "Terminal API: Create Terminal"
},
{
"command": "terminalTest.createTerminalHideFromUser",
"title": "Terminal API: Create Terminal (hideFromUser)"
},
{
"command": "terminalTest.createZshLoginShell",
"title": "Terminal API: Create Terminal (zsh login shell)"

View File

@ -28,9 +28,15 @@ export function activate(context: vscode.ExtensionContext) {
// vscode.window.createTerminal
context.subscriptions.push(vscode.commands.registerCommand('terminalTest.createTerminal', () => {
vscode.window.createTerminal(`Ext Terminal #${NEXT_TERM_ID++}`);
vscode.window.createTerminal(`Ext Terminal #${NEXT_TERM_ID++} (hideFromUser)`);
vscode.window.showInformationMessage('Hello World 2!');
}));
context.subscriptions.push(vscode.commands.registerCommand('terminalTest.createTerminalHideFromUser', () => {
vscode.window.createTerminal({
name: `Ext Terminal #${NEXT_TERM_ID++}`,
hideFromUser: true
} as any);
}));
context.subscriptions.push(vscode.commands.registerCommand('terminalTest.createAndSend', () => {
const terminal = vscode.window.createTerminal(`Ext Terminal #${NEXT_TERM_ID++}`);
terminal.sendText("echo 'Sent text immediately after creating'");