diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-06-23 00:22:41 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-06-23 00:22:41 -0700 |
| commit | c6c19a27befd261ec3b205bdcbcf70f7047953e8 (patch) | |
| tree | eca65449fad97f42cd5b69f4e5ba598966db3574 | |
| parent | 9f484946cc340264b9a038d3b30369ee0d71338b (diff) | |
| download | mu-c6c19a27befd261ec3b205bdcbcf70f7047953e8.tar.gz | |
1626 - made my peace with read-key
But we certainly can't use it in the editor.
| -rw-r--r-- | 074keyboard.mu | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/074keyboard.mu b/074keyboard.mu index 5f92428d..1d9702da 100644 --- a/074keyboard.mu +++ b/074keyboard.mu @@ -55,6 +55,9 @@ recipe read-event [ reply result:event, x:address:console/same-as-ingredient:0, found?:boolean, 0:literal/quit ] +# variant of read-event for just keyboard events. Discards everything that +# isn't unicode, so no arrow keys, page-up/page-down, etc. But you still get +# newlines, tabs, ctrl-d.. recipe read-key [ default-space:address:array:location <- new location:type, 30:literal #? $print default-space:address:array:location #? 1 |