Merge branch 'master' into charatlas_npe

2026-08-05 13:43:48 -07:00 · 2018-10-04 10:30:04 -07:00
parent bbf36fe091 d4ec50e7de
commit b92bbf578b
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;