diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2021-04-05 19:46:47 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2021-04-05 19:46:47 -0700 |
| commit | 463878a4a4690392455080282287316879a5a649 (patch) | |
| tree | 8cf88d801dfc36b1ba72e0f030015ff24ad4f4b0 /shell/sandbox.mu | |
| parent | 8a31a087b0226cdced919d37cf7a0735f0b132ba (diff) | |
| download | mu-463878a4a4690392455080282287316879a5a649.tar.gz | |
shell: clean up unimplemented menu items
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 { |