From 70e8e730636549678703ba779aa2eaf5b309ecc4 Mon Sep 17 00:00:00 2001
From: Daniel Imms <daimms@microsoft.com>
Date: Fri, 9 Sep 2016 09:49:57 -0700
Subject: [PATCH] Make terminal API calls type safe

---
 terminal-example/src/extension.ts | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/terminal-example/src/extension.ts b/terminal-example/src/extension.ts
index feec1600..5e0f4b5e 100644
--- a/terminal-example/src/extension.ts
+++ b/terminal-example/src/extension.ts
@@ -3,10 +3,10 @@
 import * as vscode from 'vscode';
 
 export function activate(context: vscode.ExtensionContext) {
-    let terminalStack = [];
+    let terminalStack: vscode.Terminal[] = [];
 
     context.subscriptions.push(vscode.commands.registerCommand('terminalTest.createTerminal', () => {
-        terminalStack.push((<any>vscode.window).createTerminal(`Ext Terminal #${terminalStack.length + 1}`));
+        terminalStack.push(vscode.window.createTerminal(`Ext Terminal #${terminalStack.length + 1}`));
     }));
     context.subscriptions.push(vscode.commands.registerCommand('terminalTest.hide', () => {
         if (terminalStack.length === 0) {
@@ -46,7 +46,7 @@ export function activate(context: vscode.ExtensionContext) {
         terminalStack.pop();
     }));
     context.subscriptions.push(vscode.commands.registerCommand('terminalTest.createAndSend', () => {
-        terminalStack.push((<any>vscode.window).createTerminal(`Ext Terminal #${terminalStack.length + 1}`));
+        terminalStack.push(vscode.window.createTerminal(`Ext Terminal #${terminalStack.length + 1}`));
         getLatestTerminal().sendText("echo 'Sent text immediately after creating'");
     }));