diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-08-09 18:44:34 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-08-09 18:44:34 -0700 |
commit | 6fef33fd0872ffcb5141a926d1dae5b0eded3071 (patch) | |
tree | dfe65c23796ab6ae7fcb6103d0335146883e96c7 /074console.mu | |
parent | 051c47384e34b2e2e077cc3665bba7e95b1a562d (diff) | |
download | mu-6fef33fd0872ffcb5141a926d1dae5b0eded3071.tar.gz |
1963 - redraw if window size changes
This was important because somebody connecting on tmux would mess up the environment.
Diffstat (limited to '074console.mu')
-rw-r--r-- | 074console.mu | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/074console.mu b/074console.mu index b60e17cc..b6d4b4d7 100644 --- a/074console.mu +++ b/074console.mu @@ -5,6 +5,7 @@ exclusive-container event [ text:character keycode:number # keys on keyboard without a unicode representation touch:touch-event # mouse, track ball, etc. + resize:resize-event # update the assume-console handler if you add more variants ] @@ -14,6 +15,11 @@ container touch-event [ column:number ] +container resize-event [ + width:number + height:number +] + container console [ index:number data:address:array:event |