diff options
Diffstat (limited to 'shell/sandbox.mu')
| -rw-r--r-- | shell/sandbox.mu | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/shell/sandbox.mu b/shell/sandbox.mu index 5278e708..e419063e 100644 --- a/shell/sandbox.mu +++ b/shell/sandbox.mu @@ -98,10 +98,6 @@ fn render-sandbox-menu screen: (addr screen) { draw-text-rightward-from-cursor screen, " run sandbox ", width, 7/fg, 0/bg draw-text-rightward-from-cursor screen, " tab ", width, 0/fg, 9/bg=blue draw-text-rightward-from-cursor screen, " move to trace ", width, 7/fg, 0/bg - draw-text-rightward-from-cursor screen, " ctrl-d ", width, 0/fg, 7/bg=grey - draw-text-rightward-from-cursor screen, " down ", width, 7/fg, 0/bg - draw-text-rightward-from-cursor screen, " ctrl-u ", width, 0/fg, 7/bg=grey - draw-text-rightward-from-cursor screen, " up ", width, 7/fg, 0/bg } fn edit-sandbox _self: (addr sandbox), key: byte { |