diff options
Diffstat (limited to 'runtime/js/99_main.js')
| -rw-r--r-- | runtime/js/99_main.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/runtime/js/99_main.js b/runtime/js/99_main.js index 3a56d93dc..534a28733 100644 --- a/runtime/js/99_main.js +++ b/runtime/js/99_main.js @@ -35,6 +35,7 @@ delete Object.prototype.__proto__; const timers = window.__bootstrap.timers; const base64 = window.__bootstrap.base64; const encoding = window.__bootstrap.encoding; + const colors = window.__bootstrap.colors; const Console = window.__bootstrap.console.Console; const worker = window.__bootstrap.worker; const internals = window.__bootstrap.internals; @@ -574,6 +575,7 @@ delete Object.prototype.__proto__; cpuCount, } = runtimeOptions; + colors.setNoColor(noColor); if (locationHref != null) { location.setLocationHref(locationHref); } @@ -664,6 +666,7 @@ delete Object.prototype.__proto__; cpuCount, } = runtimeOptions; + colors.setNoColor(noColor); location.setLocationHref(locationHref); numCpus = cpuCount; registerErrors(); |