Improve unicode more.

2022-08-02 22:54:44 -07:00
parent 23c0f4ec98
commit ddff748e66
2 changed files with 8 additions and 22 deletions
--- a/web/platform.fs
+++ b/web/platform.fs
@ -287,7 +287,7 @@ r|
 r|
 (function(sp) {
  if (globalObj.readline && !context.inbuffer.length) {
-    var line = readline();
+    var line = unescape(encodeURIComponent(readline()));
    for (var i = 0; i < line.length; ++i) {
      context.inbuffer.push(line.charCodeAt(i));
    }