Merge branch 'master' into 1947-weblinks-with-selection

This commit is contained in:
Daniel Imms
2019-03-30 14:57:24 -07:00
committed by GitHub
+3 -1
View File
@@ -102,7 +102,9 @@ function createTerminal(): void {
socketURL = protocol + location.hostname + ((location.port) ? (':' + location.port) : '') + '/terminals/';
term.open(terminalContainer);
term.winptyCompatInit();
if (isWindows) {
term.winptyCompatInit();
}
term.webLinksInit();
term.fit();
term.focus();