From 63cd30d8067ebde958b72e0cd8262b2d6f9d3c8e Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 3 Jun 2021 14:42:07 -0700 Subject: [PATCH] . --- shell/sandbox.mu | 4 ++-- 1 file 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 {