Garmelon/cove
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Change binding for external editor

Browse source 
In order to avoid collisions with ctrl+e, we need a new binding. In
bash/readline, ctrl+x is used as a sort of leader key to initiate
multi-key bindings. I don't think I'll implement multi-key combinations
any time soon, so now ctrl+x stands for 'edit in eXternal editor'.
This commit is contained in:
Joscha 2022-08-07 00:28:22 +02:00
parent 9ebe2361a9
commit de095e74ae
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/ui/util.rs
View file

@ -46,7 +46,7 @@ pub fn list_editor_key_bindings(
bindings.binding("ctrl+d, delete", "delete after cursor");
bindings.binding("ctrl+l", "clear editor contents");
if can_edit_externally {
bindings.binding("ctrl+e", "edit in $EDITOR");
bindings.binding("ctrl+x", "edit in external editor");
}
bindings.empty();
@ -83,7 +83,7 @@ pub fn handle_editor_key_event(
key!(Ctrl + 'h') | key!(Backspace) => editor.backspace(terminal.frame()),
key!(Ctrl + 'd') | key!(Delete) => editor.delete(),
key!(Ctrl + 'l') => editor.clear(),
key!(Ctrl + 'e') if can_edit_externally => editor.edit_externally(terminal, crossterm_lock), // TODO Change to some other binding
key!(Ctrl + 'x') if can_edit_externally => editor.edit_externally(terminal, crossterm_lock),
// Cursor movement
key!(Ctrl + 'b') | key!(Left) => editor.move_cursor_left(terminal.frame()),