Merge pull request #1718 from zwhitchcox/patch-2

Don't delete fake terminal
2026-08-05 13:43:48 -07:00 · 2018-10-01 07:31:45 -07:00
parent 990bf5c973 5a1c71c1d5
commit d4ec50e7de
1 changed files with 0 additions and 1 deletions
@@ -149,7 +149,6 @@ function runRealTerminal(): void {
  term._initialized = true;
 }

-// TODO: Maybe fake terminal should be removed? Not sure it's useful anymore
 function runFakeTerminal(): void {
  if (term._initialized) {
    return;