Disable READ_CHAR echoing

immortalvm · Sep 12, 2023 · 6a538c5 · 6a538c5
1 parent 9f9924e
commit 6a538c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Machine/Executor.fs b/Machine/Executor.fs
@@ -336,7 +336,7 @@ type private Machine
             bytes <- uint8 (m.Pop ()) :: bytes
         | READ_CHAR ->
             if Console.IsInputRedirected then Console.Read () |> Convert.ToChar
-                                         else Console.ReadKey () |> keyChar
+                                         else Console.ReadKey (true) |> keyChar
             |> fun c -> [| c |]
             |> Text.Encoding.UTF32.GetBytes
             |> fromBytes