diff --git a/term.tal b/term.tal index 6c37588..23e4267 100644 --- a/term.tal +++ b/term.tal @@ -552,15 +552,38 @@ ctrl ?on-ctrl-key .Controller/key DEI .Console/w DEO BRK +( control seqs: ) +( ctrl-sp -> 00 ) +( ctrl-@ -> 00 ) +( ctrl-a -> 01 ) +( ... ) +( ctrl-y -> 19 ) +( ctrl-z -> 1a ) +( ctrl-[ -> 1b ) +( esc -> 1b ) +( ctrl-\ -> 1c ) +( ctrl-] -> 1d ) +( ctrl-^ -> 1e ) +( ctrl-/ -> 1f ) +( ctrl-_ -> 1f ) + ( ctrl-$n emits: ) ( 0 <= $n < @ -> $n ) ( @ <= $n < ` -> $n #40 SUB ) ( ` <= $n <= #ff -> $n #60 SUB ) @on-ctrl-key ( -> BRK ) .Controller/key DEI + DUP #20 EQU ?&nul ( space ) + DUP #2d EQU ?&us ( '-' i.e. '_' ) + DUP #2f EQU ?&nul ( '/' ) + DUP #32 EQU ?&nul ( '2' i.e. '@' ) + DUP #36 EQU ?&rs ( '6' i.e. '^' ) DUP LIT "@ LTH ?&done DUP LIT "` LTH ?&c1 LIT "` SUB !&done + &nul #00 !&done + &rs #1e !&done + &us #1f !&done &c1 LIT "@ SUB &done .Console/w DEO BRK