6794 - cleaner interface for keyboard

So far I've been assuming that read-key only works for ascii, and that
I'd need to get more sophisticated both for multi-byte utf-8 and multi-byte
terminal escape codes like arrow keys. Rather to my surprise, both work
fine. We just need to adjust the types to reflect this fact.

1 files changed, 1 insertions, 1 deletions

diff --git a/prototypes/browse/13.mu b/prototypes/browse/13.mu
index f9e76585..72cf523d 100644
--- a/prototypes/browse/13.mu
+++ b/prototypes/browse/13.mu
@@ -10,7 +10,7 @@ fn main args: (addr array addr array byte) -> exit-status/ebx: int {
   enable-keyboard-immediate-mode
   {
     render file, nrows, ncols
-    var key/eax: byte <- read-key
+    var key/eax: grapheme <- read-key-from-real-keyboard
     compare key, 0x71  # 'q'
     loop-if-!=
   }