minor: dead code

This commit is contained in:
Blaž Hrastnik 2021-03-05 17:55:06 +09:00
parent 1d42b95915
commit 05aa0d6991

View file

@ -797,10 +797,6 @@ pub mod insert {
}
}
pub fn insert_char_prompt(prompt: &mut Prompt, c: char) {
prompt.insert_char(c);
}
// Undo / Redo
// TODO: each command could simply return a Option<transaction>, then the higher level handles