diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2021-06-03 14:42:07 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2021-06-03 14:42:07 -0700 |
commit | 63cd30d8067ebde958b72e0cd8262b2d6f9d3c8e (patch) | |
tree | b6fac70fb97c1164b0ab1f316763d8ac61f7873e | |
parent | 9446e7e594597de896ab96da050b066bc1cc3d15 (diff) | |
download | mu-63cd30d8067ebde958b72e0cd8262b2d6f9d3c8e.tar.gz |
.
-rw-r--r-- | shell/sandbox.mu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/shell/sandbox.mu b/shell/sandbox.mu index 9b88ea8d..a64441c1 100644 --- a/shell/sandbox.mu +++ b/shell/sandbox.mu @@ -1,12 +1,12 @@ type sandbox { data: (handle gap-buffer) value: (handle stream byte) + trace: (handle trace) screen-var: (handle cell) keyboard-var: (handle cell) - trace: (handle trace) cursor-in-data?: boolean - cursor-in-keyboard?: boolean cursor-in-trace?: boolean + cursor-in-keyboard?: boolean } fn initialize-sandbox _self: (addr sandbox), fake-screen-and-keyboard?: boolean { |