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/gap-buffer.mu | |
| parent | 8a31a087b0226cdced919d37cf7a0735f0b132ba (diff) | |
| download | mu-463878a4a4690392455080282287316879a5a649.tar.gz | |
shell: clean up unimplemented menu items
Diffstat (limited to 'shell/gap-buffer.mu')
| -rw-r--r-- | shell/gap-buffer.mu | 13 |
1 files changed, 0 insertions, 13 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 } |