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