Remove the jump

pull/531/head
Blaž Hrastnik 3 years ago
parent 8361de45dc
commit 6bb744aeac

@ -825,8 +825,6 @@ impl Component for EditorView {
if let Some((pos, id)) = result { if let Some((pos, id)) = result {
let doc = &mut editor.documents[editor.tree.get(id).doc]; let doc = &mut editor.documents[editor.tree.get(id).doc];
let jump = (doc.id(), doc.selection(id).clone());
editor.tree.get_mut(id).jumps.push(jump);
if modifiers == crossterm::event::KeyModifiers::ALT { if modifiers == crossterm::event::KeyModifiers::ALT {
let selection = doc.selection(id).clone(); let selection = doc.selection(id).clone();

Loading…
Cancel
Save