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 | |
| parent | 8a31a087b0226cdced919d37cf7a0735f0b132ba (diff) | |
| download | mu-463878a4a4690392455080282287316879a5a649.tar.gz | |
shell: clean up unimplemented menu items
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/gap-buffer.mu | 13 | ||||
| -rw-r--r-- | shell/sandbox.mu | 4 |
2 files changed, 0 insertions, 17 deletions
diff --git a/shell/gap-buffer.mu b/shell/gap-buffer.mu index cceabfbd..b3c84532 100644 --- a/shell/gap-buffer.mu +++ b/shell/gap-buffer.mu @@ -759,19 +759,6 @@ fn edit-gap-buffer self: (addr gap-buffer), key: grapheme { delete-before-gap self return } - # arrow keys - { - compare g, 4/ctrl-d - break-if-!= - # ctrl-d: cursor down - return - } - { - compare g, 0x15/ctrl-u - break-if-!= - # ctrl-u: cursor up - return - } # default: insert character add-grapheme-at-gap self, g } 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 { |