Merge branch 'master' into clusters

2023-06-27 13:31:23 -07:00
parent cf403bc45c ac0207bf2e
commit 693f6b2d14
24 changed files with 467 additions and 98 deletions
@@ -248,7 +248,11 @@ function createTerminal(): void {
  const isWindows = ['Windows', 'Win16', 'Win32', 'WinCE'].indexOf(navigator.platform) >= 0;
  term = new Terminal({
    allowProposedApi: true,
-    windowsMode: isWindows,
+    windowsPty: isWindows ? {
+      // In a real scenario, these values should be verified on the backend
+      backend: 'conpty',
+      buildNumber: 22621
+    } : undefined,
    fontFamily: '"Fira Code", courier-new, courier, monospace, "Powerline Extra Symbols"',
    theme: xtermjsTheme
  } as ITerminalOptions);