diff --git a/lib/js/terminal.js b/lib/js/terminal.js index f0aaf2bdd..11a000277 100755 --- a/lib/js/terminal.js +++ b/lib/js/terminal.js @@ -29,7 +29,7 @@ var terminal = (function($) { // --------------------------------------------------------------------- stdin: lips.InputPort(function() { setTimeout(() => { - // resume terminal wehn read called in REPL + // resume terminal when read called in REPL term.resume(); }, 0); return term.read('');