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

Fix char filter when pasting into editor

Browse source
This commit is contained in:
Joscha 2022-08-22 17:24:18 +02:00
parent 8128342099
commit 59a4294e35
1 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/ui/util.rs
View file

@ -78,12 +78,17 @@ pub fn handle_editor_input_event(
// Editing // Editing
key!(Char ch) if char_filter(*ch) => editor.insert_char(terminal.frame(), *ch), key!(Char ch) if char_filter(*ch) => editor.insert_char(terminal.frame(), *ch),
key!(Paste str) if str.chars().all(char_filter) => { key!(Paste str) => {
// It seems that when pasting, '\n' are converted into '\r' for some // It seems that when pasting, '\n' are converted into '\r' for some
// reason. I don't really know why, or at what point this happens. // reason. I don't really know why, or at what point this happens.
// Vim converts any '\r' pasted via the terminal into '\n', so I // Vim converts any '\r' pasted via the terminal into '\n', so I
// decided to mirror that behaviour. // decided to mirror that behaviour.
editor.insert_str(terminal.frame(), &str.replace('\r', "\n")) let str = str.replace('\r', "\n");
if str.chars().all(char_filter) {
editor.insert_str(terminal.frame(), &str);
} else {
return false;
}
} }
key!(Ctrl + 'h') | key!(Backspace) => editor.backspace(terminal.frame()), key!(Ctrl + 'h') | key!(Backspace) => editor.backspace(terminal.frame()),
key!(Ctrl + 'd') | key!(Delete) => editor.delete(), key!(Ctrl + 'd') | key!(Delete) => editor.delete(),