diff options
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 { |