fix typo in terminal library

LIPS-scheme · Nov 10, 2024 · d730e07 · d730e07
1 parent 0edd803
commit d730e07
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/js/terminal.js b/lib/js/terminal.js
@@ -172,7 +172,7 @@ var terminal = (function($) {
                     return Promise.resolve(output);
                 }
             },
-            mobileIngoreAutoSpace: [',', '.', ')'],
+            mobileIgnoreAutoSpace: [',', '.', ')'],
             completionEscape: false,
             wordAutocomplete: false,
             keydown: function() {