Don't delete fake terminal

2026-08-05 13:43:48 -07:00 · 2018-10-01 10:16:59 -04:00
parent 990bf5c973
commit 5a1c71c1d5
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;